Hacker News Reader

then they'd have 2 problems.

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

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 ...

Damn, beat me to it.