[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