Mon premier blog

ML for the working programmer Lawrence C. Paulson
Publisher: Cambridge University Press

I will present a Lambda Calculus interpreter in this post. Ten years ago it was “ML for the working programmer” by Paulson. Working Programmer Ml, Working Programmer, ML. F# stems from the functional programming tradition (hence the 'F') and has strong roots in the ML family of languages, though also draws from C#, LINQ and Haskell. A Lambda Calculus Interpreter in Haskell. F# is designed from the outset to be a first class citizen on .NET. It is an (almost) exact translation from the ML code in chapter 9 of ML for the Working Programmer by Lawrence C. I have programmed functionally since 1997 or so. My toilet reading currently is “Categories for the working mathematician” by Mac Lane. ML for the Working Programmer PDF. This means that F# runs on the CLR, .. I need to find my copy of "ML for the working programmer" and see what F# books are out there. ML for the working programmer has some example projects in the back but they have a strong theoretical computer science slant (one of them for example is to but a theorem prover). One of the two parallel tracks in my 2009 Programming Language Plan begins with the Standard ML programming language, so it's time to get started. F# meets RIA, WPF, XNA, Expression, multi-core,Silverlight, Popfly.