【译】【OCaml函数式编程教程】第三章:建立数据模型

III.树立数据模型

1. 一点理论

到目前为止,咱们只运用了简略的值,这些值也只运用了OCaml中根柢的类型。可是当咱们想要结束那些真实的程序时,咱们需求更凌乱的类型,而函数式编程言语排行榜不仅仅是int或许string。例如,假使您想创枚举类型是什么意思建一个用于收发消息的运用程序。您能够运用简略的s函数式编程言语trin教程图片g来树立此消息的模型。可是假定您期望将变量的界说其储存在储存器中或许对发信人的姓名进行操作时要怎样办?想要对这条消息以及其发件日期进行操作时呢?

当因为这些信息量的增加使得状况变得凌乱了起来,咱们不再能运用这些简略的类型树立模型。假定想要编写一个将这十几个变量作为参数的函数的话,又并不是很简略结束。尤其是当你想再新增一项变量与函数时,这会使得咱们要在全文中从头增加一个变量。

走运的是,OCaml容许咱们创立自己的数据类型。在本教程视频怎样制作办法教程总,咱们会学到四种办法来创立新类型:

  • 同义类型;
  • 乘积类型;
  • 加法类型;
  • 结构类型函数式编程(作为与原课程比较的附加项);

2. 同义类型

创立python下载安装教程咱们自己的类型的榜首种办法便是创python123渠道登录建同义类型。方针便是为现变量英文已存在的类型创立一个“别称”。语法如下:枚举类型中的元素都具有一个整型值

type NAME函数式编程为什么又火了 = TYPE

NAME便是所取别称的姓名,TYPE便是类型。在OCaml中,类型称谓只能是小写字母,假定需求分隔不同的词,能够运用_将其分隔(咱们会写成my_type,而不是myType)。
您能够运用原始类型来作业相同的函数以及运算符,这两个类型是能够相互替换的。

这品种型的含义尽管看起来并不大,可是这类同源类型能够使得咱们的代码相变量是什么意思较于相同的类型来说更易于变量的界说阅读,您能够为它们赋予其他的含义。
比较下面两个比方:

(python能够自学吗* 没有运用同函数式编程言语排行榜义类型 *)
let s (d : float) (t : flo函数式编程和面向对象at) : float = d /. t
(* 函数的类型为 float -> float -&教程网站gt; float *)
(* 咱们从界说同义类型开始 *)
type speed = float
type time = float
type distance = float
(* 然后将它们运用于函数中 *)
l变量的界说et s (d : distance) (t : time) : speed = d /. t教程丈量体温视频
(* 这个函枚举类型是什么意思数的类型为 dista函数式编程的长处nce -> time -> speed, 这样会清楚许多 *)

【译】【OCaml函数式编程教程】第三章:树立数据模型

有了同Python义类型,咱们弄混和倒置值的可能性就会削减。

但这显着不是咱们最感兴趣的创立新类型的办法,相同也不是最有用的办法。

3. 乘教程积类型

咱们现在来看另一品种型的类型 (️) :乘积类型。
咱们也称之为多元组或元组(这是在Python中的姓名)。函数式编程思维咱们只需求将数个不同类型的值组合在一起。通过类比数学中的集结的乘积,它枚举类型是根本类型吗们被称为乘积类型。

为了界说一个乘积类型,教程动漫人物咱们用*来分隔组合中不同类型的值。比方,假定咱们要树立一天中时刻的教程网站模型,咱们需求用到三个int(一个对应小时,一个对应分钟,一个对应秒),咱们写做:

int*int*int

一般来说,为了更便利的运用新界说的类型,咱们会为这些类型界说一个近义词。

type time = int * int * int

为了创立这个类型的值,咱们运用括号将其组合并用逗号来分隔(和在Python中一样):

type time = int * int * int
(* 这个常数的类型为time,也便是int * int * int,这两种是等价的 *)
let end_of_class = (函数式编程js16, 45, 0)

除了构建这品种型的值,您还能够“解构”它们(或“分化”它们,取Python决于您的精细程度python能够自学吗)。为了结束这一点,咱们运用“复合”letpython能够自学吗,以及元组中不同的元素:

(* let end_of_class的类型为 int * int * int  *)
let (hours, minutes, seconds) = end_of_class
(* hours,变量之间的联系minutes,seconds为三个新的常数,类型为int *)

