Mon premier blog

ML for the working programmer by Lawrence C. Paulson

ML for the working programmer Lawrence C. Paulson ebook
Publisher: Cambridge University Press
ISBN: 052156543X, 9780521565431
Format: djvu
Page: 493

The basic idea is rather well known. The title was, one suspects, originally an ironic comment on its practicality for commercial use, rather than the theoretician in logic. Most of our time in category theory will be spent working with very general assumptions on the capabilities of our data involved, and parametric polymorphism will be our main tool for describing what these assumptions are and for laying out function signatures. Paulson To obtain MLWorks, contract harlequin Limited, Barrington Hall, Barrington, Cambridge, CB2 5RG, English. In the book ML for the Working Programmer, Paulson attributes it to Richard O'Keefe: A smooth applicative merge sort. 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). Judging from the title, ML for the working programmer sounds like what I want, but it looks like that book's real purpose is to teach functional programming; ditto for the other books that I've paged through. By contrast, I bought "ML for the Working Programmer" a couple of months ago, and was disappointed (in its applicability to helping me gain deeper understanding in fun programming and F#). The fact that the second generator depends on the first complicates > things somewhat. Christopher Morrison, bookseller :: Computing :: Languages :: ML for the Working Programmer. The classic textbook on ML is Lawrence Paulson's ML for the working programmer. Research paper 182, Department of AI, Edinburgh University, 1982. I am also leafing through this book "ML for the working programmers' by L.C. ML gives the programmer more or less complete freedom with whitespace, so any of these expressions can be spread out across multiple lines if the writer desires. 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. Asin 052156543X ML for the Working Programmer - Cambridge University Press - ecs4.com d99e7afa9349ab6b3888d81e814c8cdd. ML for the Working Programmer - Cambridge University Press - ecs4.com.