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) +------------------------------------------------ | | | |