另请留神,在结构或解构这些类型时,括号实变量英文践上是可选的。可是通常状况下为了更清楚以及防止防止歧义,咱们会加上括号。于咱们以及于OCaml的编译器而言,都会更好一些。

解构办法也能够直接在函数的参数中运用:

let add_a_hour (hour, minu变量泵tes, seconds: time) =教程 (hour + 1, minutes, secondpython123s)

咱们也能够在办法匹配中运用解构的办法:

let meal (hour: t枚举类型名的界说ime): string =
match hour with
| (7, _, _) | (8, _, _) -&教程英文gt; "Breakfast"
| (12, 0, 0) -> "Lunch"
| (函数式编程js1变量类型有哪些6, 30, 0) -> "Sn枚举类型是什么意思ack"python能够自学吗
| (19, 30, 0)枚举类型是根本类型吗 -> "Dinner"
| (h, _, _) -> (string_of_int h) ^ "hours? It函数式编程思维's not time to eat!"

相同的,在比较枚举类型是什么意思中该办法也行得通。咱们能够在if中运用带有乘积类型的值:

(* 一组姓名+暗码 *)
type identifiers = string * st教程之家ring
let message_secret id =
if id = ("Philippe Poutou", "枚举类型的用法ilovecreps") then
"Hello comrade Poutou !"
else
"Incorrect name or password."

4. 加法类型

毫无疑问,在变量是什么意思OCaml顶用这种办法来定函数式编程和面向对象的区别义类型是最有用也是最常见的,在函数式编程中也是如此。这次,咱们会运用不同的办法来教程的意思描绘类型。
咱们将其值束缚在一个有限合python编程会合,每一个值都有不同的含义。这些构建不同类型的办法被枚举类型 c言语称为constructor

界说加法类型的一般语法如下:

type NAME = CONSTRUCTOR函数式编程jsS_1 |CONSTRUCTORS_2

咱们运用|来分隔不同的c变量是什么意思onstructor。这儿,我只例举了两个,可是咱们能够想写多少就写多少。它们的姓名要运用大写字函数式编程入门母最初,一起咱们也会运用大写字母来分隔constructor姓名中不同的词:比方咱们函数式编程为什么又火了写做MyConstructor,而函数式编程为什么又火了不是My_construct函数式编程入门or

咱们来看一个小比方:

type size = Small | Medium | Large
type garnish = Vegetari函数式编程言语an | Chicken | Beef
type sauce = Cheese | Algerian | Curry | Harissa | Samurai | Blanche
type tacos = size * garnish * sauce

这儿咱们界说了三个加法类型:sizegarnish以及saucetacos是乘积函数)。枚举类型界说
加法类型函数式编程和面向对象的利益是,我函数式编程入门们不可能创立除了已界说的constructor以外的值:用以上咱们已界说的类型,咱们不可能具有一个‘XXL’枚举类型是什么意思号的tacos1

为了创立这个类型的一个值,函数式编程的长处咱们运用其间一个builder的姓名;

let my_sauce_favorit枚举类型是根本类型吗e = Curry

咱们也可变量之间的联系以在枚举类型的值中运用匹配办法:

let meat_price (m: meat): float =
match m with
| Vegetaripython基础教程an -> 4.5
| Chicken -> 5.0
| Beef -> 6.0

在等式中也相同适用,因而咱们能够运用if/else

let prpython培训班学费一般多少ice_size (s: size): float =
if size = Small th枚举类型enum用法en
4.0
else if size = Medium then
5.0
else
5.5

需求留神的是,咱们没有规矩每个类型的界说有必要独自一行。可是假定有许多的constructor的话,仍是主张在每个|前换行:

type region =
| A枚举类型占几个字节uvergneRhoneAlpes
| Bretagne
| GrandEst
| HautsDeFrance
| IleDeFrance
| NouvelleA枚举类型enum用法quitain教程的意思e
| Occitanie
| ProvenceAlpes函数式编程言语排行榜CoteDAzur
(* 以及等等,我不知道所以的地名,可是你们了解就好 *)

相关数教程英文据和constructor

咱们还能够选择将信息和constructor相关在一起。为了能够更准确描绘信息们的类型,python123咱们在constructo教程之家r的姓名后运用关键词ofof后边能够接咱们的方针类型。假定要运用这个constructor创立新的值的话教程丈量体温视频,咱们能够在constr函数式编程和面向对象uctor的姓名后边加上括号,并在括号中指出函数式编程为什么又火了与之相关的值。

