This must be why there are no good compilers for dependently typed languages. :)
On Sun, Feb 15, 2009 at 9:40 PM, Stefan Monnier <monn...@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@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe