ML程序设计教程读书介绍

ML,函数式编程,FP,计算机科学,编程,计算机,编程语言,程序设计,

保罗森      ISBN:9787111161219    原作名/别名:《ML for the Working Programmer》

ML程序设计教程摘要

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

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

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

作者简介

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

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

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

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

未发行或暂未收录

计算机程序设计艺术·卷4A 计算机科学,计算机,编程,经典,程序设计,数学文化,数学,Programming,　2020-02-20 …

POSIX多线程程序设计 多线程,POSIX,编程,UNIX,thread,programming,计算机,linux,　2020-02-20 …

计算机程序设计艺术 算法,计算机科学,计算机,计算机程序设计艺术,编程,TAOCP,Knuth,Algorithm,　2020-02-20 …

计算机程序设计艺术（第1卷） 算法,程序设计,计算机科学,计算机,编程,经典,Knuth,Algorithm,　2020-02-20 …

ML程序设计教程 ML,函数式编程,FP,计算机科学,编程,计算机,编程语言,程序设计,　2020-02-20 …

计算机程序设计艺术（第3卷 英文版·第2版） 算法,计算机科学,计算机,Programming,Knuth,Algorithm,编程,经典,　2020-02-20 …

Win32多线程程序设计 多线程,Windows,Windows编程,编程,Win32,计算机,侯捷,C++,　2020-02-20 …

计算机程序设计艺术（第3卷） 算法,计算机,计算机程序设计艺术,计算机科学,程序设计,编程,经典,algorithm,　2020-02-20 …

计算机程序设计艺术(第3卷)-排序和查找(英文影印版) 算法,计算机,Knuth,计算机科学,经典,计算机程序设计艺术,编程,algorithm,　2020-02-20 …

程序设计语言：设计与实现（第四版） 程序设计语言,计算机,编程,程序设计,Programming,计算机科学,Terrence_W._Pratt,　2020-02-20 …

ML程序设计教程大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。