如何将此函数转换为内联调用

大卫542

我有以下功能来缩放(2-col)矩阵:

(define (scale-matrix matrix scale)
  (map (lambda (row)
         (list (* scale (car row))
               (* scale (cadr row))))
       matrix))

(scale-matrix '((1 2) (3 4)) 3)
; ((3 6) (9 12))                       

但是,我很难将其转换为内联咖喱调用。这是我目前所处的位置:

(map
 (lambda (row)
   (lambda (scale)
     (list (* scale (car row))
           (* scale (cadr row)))))
 '((1 2) (3 4)))
; (#<procedure:...esktop/sicp/021.scm:54:3> #<procedure:...esktop/sicp/021.scm:54:3>)

在这里传递比例尺和矩阵的正确方法是什么?换句话说,把3?

到目前为止,我得到的最接近的是3在那里进行硬编码

(map
 (lambda (row)
   ((lambda (scale)
      ; 3 hardcoded, nil placeholder. How to actually 'call' with 3?
      (list (* 3 (car row)) (* 3 (cadr row)))) nil)) 
 '((1 2) (3 4)))

或者,是否需要我将 传递scale为第一个参数?它似乎是这样工作的,但不确定是否需要(甚至不确定为什么会这样!)

((lambda (scale)
  (map (lambda (row)
         (list (* scale (car row)) (* scale (cadr row))))
         '((1 2) (3 4)))) 3)

; ((3 6) (9 12))
奥斯卡·洛佩兹

您的最后一次尝试是正确的:您必须通话提取lambdaused for 你不能修改最里面的 lambda,需要一个参数,你不能在那里传递嵌套因此,如果您想咖喱,则别无选择,但是:scale mapmaplambdalambdascale

((lambda (scale)
   (map (lambda (row)
          (list (* scale (car row))
                (* scale (cadr row))))
        '((1 2) (3 4))))
 3)
=> '((3 6) (9 12))

至于为什么起作用,就像任何其他匿名lambda电话一样。让我们看一个更简单的例子,这个:

(define (add1 n)
  (+ 1 n))

(add1 41)

当评估时相当于:

((lambda (n)
   (+ 1 n))
 41)

顺便说一句,以上也是 alet的扩展和评估方式:

(let ((n 41))
  (+ 1 n))

因此,您还可以内联代码,如下所示;但是你为什么要咖喱呢?原来的代码跟程序是对的。

(let ((scale 3))
  (map (lambda (row)
         (list (* scale (car row))
               (* scale (cadr row))))
       '((1 2) (3 4))))

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章