News for hackers. Stuff that matters.

A comment on Ask HN: What is the Holy Grail for Software Engineering?.

Re:Ask HN: What is the Holy Grail for Software Engineering? by johnbender on Friday December 03, 2010 @10:31PM (#1968384)
A model checker that somehow cleverly handles external input and statespace.

Lacking that, haskell's type system :D

[ Parent | on HN ]

There are no comments on this comment yet.