Standard ML编程基础教程
"《Programming in Standard ML》是Robert Harper撰写的一本关于标准ML(SML)编程语言的教材。本书最初作为卡内基梅隆大学计算机科学15-212课程的讲义,用于教授编程原理,后来被多所大学广泛采用。此书旨在取代作者过去十年间广为流传的《Introduction to Standard ML》。" 标准ML(SML)是一种功能强大的、形式定义的函数式编程语言,其设计强调了类型安全性和静态类型检查。该书详细介绍了SML的基础知识,包括语法、数据类型、函数、模式匹配、类型系统以及模块系统。 在SML中,函数是第一类公民,意味着它们可以被赋值、作为参数传递和作为其他函数的返回值。这使得SML非常适合进行抽象和构建复杂的数据处理逻辑。书中会深入讲解如何利用函数式编程的思想来解决问题,以及如何通过高阶函数来减少代码重复。 SML的类型系统非常严谨,所有程序在编译时都会进行类型检查,确保了程序在运行时不会出现类型错误。类型推导是SML的一个重要特性,它允许编译器自动推断变量和表达式的类型,减少了显式类型声明的需求。 模式匹配是SML中的一个关键概念,允许程序员根据数据结构的不同形式来解构和处理数据。这在处理列表、元组等复合数据类型时特别有用。书中会详细展示如何使用模式匹配来编写简洁而富有表现力的代码。 此外,SML的模块系统支持代码的组织和封装,允许创建抽象数据类型和模块接口,增强了代码的重用性和模块性。读者将学习如何设计和实现模块,以及如何使用模块来管理程序的复杂性。 《Programming in Standard ML》不仅涵盖了SML的基本语法和特性,还涉及了更高级的主题,如递归、异常处理、面向对象编程的模拟和并行计算。书中的例子和习题旨在帮助读者巩固理论知识并提高实际编程能力。 这本书是学习和理解标准ML编程语言的宝贵资源,适合初学者和有经验的程序员进一步提升对函数式编程的理解。通过阅读本书,读者可以掌握SML的核心概念,并能够运用这些知识来解决实际问题。
![](https://csdnimg.cn/release/download_crawler_static/8564851/bg10.jpg)
![](https://csdnimg.cn/release/download_crawler_static/8564851/bg11.jpg)
![](https://csdnimg.cn/release/download_crawler_static/8564851/bg12.jpg)
![](https://csdnimg.cn/release/download_crawler_static/8564851/bg13.jpg)
![](https://csdnimg.cn/release/download_crawler_static/8564851/bg14.jpg)
剩余296页未读,继续阅读
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 0
- 资源: 1
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- Hadoop生态系统与MapReduce详解
- MDS系列三相整流桥模块技术规格与特性
- MFC编程:指针与句柄获取全面解析
- LM06:多模4G高速数据模块,支持GSM至TD-LTE
- 使用Gradle与Nexus构建私有仓库
- JAVA编程规范指南:命名规则与文件样式
- EMC VNX5500 存储系统日常维护指南
- 大数据驱动的互联网用户体验深度管理策略
- 改进型Booth算法:32位浮点阵列乘法器的高速设计与算法比较
- H3CNE网络认证重点知识整理
- Linux环境下MongoDB的详细安装教程
- 压缩文法的等价变换与多余规则删除
- BRMS入门指南:JBOSS安装与基础操作详解
- Win7环境下Android开发环境配置全攻略
- SHT10 C语言程序与LCD1602显示实例及精度校准
- 反垃圾邮件技术:现状与前景
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)