ML for the working programmer. Lawrence C. Paulson

ML for the working programmer


ML.for.the.working.programmer.pdf
ISBN: 052156543X,9780521565431 | 493 pages | 13 Mb


Download ML for the working programmer



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




The title was, one suspects, originally an ironic comment on its practicality for commercial use, rather than the theoretician in logic. ML for the Working Programmer by Paulson. You are aware the sample code is in ML which is a fuctional language and a predecessor to OCaml and F#? Programmers familiar with Javascript's higher-order functions should have little difficulty with the basics of SML. It is an (almost) exact translation from the ML code in chapter 9 of ML for the Working Programmer by Lawrence C. I will present a Lambda Calculus interpreter in this post. The book "ML for the Working Programmer" (highly recommended, it is a great book) shows the following conceptual mapping to try and help describe the ML module system. This edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. In smaller companies, whether or not a programmer can communicate her ideas to management may make the difference between the company's success and failure. I think; for example it can be found informally in Section 8.2 of “ML. A Lambda Calculus Interpreter in Haskell. The classic textbook on ML is Lawrence Paulson's ML for the working programmer. A true function (in the sense of referential transparency) is not new,.