如何使用代数球拍在 let 绑定中解构值

问题描述

我正在尝试使用 Racket 而不是 OCaml 来完成有关分隔延续的教程 http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf，但是在尝试使用 Racket 的代数数据类型表达我的程序时遇到了障碍，以便我的示例代码与教程。

具体来说，我无法弄清楚如何使用 let 表单绑定实例的字段。在这个简单的示例中，我定义了一个 Tree sum 类型，它具有两个产品类型 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 绑定到根节点的 value 字段，但它以 let: bad syntax (not an identifier) in: (Node left value right) 失败。但是，如果我正确理解 the docs，这应该是可能的。

例如，我可以定义 walk 函数来递归访问树中的每个节点并使用模式匹配来绑定树的左侧和右侧，这非常有效。

(define walk (function
 [Empty `done]
 [(Node left value right)
  (walk left)
  (println value)
  (walk right)]))

我似乎无法在 let 的上下文中执行此操作。我的语法错了吗？我是否使用了正确版本的 let？这是你能做的吗？

解决方法

看起来 FDMem 没有提供 algebraic/racket/base 的语法，所以它只是从 vanilla let 获取它。不确定这是故意的还是错误，但无论哪种方式，您都可以通过将 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) 。