[Haskell-cafe] Strict type system allows for a maximum number of programming errors to be caught at compile time.

lrpalmer: > What I seem to be getting at is this plane of type systems: > > Constrained ------------------------- Expressive > Unreliable > | (C) > | (test suites) > | (C++) . > | . > | (Java/C#) (Scala) . > | . > | . > | (Haskell) . > | > | (Agda) > Reliable > Where have I seen this before.... oh!! http://i.imgur.com/srLvr.jpg The Big Lebowski Alignment Chart, mirrored!! +------------------------------------------------ | Lawful Good Chaotic Good | (Agda) (C++) | | | True Netural | (Haskell) | | | | Lawful Evil Chaotic Evil | (testsuites) (C) +------------------------------------------------ | | | |