ML程序设计教程 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


ML程序设计教程

简体网页||繁体网页
保罗森 作者
机械工业出版社
柯韦 译者
2005-5 出版日期
366 页数
45.00元 价格
平装
计算机科学丛书 丛书系列
9787111161219 图书编码

ML程序设计教程 在线电子书 图书标签: ML  函数式编程  FP  计算机科学  编程  计算机  编程语言  程序设计   


喜欢 ML程序设计教程 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-05


ML程序设计教程 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

ML程序设计教程 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

ML程序设计教程 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



ML程序设计教程 在线电子书 用户评价

评分

放弃了,看不下去了,连个sml的编译器都没编译出来

评分

这本书拖了很久,终于看完了。这本书讲的是SML的函数式编程,不过说到底函数式语言最不可替代最大的优势的地方还是做程序证明,这本书讲的很细甚至罗嗦,不过最有意思的地方还是最后一章,简单讲述了证明定理机的组成和设计。

评分

新年的第一本技术书。大概两年前打算通过阅读这本书入门函数式编程,但是看完此书才发现已经潜移默化地学会了很多,所以看起来也尤其地快(当然也跳过了很多习题...)。

评分

截至收藏本书前,书架上只有两本计算机书是被我反复研读过的:SICP和这本。其实何必呢,编程只是乐趣,我没想过做程序员啊

评分

非常棒的函数式入门教材!

ML程序设计教程 在线电子书 著者简介


ML程序设计教程 在线电子书 图书目录


ML程序设计教程 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

ML程序设计教程 在线电子书 图书描述

本书是关于ML程序设计的经典教材,详细介绍如何使用 ML语言进行程序设计,并讲解函数式程序设计的基本原理。

  书中含有大量例子,涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站(http://www.cl.cam.ac.uk/users/lcp/)得到。

  本书详细讲解如何使用ML语言进行程序设计,并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性,并且给出大量例子,涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。

  本书可作为高等院校计算机专业相关课程的教材,也适合广大程序设计人员参考。

ML程序设计教程 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

ML程序设计教程 在线电子书 读后感

评分

如果以前没有接触过FP,比如彻底的C/汇编程序员,看这本书能慢慢建立一些不同的编程模式; 如果已经对haskell或者其他的FPL有一些了解,看这本书可能会嫌啰嗦了,可以去看看<<Programming in Standard ML>>,内容不算很完整,不过要点都到了。

评分

建议先看SICP,再看这本书,首先LISP语法比较简单,其次这本书会经常拿ML跟LISP做对比。 SICP在大的方向上比较清晰,章节安排上更注重思想的延伸;而这本书的确如书名一样,ML的教程,从简单的类型,表,树到匿名函数无穷表,抽象类型,章节安排完全是学习语言的顺序。这样造成...  

评分

ML意味着meta language, 本书是学习ML排名第一的课本. 英文标题信息是这样的: PAULSON, LAWRENCE C. (Univ. of Cambridge, Cambridge, UK) ML for the working programmer (2nd ed.). Cambridge University Press, New York, NY, 1996, 478 pp., $32.95, ISBN 0-521-56543-X....  

评分

这本书适合没有接触过functional programming的同学,也适合没有学过编程的同学。作者显然不满足于写一个语言教程,而是着重于灌输fp知识。 所以在我看来这本书的废话稍微多了些。好几次我迅速的向后跳,但有意思的是每次我都被迫backtracing。因为他经常引用之前的例子和作业...  

评分

如果以前没有接触过FP,比如彻底的C/汇编程序员,看这本书能慢慢建立一些不同的编程模式; 如果已经对haskell或者其他的FPL有一些了解,看这本书可能会嫌啰嗦了,可以去看看<<Programming in Standard ML>>,内容不算很完整,不过要点都到了。

类似图书 点击查看全场最低价

ML程序设计教程 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





ML程序设计教程 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有