ML for the working programmer by Lawrence C. Paulson

ML for the working programmer



Download eBook




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


A true function (in the sense of referential transparency) is not new,. I think; for example it can be found informally in Section 8.2 of “ML. I have programmed functionally since 1997 or so. My toilet reading currently is “Categories for the working mathematician” by Mac Lane. Asin 052156543X ML for the Working Programmer - Cambridge University Press - ecs4.com d99e7afa9349ab6b3888d81e814c8cdd. ML for the Working Programmer - Cambridge University Press - ecs4.com. Mark is a long-time Lisp and Haskell user and mentions influential books in his preface such as Norvig's PAIP ML for the Working Programmer, SICP, and Bird's Introduction to Functional Programming. Research paper 182, Department of AI, Edinburgh University, 1982. 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). Programmers familiar with Javascript's higher-order functions should have little difficulty with the basics of SML. Ten years ago it was “ML for the working programmer” by Paulson. In the book ML for the Working Programmer, Paulson attributes it to Richard O'Keefe: A smooth applicative merge sort. The basic idea is rather well known. "If you are an experienced programmer who wants to learn Standard ML, then this is the text for you. The fact that the second generator depends on the first complicates > things somewhat.