Question

我正在完成作业并获得以下功能：

fun label (lb,ub) =
let val s = callcc (fn k =>let fun branch c = if (c < ub)
                                              then (pushCP (k,branch,c+1);c)
                                              else ub
                           in (pushCP(k,branch,lb+1);lb)
                           end)
in {value=s,dom=(lb,ub)}
end;

如果你把一个较低的上限设为1和3说这个函数会打印

val it = {dom=(1,3), value=1}

我想弄清楚的是，是否有可能获得价值。在我的笔记中，它说两种可能的方法是通过#value（x）或通过执行val {value = a，...} = x，但我在这两种方式都会遇到错误。我知道我做错了什么？

Answer 1

目前尚不清楚你做错了什么，因为你没有复制你实际尝试的内容，但是你的笔记是正确的：

- val x = {dom=(1,3), value=1};
val x = {dom=(1,3),value=1} : {dom:int * int, value:int}

第一种方法是使用#value提取value字段，使用#dom提取dom字段：

- #value x;
val it = 1 : int
- #dom x;
val it = (1,3) : int * int

第二种方法是使用模式匹配。您可以提取单个字段：

- val {value = a,...} = x;
val a = 1 : int

或者您可以一次提取两个字段：

- val {dom = a, value = b} = x;
val a = (1,3) : int * int
val b = 1 : int

为了使上述工作正常，x需要绑定到该值。也许您正试图将x与val绑定一起使用。你需要这样的东西：

val x = label(1,3)

我没有所有相关代码所以我无法测试。如果上述内容不足以回答您的问题，则需要提供更多详细信息。

通过匹配从函数中提取值

1 个答案: