[Haskell-cafe] Re: Amazing

Stefan Monnier monnier at iro.umontreal.ca
Sun Feb 15 15:40:15 EST 2009


> 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



More information about the Haskell-Cafe mailing list