Programming Language A 学习笔记(一)
SML(一)
1. ML是一个函数式编程语言,理论基础为λ演算。
2. 变量声明
val x = e;
标准类型:单元(unit)、布尔(bool)、整型(int)、字符串(string)、实数(real)、元组(tuple)、记录(record)、列表(list)
1)负数表示:负号用“~”表示,-1表示为“~1”;
2)字符串:双引号间的字符序列;
3)实数:其他语言表述为double的浮点数;
4)list:“[]”表示空list,list 例:[1, 4, 9, 16, 25],list中的数据类型要求一致,可以嵌套;
5)tuple:圆括号中用逗号分隔的数据元素,可以嵌套,元组数据类型可以不一致,例:(a, 9);
6)record:记录的值和类型的写法都用{}括起来,例:{first : int, middle : int, last : int};
1 |
元组 |
列表 |
记录 |
括号 |
() |
[] |
{} |
元素类型 |
可以不同 |
必须相同 |
可以不同 |
长度 |
定长 |
变长 |
变长 |
类型表达式 |
用*连接的<元素类型>表达式 |
<元素类型> list |
{记录名: <元素类型>} |
3. 使用程序文件:use "foo.sml";
4. 函数定义
SML中函数的类型是由他的定义域和值域共同确定。
SML |
C语言 |
fun division(x : int, y : int) = x div y |
int division(int x, int y) { return x/y; } |
5. 元组数据引用
元组pr : int * bool => #1 pr元组 第一个元素,int类型;#2 pr 元组第二个元素,bool类型;
6. 列表数据引用
hd, 列表表头元素;tl,hd元素以外的列表;
7. let表达式:let b1 b2 … bn in e end
b1 b2 … bn 可以为变量声明、函数定义等, e为表达式
8. 条件表达式:if e1 then e2 else e3
e1、e2、e3为表达式,e2和e3要求相同的数据类型;
9. NONE、SOME和valOf
关键字 |
Evaluate |
TYPE |
'a |
任意类型 |
|
'a list |
任意类型的list;hd类型确定后,list类型固定 |
|
NONE |
NONE is an option value "carrying nothing" whereas |
'a option |
SOME e |
SOME e evaluates e to a value v and becomes the option carrying the one value v. |
t option if e has type t. |
null、isSome |
null to see if a list is empty, we have isSome which evaluates to false if its argumentis NONE. |
|
valOf |
get the value carried by SOME (raising an exception for NONE) |
10. 运算符
算术加、减、乘、除:+、-、*、div(整型)、/(real类型)
逻辑运算与、或、非、等、不等、大于、小于、大于等于、小于等于:andalso、orelse、not、=、<>、>、<、>=、<=
字符串连接:^
两个列表连接:@
数据e与列表es连接:e::es
Programming Language A 学习笔记(一)的更多相关文章
- Programming Language A 学习笔记(二)
1. 语法糖--元组的"名称引用"与"位置引用": (e1,...,en) <=> {1=e1,...,n=en} 类型:t1 * - * tn & ...
- 《The C Programming Language》学习笔记
第五章:指针和数组 单目运算符的优先级均为2,且结合方向为自右向左. *ip++; // 将指针ip的值加1,然后获取指针ip所指向的数据的值 (*ip)++; // 将指针ip所指向的数据的值加1 ...
- Learning ROS for Robotics Programming Second Edition学习笔记(十) indigo Gazebo rviz slam navigation
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 moveit是书的最后一章,由于对机械臂完全不知,看不懂 ...
- Learning ROS forRobotics Programming Second Edition学习笔记(八)indigo rviz gazebo
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS forRobotics Pro ...
- Learning ROS for Robotics Programming Second Edition学习笔记(七) indigo PCL xtion pro live
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS forRobotics Pro ...
- Learning ROS for Robotics Programming Second Edition学习笔记(六) indigo xtion pro live
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS for Robotics Pr ...
- Learning ROS for Robotics Programming Second Edition学习笔记(五) indigo computer vision
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS for Robotics Pr ...
- Learning ROS for Robotics Programming Second Edition学习笔记(四) indigo devices
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS for Robotics Pr ...
- Learning ROS for Robotics Programming Second Edition学习笔记(三) 补充 hector_slam
中文译著已经出版,详情请参考:http://blog.csdn.net/ZhangRelay/article/category/6506865 Learning ROS for Robotics Pr ...
随机推荐
- C/C++头文件使用 #ifndef #define #endif 的原因
背景 在编译的时候,出现"redefine"的错误,最后检查才发现对应的头文件没有写正确的预编译信息: #ifndef _HeadFileName_H #define _HeadF ...
- 【bzoj1231】[Usaco2008 Nov]mixup2 混乱的奶牛
题目描述 混乱的奶牛[Don Piele, 2007]Farmer John的N(4 <= N <= 16)头奶牛中的每一头都有一个唯一的编号S_i (1 <= S_i <= ...
- 【备忘】Conky配置
贴配置: background yes use_xft yes xftfont Sans:size= xftalpha 0.8 update_interval own_window yes own_w ...
- python Unicode 编码解码
1 #将Unicode转换成普通的Python字符串:"编码(encode)" 2 unicodestring = u"Hello world" 3 utf8s ...
- LRU LFU FIFO 转载
-------------------------------------->href--------------------------> http://blog.chinaunix.n ...
- C#中用radio单选Repeater循环数据,js实现
<asp:Repeater ID="rpt" runat="server"> <ItemTemplate> <tr data-id ...
- 《PHP数组函数》笔记
① in_array() 检查数组中是否存在某个值;有两个参数,第一个参数是要查找的值,第二个参数是数组名,返回值为布尔,找到则ture否则false; ② array_search 在数组中搜索给定 ...
- LruCache算法原理及实现
LruCache算法原理及实现 LruCache算法原理 LRU为Least Recently Used的缩写,意思也就是近期最少使用算法.LruCache将LinkedHashMap的顺序设置为LR ...
- ubuntu 配置VPN
1. sudo apt-get install pptpd 2. 修改/etc/pptpd.conf , vi /etc/pptpd.conf 找到#localip 192.168.0.1和#re ...
- WINFORM时间控件(DATATIMEPICKER)的显示格式设置
将DateTimePicker控件拖出来后打开属性,找到Format属性,选择Costum选项: 然后找到CustomFormat属性,按照你要显示的格式来输入,示例如下: 若系统时间为:2016年1 ...