标准ML：是否可以命名函数参数的数据类型？
|
我是ML的新手，并且拥有一个可以接收特殊的预定义数据类型，并且能够引用其整个参数数据类型而不是其组件的函数。
这是一个愚蠢的例子：
datatype frame = Frame of string list * string list
(* Type: fn : string * frame -> frame *)
val lookup_variable_value_in_frame =
fn (string(var), Frame(variables, values)) =>
...
Frame(variables, values)
... ;
Frame
Frame(variables, values)
val lookup_variable_value_in_frame =
fn (string(var), frame : Frame(variables, values)) => ...
没有找到相关结果
已邀请:
1 个回复
盛梯獭八搽
。您不必构建另一个4来返回或传递给另一个函数。第一种选择是使用显式类型注释：(* Type: fn : string * frame -> frame *) val lookup_variable_value_in_frame = fn (var: string, f: frame) => ... f ... ;关键字对值进行另一个绑定：val lookup_variable_value_in_frame = fn (var, f as Frame(variables, values)) => ...(* using f, variables or values here *)