Wow... I mean talk about the LAST company you would think would be using a language like Haskell. I would have more likely pictured some horrible VB6-Access mess. Just goes to show you what the risks are in assuming...
program vehicle computers that control hybrid
powertrains for heavy duty trucks -- garbage to be
specific. Our systems interface with engines,
transmissions, brake controllers, and yes, accelerator pedals.
Haskell GADTs ensure type correctness of the generated
C code. I find it interesting that a type system in
one language can prevent type problems in another.
Outside of tech and corporate circles people could really give a damn. They just want to get things done.