> Because Haskell's design has always placed verification as a top priority. Indeed, Haskell tries (IMO, unsuccessfully so far) to combine programming and verif

> Because Haskell's design has always placed verification as a top priority. Indeed, Haskell tries (IMO, unsuccessfully so far) to combine programming and verification in a single language. No it doesn't. Troll.