ocaml的类型

Question

如果我有一个模块州

type state = {x: int; y: int} 

一个类型，我在模块比赛另一种类型的

type game = State.state 

我怎么可以访问一个对象的记录值类型游戏？

例如，如果我有一个游戏“g”，g.x会给我一个“Unbound record field label x”错误。

Answer 1

字段的名称位于State模块名称空间中。你可以说g.State.x，或者你可以打开State模块。

let f g = g.State.x 

或者：

open State 

let f g = g.x 

如果你想要的字段出现在Game模块命名空间，你可以重复他们：

type game = State.state = {x: int; y: int} 

您还可以使用include设施包括State模块。

例如，您Game模块可以说：

include State 
type game = state 

在这两种情况下，你可以参考Game.x：

let f g = g.Game.x 

或者：

open Game 
let f g = g.x 

有还有两个符号用于为单个表达式打开模块：

let f g = Game.(g.x) 

或者：

let f g = let open Game in g.x 

编辑：这里是一个Unix命令行会话，显示第一（简单的）解决方案：

$ cat state.ml 
type state = { x: int; y : int } 
$ cat game.ml 
type game = State.state 
$ cat test.ml 
let f (g: Game.game) = g.State.x 

let() = Printf.printf "%d\n" (f { State.x = 3; y = 4}) 
$ ocamlc -o test state.ml game.ml test.ml 
$ ./test 
3