程序设计语言A-week2
来源:互联网 发布:win7未识别的网络 编辑:程序博客网 时间:2024/05/16 16:32
Coursera上华盛顿大学的公开课,程序设计语言的学习记录。这门课程有ABC3个部分,这是A部分,用的是ML语言。
课程地址:https://www.coursera.org/learn/programming-languages/home/welcome
week1就是一些简要的介绍和课程需要的一些工具的安装(Emacs),没什么好记录的。
变量的绑定
静态环境,进行类型检查
动态环境,进行值的检查
表达式的规则:
语法检查
语义检查
1. 类型检查
2. 值的检查
shadowing
先后将不同的值绑定给同一个变量,这个变量之前被绑定的值就会被隐藏,称作shadowing
视频里提到,因为这个原因,所以在Emacs里使用REPL的时候,用use “×××.sml” 要先终止上一次的再重新开始(??没理解,先记着)
函数
格式:
fun 函数名(变量名:类型,………)=一个表达式
pair
一对变量,可以是不同类型
tuple
任意数目的变量,可以是不同类型
list
任意数目的变量,同一类型
创建局部变量 let expression let ...args... in ...exp... end
嵌套函数:在函数里可以在let表达式里定义新的函数,这个新的函数只在let表达式里可见,有点封装的意思
在ML语言里,要想访问一个list里的很多值都要借助递归的写法(?应该是吧,至少目前课程都没有讲到类似数组下标之类的东西),写递归的时候要注意避免重复的计算
option 类型
NONE, SOME ,valOf, isSome
与或非
andalso orelse not,和C语言里一样的短路规则
ML里,不会有其他语言里引用产生的问题,即变量不会被意外修改
最后,学习一门语言的5个方面:
1. 语法
2. 语义
3. idioms,应该是写的代码要易于理解的意思吧
4. 这个语言的一些库
5. 相关工具
- 程序设计语言A-week2
- week2
- Week2
- week2
- Week2
- week2
- week2
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- 程序设计语言
- OpenCV霍夫变换:霍夫线变换,霍夫圆变换合辑
- Spring入门(Bean配置项、生命周期等)
- Socket网络同步异步编程+邮件发送代码+TCP/IP原理解析
- 欢迎使用CSDN-markdown编辑器
- 德普叔叔的电影小集(一)~
- 程序设计语言A-week2
- [初学C#] 第二习题 : 快递跟踪信息查询
- PHP利用curl实现爬虫
- C++const详解
- Codeforces Round #435 (Div. 2)B. Mahmoud and Ehab and the bipartiteness(二分图,染色法)
- 关于Foundation 对话框组件关闭后,页面自动滚动的解决办法
- MarkdownPad 2 在win10下出错:HTML 渲染错误(This view has crashed) 的解决办法 + MarkdownPad2.5 注册码
- 由前序和中序数组重建二叉树
- PAT basic 1008. 数组元素循环右移问题 (20)