我正在尝试在此处完成有关定界延续的教程 http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf使用 Racket 而不是 OCaml,但在尝试使用 Racket 的代数数据类型来表达我的程序时遇到了障碍,因此我的示例代码与教程密切相关。
具体来说,我不知道如何使用 let
形式绑定(bind)实例的字段。在这个简单的示例中,我定义了一个 Tree
总和类型,其中包含两个产品类型 Empty
和 Node
,其中每个节点都包含一个左分支,一个值, 和右分支。
#lang algebraic/racket/base
(require algebraic/function)
(data Tree (Empty Node))
(define tree1 (Node (Node Empty 1 Empty) 2 (Node Empty 3 Empty)))
(let ([(Node left value right) tree1]) value)
我期望此表达式的计算结果为 2
,因为 value
绑定(bind)到根节点的值字段,但它失败了 let:语法错误(不是标识符)在:(节点左值右)
。但是,如果我理解 the docs正确地说,这应该是可能的。
例如,我可以定义 walk
函数来递归访问树中的每个节点,并使用模式匹配来绑定(bind)树的左侧和右侧,这非常有效。
(define walk (function
[Empty `done]
[(Node left value right)
(walk left)
(println value)
(walk right)]))
在 let
的上下文中,我似乎无法做到这一点。我的语法错了吗?我使用的 let
版本正确吗?这是您甚至可以做的事情吗?
最佳答案
看起来像algebraic/racket/base
不提供 let
的语法,所以它只是从 Vanilla 中得到它 racket/base
.不确定这是故意的还是错误,但无论哪种方式,您都可以通过添加 (require algebraic/racket/base/forms)
来解决它到你的代码。给你:
#lang algebraic/racket/base
(require algebraic/racket/base/forms)
(require algebraic/function)
(data Tree (Empty Node))
(define tree1 (Node (Node Empty 1 Empty) 2 (Node Empty 3 Empty)))
(let ([(Node left value right) tree1]) value)
计算结果为 2
.
关于racket - 你如何使用代数 Racket 解构 let 绑定(bind)中的值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67765087/