什么'；这是ocaml语法吗？_Ocaml

什么'；这是ocaml语法吗？

ocaml

什么'；这是ocaml语法吗？,ocaml,Ocaml,我是ocaml新手，我在ocaml文档中发现了这种类型的def：我还没有在《真实世界ocaml》和其他地方见过这种语法，这是一种方便的语法吗 type inet = { address:Import.Socket.Address.Inet.t, listening_on:int)} ? 你能教我哪本书或哪本书涵盖语法吗？我想知道它的细节，谢谢这是一个带有多个类型参数的参数化类型（就语法而言，它是产品typexpr:：=（typexpr{，typexpr}）typeconstr）例如，'

我是ocaml新手，我在ocaml文档中发现了这种类型的def：

我还没有在《真实世界ocaml》和其他地方见过这种语法，这是一种方便的语法吗

type inet = {
address:Import.Socket.Address.Inet.t,
listening_on:int)} ?

你能教我哪本书或哪本书涵盖语法吗？我想知道它的细节，谢谢

这是一个带有多个类型参数的参数化类型（就语法而言，它是产品

typexpr:：=（typexpr{，typexpr}）typeconstr

）

例如，

'a list

是元素类型为

'a

的列表类型。这意味着

list

是一种带有一个参数（元素类型）的参数化类型

这种类型可能有多个参数。例如，如果要使用成对列表构建键和值字典，可以使用

（'a*'b）列表

（元素成对的列表-每对都有

'a

第一个组件和

'b

第一个组件）。例如，

[（3，true）；（2，false）]：（int*bool）列表

如果要为该类型命名，它有两个参数：

'a

和

'b

。要定义的语法是：

type ('a, 'b) dict = ('a * 'b) list

对于普通函数参数，可以使用您喜欢的名称：

type ('key, 'value) dict = ('key * 'value) list

然后你可以在你的代码中使用这个类型，比如

[（3，true）；（2，false）]：（int，bool）dict

这是一个带有多个类型参数的参数化类型（在语法方面，它是production

typexpr:=（typexpr{，typexpr}）typeconstr

）

例如，

'a list