如何在 SMALL 记录中具有函数返回值

Question

我是 SML 新手，正在尝试探索 SML 记录和类型，特别是如何在记录中具有功能。

比如我在下面创建了type-

type foo={
    var1:int,
    f1: int -> int    // want to have result of function f1 here
 };

现在如果我声明类型为“foo”的记录-

val rec1 = { var1= 10, ....}

我不知道如何填充记录中的第二个参数。 f1(10) 给出错误。另外，我们可以像下面这样在“type”中声明和定义函数吗？-

type foo ={
    var1:int,
    f1 (x)=x+x
 };

请分享您的意见。

Answer 1

你需要使用函数表达式：

val r = {var1 = 10, f = fn x => x}

不，您不能在类型定义中定义记录字段的值。但是您可以将一个小辅助函数定义为“构造函数”：

fun new_foo i = {var1 = i, f = fn x => x+x}