举个比方,假定咱们想要为一个可能会犯错的的函数的效果树立枚举类型,咱们能够这样做:

type rpython基础教程esultat =
| Ok of float (* 咱们将float与builder OK相关 *)
| Error
(* 咱们能够函数式编程运用这个类型来结束一个不会溃散的除法函数。
* 假定出现过失,它将会返回Error,处理除法失利的状况也是必要的 *)
let div (x : float) (d : float) : r变量min表明什么类型的变量esultat =
if d = 0.0 then
Error (* Division by 0 impossibl枚举类型 javae教程网站 *)
else
Ok(x /. d) (* 便是在这儿运用与数变量提高据相关的builder *)

咱们相教程网站同也能够将这类conspython基础教程tructor的值进行解构,因而咱们能够运用匹配办法:

let my_divisi变量之间的联系on = div 5. 2.
(* my_division的类型为resultat, 所以咱们要通过操作才能得到它含有的值。
* 咱们现已考虑到了过失的状况,因而变量min表明什么类型的变量咱们能够确认咱们的程序不会溃散。 *)
match my_divis变量ion with
| Ok(res) -> "5除以2会得到: " ^ (string_of_float re教程图片s)
| Erreur -> "咱们没有办法结束这个除法!"

咱们与constructor相关的类型当然能够更凌乱:咱们能够运用加法类型、乘积类型等类型。

加法类型、枚举类型以及代数类型间的不同

加法类型有时也称为枚举类型或代数类型。在实践状况中并没有太大差异,但假定在INF201的查验中被问到了这样的问题,您需求知道:

  • 假定枚举类型是根本类型吗您的类型仅仅“简略枚举类型名的界说”con枚举类型的用法structor(没有相关值),则它是枚举类型;
  • 假定它至少有一个带有相关值的constructor,则它枚举类型是什么意思是加法类型。

5. 附加:枚举类型 c言语结构类型

教程英文种创立类型的办法并不在本来的课程函数式编程的长处范围内,但这依然是一种有用的办法。

结构类型看起来与乘积枚举类型名的界说类型很相似python怎样读,因为这两种办法都是将数个值组合在一起。差异在于,
咱们给每个值一个称谓,以便能够更简略地辨认它们。咱们依python下载安装教程然是在关键词type后边加上咱们想要赋予它的姓名教程网站以及一个等号。

然后,咱们运用一个大括号,之后就能够赋予不同的值(也称作“字段”)姓名以及类型来界说它们。咱们能够运用:来分隔姓名和类型,运用分号来分隔不同枚举类型的值。

咱们用树立联系办法的模变量是什么意思型(比方说是一个消息运用)来举个比方:

type contact = {
name : str枚举类型界说ing;
firstname : string;
age : int;
telephone : int * int * int * int * int; (* 五个别离隔的数字比起一长串数字更易于阅读 *)
email : string;
}

为了创立这品种型的值,咱们运用一个大括号,并在字段的称谓和值之间输入一个等于号。之后咱们要在每一个界说过的称谓之后写入python下载安装教程数据。

举个比方:

let manon = {
name = "Slon" ;
firstname = "Manon" ;
age = 18 ;
telephone = (06, 06, 66, 66, 06) ; (* 这个是假的,不要给这个号打电话,谢谢 *)
email = "manon.selon@gmail.com" ;
}

咱们相同能够以这种办法来解构结构类型的值:

let { name;python是什么意思 firstname; age枚举类型名的界说  } = manon
(* 咱们现在有三个新的常数:函数式编程为什么又火了name,firstname以及age *)

值得留神的是,在结构过程中咱们不必列出方针字段中所有的值。

咱们还能够运用其它的姓名,句子如下:

let { name = name_of_manon ; age = age_of_manon } = man枚举类型名的界说on
(* 咱们得到两个新的常量:nom_python123of_manon以及age_of_manon *)

教程网站于咱们能够解构这些值,相同地咱们也能够匹配它们:

let iscalled_manon (cont : contact) : bool =
match cont with
| { firstname = "Manon" } -> true
| _ -> false

咱们也能够运用VA枚举类型是根本类型吗LEUR.CHAMP独自读取一个字枚举类型中的元素都具有一个整型值段中的值:

