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)
+------------------------------------------------
|
|
|
|
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
