Static typing can make programs more concise: I can write
getLine >>= print . (/2) . read
or
getLine >>= print . not . read
rather than
getLine >>= print . (/2) . readDouble
or
getLine >>= print . not . readBool
--
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
International Human Rights Day * 2003-12-10 * http://www.un.org/rights/
What if All Chemists Went on Strike? (science fiction)
http://www.iupac.org/publications/ci/2003/2506/iw3_letters.html
Attachment:
signature.asc
Description: Digital signature