let full_name (cont枚举类型名的界说 : contact) : string =
cont.firstname ^ " " ^ cont.name

6. 课后操枚举类型占几个字节

这儿有一些练习来验证你是否现已枚举类型是什么意思了解了类型这一章节。

咱们界说了这些类型:

(* 咱们树立了课程的模型 *)
type ue =
| Inf201
| Inf203
| Mat201
| Mat203
| Phy201
| Phy202
| break
type schedule = int * int (* 小时和分钟 *)
type course = schedule * schedule * ue (* 开始时刻、结束时刻以及课程UE *)

以下表达式的类型是什么(只接受最“简略”的版别)?

MAT201
<答案点我&gt变量英文;
    ue
(教程秘诀2(13, 30), (15, 00), Inf201)
<答案点我>
    course
(13, 30, 00)
<答案点我>
    int*int*int
'Z'
<答案点我>
    char
(15教程的意思,32)
<枚举类型答案点我>变量泵
    int*int 或 schedule

为了是代码正确作业,_____中要填什么?

type tram = A | B | C | D | E
type transport =
| Bus of int (* 线路编号 *)
|函数式编程入门 Tram of函数式编程思维 ____变量与函数__
| ______
| ____python下载安装教程__
let name_tram (t : tram) : string =
match t with
| A -> "A"
| B教程的意思 -> "B"
| C -> "C"
| D -> "D"
| E -&gt教程英文; "E"
let name_transport (tra : transport) : string =
match函数式编程 java tr函数式编程a with
| Bus(line) -> "Line " ^教程丈量体温视频 (string_of_int line) ^ " of bus"
| Tram(t) -> "Tram " ^ (name_tram t)
| Car -> "Car"
| Bicycle -> "Bicycle"
<答案点我>
    tram

然后是

<答案点我&变量提高gt;
    Car

最终是

<答案点我>
    Bicycle

咱们现变量与函数在要为音乐保藏树立模型。为此,咱们要创立以下类型:musicgenrea教程英文lbumtype_album(单曲、EP 或专辑)。你能够做任何你想做的,可是要做尽可能完善的品种。假定需求,您还能够增加更多类型(例如artist)。

<参python能够做什么作业考答案>
type g函数式编程思维enre =
| Cl教程的意思assipython能够自学吗c
| Electro
| KPop
| Pop
| Rap
| RnB
| Rock
type artist = string (* 歌手的姓名 *)
type type_album = Single | EP | Album
type album = artiste * type_函数式编程的长处album * strin枚举类型 javag (* string为专辑称谓 *)
type music = string * genre * album * artist
(* 假定枚举类型 c言语你想的话,咱们相同能够运用结构函数式编程的长处python123渠道登录型来界说专辑和音乐 : *教程英文)
type album = {枚举类型中的元素都具有一个整型值
alb : album;
alb枚举类型占几个字节_type : type_album;
name : string;
}
type music = {
title : strin枚举类型 javag;
genre : genre;
alb : albu枚举类型enum用法m;
ar变量的界说t : artiste;
}

我主张您运用函数来持续操作这些类型。

  • same_album:两首音乐在同一张专辑中。
  • same_genre:两首音乐归于同一品种。
  • long_title:假定标题很长(逾越20个字母)。咱们能够运用String.length : strin函数式编程和面向对象g -> int函数。
<参考答案>
let same_album (a : music) (b : music) : bool =
let (_, _, alb_a, _) = a in
let (_, _, alb_b, _) = b in
alb_a = alb_b
let same_genre (a : music) (b : music) : bool =
let (_,变量min表明什么类型的变量 gen枚举类型中的元素都具有一个整型值re_a, _, _) = a in
let (_, genre_b, _, _) = b in
genre_a = genre_b
let long_title (m : music) : bool =
le教程的意思t (title, _, _, _) = m in
(String.length title) > 20
(* 假定您运用了结构类型,能够这样做: *)
let same_枚举类型中的元素都具有一个整型值album (a : music) (b : music) : boo教程l =
a.alb = b.alb
let same_g枚举类型 c言语enre (a : music) (b : music) : bool =
a.genre = b.genre
let long_title (m : music) : bool =
(String.length m.title) > 20

  1. 怅惘的是,或许咱们应该批改一下size的界说…↩

发表评论

提供最优质的资源集合

立即查看 了解详情