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

[Don Stewart]

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