On 2003-05-03T06:07:45-0400, Russ Ross wrote: > Static typing ala ML > or Haskell always seems like a good idea for large projects (which > is a common argument), but in my experience enforcing abstraction > boundaries and a good module system is far more important for a > group effort than what is happening inside a function or its > interface. But abstraction boundaries and module systems *are* static typing! As John C. Reynolds wrote, Type structure is a syntactic discipline for enforcing levels of abstraction. Of course, this sentence by itself doesn't state the converse -- that type structure is the -only- such discipline -- but I would support that statement as well. Reynolds, John C. 1983. Types, abstraction and parametric polymorphism. In _Information processing 83: Proceedings of the IFIP 9th world computer congress_, ed. R. E. A. Mason, 513-523. Amsterdam: Elsevier Science. ftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig David Dill (a computer science professor at Stanford) is collecting signatures online for a statement to oppose the paperless electronic voting machines being introduced all around the United States. http://verify.stanford.edu/evote.html
Attachment:
pgp19011.pgp
Description: PGP signature