Microsoft's have just announced that they are productizing their CAML- derivative programming language F#: http://fsharpnews.blogspot.com/2007/10/microsoft-to-productize-f.html This ensures a commercial future for the ML family of languages! -- Dr Jon D Harrop, Flying Frog Consultancy http://www.ffconsultancy.com/products/?u