Mon premier blog

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

My toilet reading currently is “Categories for the working mathematician” by Mac Lane. 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). ML for the Working Programmer book download. 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. ML程序设计教程的评论 5 star rating 5. Ten years ago it was “ML for the working programmer” by Paulson. Asin 052156543X ML for the Working Programmer - Cambridge University Press - ecs4.com d99e7afa9349ab6b3888d81e814c8cdd. 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. ML意味着meta language, 本书是学习ML排名第一的课本. 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 have programmed functionally since 1997 or so. 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. ML for the Working Programmer by Paulson. Free download eBook:ML for the Working Group Programmer pdf,epub,mobi,kindle book from 4shared,torrent,mediafire,rapidshare and so on. Wednesday, 20 March 2013 at 00:03. ȋ�文标题信息是这样的: PAULSON, LAWRENCE C. ML for the Working Programmer - Cambridge University Press - ecs4.com. Christopher Morrison, bookseller :: Computing :: Languages :: ML for the Working Programmer. I actually liked it, but it's strictly a book for those who want to learn the ML syntax - no involved examples and just pure syntax.