dmolnar
Wed, 03 Apr 2002 14:48:42 -0800
In passing about category theory and ML:
* ML supports generic programming by a language feature called
a "functor." I don't know enough category theory to know how
close ML's notion of "functor" is to a mathematician's.
this page is a small intro
http://www.kingston.ac.uk/~bs_s075/MLWorkshop/unit8.html
* ocaml and ML may not be as widely used as C++, but I have
seen them used fairly widely in academia. Sometimes in conjunction
with other fun topics. Check out this course on computational
game theory
http://www.eecs.harvard.edu/~avi/CS281r/
exercises include programming in ocaml.
* The Fox project at CMU wants to use ML for systems programming.
http://foxnet.cs.cmu.edu/HomePage.html
Note that Peter Lee is also involved in "proof-carrying code."
-David