[Haskell-cafe] Re: Amazing

Lennart Augustsson lennart at augustsson.net
Sun Feb 15 15:45:31 EST 2009

This must be why there are no good compilers for dependently typed languages. :)

On Sun, Feb 15, 2009 at 9:40 PM, Stefan Monnier
<monnier at iro.umontreal.ca> wrote:
>> So IMO static typing is good, but it's only with functional programming that
>> it really shines.
> You can go one step further: if you start using dependent types, you'll
> see that it gets yet harder to get your program to type-check, and once
> it does, you don't even bother to run it since it's so blindingly
> obvious that it's correct.
>        Stefan
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list