0

我正在做一个项目，让我们习惯在编程语言课程中使用 plai 类型的语言。我一直被困在一个真正困扰我的问题上（完成了所有其他问题，没有问题）。我们将采用这种数据类型定义：

(define-type Tree
[leaf (val number?)]
[node (val number?)
(left Tree?)
(right Tree? ) ] )

然后“实现函数'scaled'，它接受一棵树并返回一棵具有相同形状的树，但所有值都乘以给定的比例。

示例：(scaled (node -5 (leaf 6) (leaf -7)) 2) 应该产生 (node -10 (leaf 12) (leaf -14))"

所以基本上我只需要将所有这些值乘以一个给定的值，在这个例子中是 2。

在尝试不同的方法后，这是我迄今为止所拥有的：

(define (scaled [ t Tree?] [n  number?] )  
(type-case Tree t  
[leaf (val) val] 
[node (val left right) ( * val (scaled left) (scaled right)  n  ) ] ) )

我基于之前为我做对的作业的其他部分创建的代码。问题是，它将所有数字和结果“成功地”与 420 的解相乘，而不是单独将每个值相乘。我知道这与我放置“n”有关，但我尝试了很多不同的方法，但都没有运气。如果有人有任何有用的提示/提示/解决方案，将不胜感激。

谢谢！

4

1 回答 1

1

思考问题的方法不是下降到较低的实施水平，而是上升到我们可以思考什么scaled是的水平。问题不在于确定将n. 它正在弄清楚scaled应该做什么。

无论它做什么，它都需要返回一棵树。

; DefType F1 : Any -> Tree
(define (f1 x)
  (leaf 42))

下一个最重要的事情是它需要将树作为输入。

; DefType F2 : Tree -> Tree
(define (f2 [t Tree?])
  (leaf 42))

接下来必须解决输入和输出之间的同构问题。输出树的结构需要与输入树的结构相匹配。

; DefType F3 : Tree -> Tree
(define (f3 [t Tree?])
  t)

从函数式编程的角度来看，这得到了我们想要的东西，但以牺牲质量为代价，因为f3返回的是对输入的引用，而不是从输入派生的值。该函数需要返回一个与输入值具有相同结构的新输出值。要复制结构，函数必须在传递 a 时返回 a node，在传递 a 时node返回leafa leaf。

; DefType F4 : Tree -> Tree
(define (f4 [t Tree?])
  (type-case Tree t
    [leaf (val) (leaf val)]
    [node (val left right)
       (node val (f4 left)(f4 right))]))

现在类型已经整理好，是时候处理将输入树转换为输出树了。这需要向上而不是向下移动。开始的地方是重写f4。

; DefType F5 : Tree -> Tree
(define (f5 [t Tree?])
  (type-case Tree t
    [leaf (val) (leaf (id val))]
    [node (val left right)
      (node (id val) (f5 left)(f5 right))]))

重要，但不是很有趣。用任意函数替换id似乎更有趣。太有趣了，可能值得添加第二个参数。

; DefType N2N : Number -> Number
; DefType F6 : Tree (Number -> Number) -> Tree
(define (f6 [t Tree?] [n2n N2N?])
  (type-case Tree t
    [leaf (val) (leaf (n2n val))]
    [node (val left right)
      (node (n2n val) (f6 left) (f6 right))]))

功能scaled：

; DefType Scaled : Tree Number -> Tree
(let ((f lambda(x y)(* x y)))
  (define (scaled [t Tree?][n Number?])
    (type-case Tree t
      [leaf (val)(leaf (f n val))]
      [node (val left right)
        (node (f n val) (scaled left)(scaled right))])))
于 2015-02-04T17:51:12.950 回答