[skoczymroczny]

They should have used Haskell.

[SonicSoul]

then they'd have 2 problems.

[planteen]

I assume this is a joke? Is Haskell suitable for hard real-time systems with things like lazy evaluation and a GC?

[tome]

I think it's a joke. Haskell is manifestly not suitable for writing a Mars lander.

A verified DSL written in Haskell on the other hand ...

http://ivorylang.org/ivory-introduction.html

[joonoro]

Damn, beat me to it.