On 2008 Oct 19, at 2:26, Friedrich wrote:
Paul Johnson <[EMAIL PROTECTED]> writes:
(By the way, putting in the top level type declarations helps a lot
when you make a mistake.)
Well I have my problems with that. Probably it comes from using
Languages like Ruby and my special dislike of "typing things" comes
especially from Java, C++ (well C is not "innocent" in that regard
also.
Learn to love types: one of the neat things about Haskell is that if
you can write down the type of a function then you have usually done
90% of the work of writing the code for it. Another is that in
general, if you can't express the type of a function, it means you
haven't thought through what you're trying to do. The relationship
between types and proofs is especially obvious in Haskell. And proofs
aren't merely mathematical entities, they're expressions of what you
want to accomplish: if you can type your program, you have a high
likelihood not only that it will compile, but that it will do what you
intend.
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university KF8NH
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
