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-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。

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

未发行或暂未收录

DirectX游戏编程基础教程 directx,计算机,游戏编程,图像编程,3d,　2020-02-20 …

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

Unix/Linux编程实践教程 linux,Linux/Unix,编程,Linux,计算机,操作系统,Programming,unix,　2020-02-20 …

CG教程-可编程实时图形权威指南 CG,Shader,图形学,cg教程,计算机,游戏编程,编程,计算机图形学,　2020-02-20 …

C#并行编程高级教程 C#,并行编程,C#并行编程,编程,计算机,程序设计,Programming,程序员修炼,　2020-02-20 …

常微分方程教程 数学,常微分方程,常微分方程5,专业,math,Math,　2020-02-20 …

C程序设计经典教程 C语言,计算机,C/C++,程序设计,编程,经典,比谭浩强好一亿倍,计算,　2020-02-20 …

SPSS统计分析高级教程（第3版）/高等学校教材 （行硕）公共管理研究设计与方法（中级）,（公硕）公共管理研究设计与方法（高级）,概率论或统计学,数据分析,SPSS,　2020-02-20 …

网络工程师教程 计算机网络,计算机,网络,技术,教材,课程,　2020-02-20 …

C语言编程：一本全面的C语言入门教程（第三版） c语言,入门,编程,计算机,程序设计,c,教程,C语言,　2020-02-20 …

ML程序设计教程大结局

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