如何使用代数球拍解构 let 绑定中的值答案

【问题标题】：How do you destructure values in a let binding using algebraic racket如何使用代数球拍解构 let 绑定中的值
【发布时间】：2021-05-30 19:31:59
【问题描述】：

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

具体来说，我不知道如何使用let 表单绑定实例的字段。在这个简单的示例中，我定义了一个 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 绑定到根节点的值字段，但它却以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？这是你能做到的吗？

【问题讨论】：

标签： racket algebraic-data-types

【解决方案1】：

看起来algebraic/racket/base 没有提供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)

计算结果为2。

【讨论】：

像魅力一样工作。谢谢！