Ocaml学习笔记

Ocaml学习笔记

Ocaml中标准的数据类型：

整型(type int):1,2,-2

字符型(type char):'a','\n','\x48'

字符串(type string):"ocaml"

布尔型(type bool):true,false

浮点型(type float):1.2,5.3

类型转换：

整型转换为字符串：string_of_int 1;;

整型转换为浮点型：float_of_int 2;;

算术表达式：

1+1;;

布尔表达式：

ture&&false;;与

not false;;非

true||false;;或

字符串操作符：

"hello" ^ "world";;字符串连接符“^”

通过字符串下标引用字符串中的字母：

"abc".[1];;

char='b';;

浮点型操作操作符后面要加点".":

1.2+.1.3;;

变量定义与调用：

let x=1;;定义变量

x;;引用变量

PS:变量名的首字母是小写字母；变量不能被修改

本地变量定义；

定义为本地变量：

let average =

let sum=10+42+3 in

sum/3

;;

sum;;

sum是局部变量；

一次定义多个变量：

let a=1 and b =2;;

let result=

let c=1 and d=2 in

c+d;;

列表：不能被修改；变量长度；

数组：能被修改；能随机取数

表定义：首字母：the head；另一个表的尾：the tail；

1.空表

[];;

2.带有一个元素的列表：

1::[];;

3.带有两个元素的表：

1::(2::[]);; 或者 1::2::[];;

表的连接：

[12;13]@ [5;6];;

列表长度：

List.length['q';'5';'hj'];;

随机取数：

List.nth['a';'b';'c'] 1;;取出数组中的第二个元素

PS:表中所有元素类型一致

数组定义：

let a=[|1;2;3|];;

取数：

a.(1);;

数组能被修改：

a.(1)<-5;;把数组中的第二个元素修改为5；

a;;输出所有数组元素

函数中的参数用空格分开：

cos 0.0;;

atan 1.0 1.0;;

用let关键字给函数定义：

let 函数名 参数1 参数2 ...=

expression

例如：

let sum x y z=x+y+z;;

sum 1 3 2;;

一个函数调用本身用关键词：let rec

函数作为返回值：

函数被当做参数；；

函数能被当做返回值；

List.map 函数 表；

例如：

List.map string_of_int [1;2;3];;输出表中元素并被转换为英文；

函数定义可以不带有名字

fun argument1 argument2 ... ->expression

当函数小而且只被用一次是很方便：

List.map(fun x->x*1)[1;2;3];;

通过创建元组：一个组里有多重类型的变量：

(,."ocaml");;

let x=('e',true,[1;2]);;

抽取值：

let a,b,c=x;;

函数可以用元组作为参数：

let average pair=

let (x,y)=pair in

(x+y)/2;;

使用：

average(2,8);;

用一个元组一个函数可以返回多个值：

let div x y=

let q=x/y in

let r=x-q*y in

(q,r);;

使用：

div(20,4);;

定义一个新的数据类型：

type day_of_week=

|Sunday

|Monday

|Tuesday

|Wednesday

|Thursday

|Friday

|Saturday #首字母大写

使用其中的枚举类型：

Sunday

用一个函数返回数字的天数：

let number_of_day day=

if day=Sunday then

0

else if day=Monday then

1

else if day=Tuesday then

2

else if day=Wednesday then

3

else if day=Thursday then

4

else if day=Friday then

5

else

assert false #给出错误报告

;;

如果我们忘了一个case，当程序运行时会给出错误报告：

number_of_day Satruday;;

用匹配模式可以做上述函数相同的事：

let number_of_day_with_match day=

match day with

|Sunday->0 #如果day为Sunday返回0

|Monday->1

|Tuesday->2

|Wednesday->3

|Thursday->4

|Friday->5

|Saturday->6

;;

当我们缺失一个Case时，Ocaml能够探测出来：

let number_of_day_with_match day=

match day with

|Sunday->0 #如果day为Sunday返回0

|Monday->1

|Tuesday->2

|Wednesday->3

|Thursday->4

|Friday->5

;;

枚举类型的元素可以有参数：

type figure=

|Vertex

|Circle of float

|Rectangle of float * float #“*”为连接符不是操作运算符

;;

例如：

Circle 1.0;;

Renctangle(2.0,3.0);;

计算上边定义的枚举类figure的大小：

let pi=4. * .atan 1.0

let size figure=

match figure with

|Vertex->0

|Circle radius->pi*.radius *.radius

|Rectangle(a,b)->a*.b

;;

预定义代数类型：option

type 'a option=

|None

|Some of 'a

;;

例子：

#Some 42;;

-:int option =Some 42

列表可以定义成如下：

type 'a list=

|Nil

|Cons of 'a * 'a list

用[]和::符号比上述方法更方便

匹配模式可以用在列表：

match | with #"|"是表类型的参数

|[]->...#表为空，获取什么结果

|x:: |->...#如果原表为“list”，那么x就是原表的第一个元素，“|”代表出去原表第一个元素的子表

练习：编写一个求表中元素(整型)总和的函数：

let rec match_size x=

match x with

| []->0

|a::b->a+match_size(b);;#使用迭代函数：每次拿表中的第一个元素相加

结构体类型中的值可以有多种类型：

type color ={

red:int;

green:int;

blue:int;

};;

PS: 结构体中元素的名字开始要用小写字母

结构体中的元素初始化可以通过制定构建：

let c={red=255;green=0;blue=90};;

获取结构体元素的值可以通过点符号：

c.red;;

修改结构体中的指定元素：

{c with green=128};;

结构体中能通过mutable标志修改初始化之后结构体中的元素：

type counter={

mutable value:int;

};;

例如：

let c={value=0};;

c.value<-42;;#把初始化之后的c中value元素的初始值修改为“42”

c.value;;#查看修改之后的结果

Ocaml中有一个预定义类型：ref

type 'a ref={mutable contents:'a};;

ref类型操作：

创建:let x=ref 0;;

使用：!x;;

修改：x:=3;;

逻辑等于的比较符：=

比较文本中的两个值：

1=1;;

["a";"b"]=["a";"c"];;

算术等于：==

["a"]==["a"]

匹配模式可以用在除了函数以外的所有类型：

match x with

|0->(* case for x=0 *)#两个"*"为注释文本

|1->(* case for x=1 *)

|_->(* case for all other values of x *)

match Sys.os_type with

|"Win32"->(* case for Window *)

|"Unix"->(* case for Unix *)

|other->(* case for all other operating systems *)

匹配模式能过元组同时匹配多个值：

match(a,b) with

|(42,"foo")->...

|(34,"bar")->...

...

一个运算可能在任何时候中断在出现异常的时候：

List.assoc "b" [("a",1);("b",2)];;

List.assoc "x" [("a",1);("b",2)];;

List.assoc key:在表中查询元组中与key联系的值.。

用raise函数来抛出异常：

raise Not_found;;

带有参数的异常：

raise(Failure "something went wrong");;

用try..with来获取异常：

try

...

with

|pattern1->

...

|pattern2->

...

...

用关键字exception定义异常：

exception Error

exception Error2 of int*string

异常只是一种扩展的代数数据类型。