在 Scheme 中为地图柯里化

Question

我了解 Haskell 语法。

我想 curry（部分应用）一个名为“play-note”的函数，并“手动”传递一个参数，第二个参数带有地图。

如果我可以用 Haskell 编写它，我会说：

playNote :: Time -> Instrument -> Int -> Int -> Int -> Int -> Music -- made up, but just to give you an idea

notes = [46, 47, 35, 74]  
loopGo = True

loop time = do mapM_ (playNote' time) notes 
               if loopGo then (loop (time+(second/2))) else return () -- time element removed
playNote' time pitch = playNote time drums pitch 80 11025 9 -- ignore extra args

在Scheme中，这是我所拥有的最好的：

(define notes '(46 47 35 74))  
(define *loop-go* #t)
(define play-note-prime  
   (lambda (time2)  
      (lambda (pitch)  
         (play-note time2 drums pitch 80 11025 9))))  ; drums is another variable
(define loop  
   (lambda (time)  
      (map (play-note-prime time) notes)  
      (if *loop-go*  
          (callback (+ time (/ *second* 2)) 'loop (+ time (/ second 2)))))) ; time element is more sophisticated here

Scheme 版本“编译”，但没有按照我的预期执行（咖喱第一个参数，然后是第二个）。帮助？谢谢！

编辑：
我的问题的本质是无法定义一个接受两个参数的函数，以使以下代码产生正确的结果：

map ({some function} {some value; argument 1}) {some list; each element will be an argument 2}

Answer 1

除非我错过了什么，否则srfi-26 的 cut 或 cute 不会提供你需要的东西吗？然后它只是您的方案实现是否提供它的问题（我认为大多数都提供）

Answer 2

你是对的——在方案中这样做的一种方法是手动创建 lambdas。以一种通用的、正确的方式实现这当然会很痛苦，即检查参数的数量（不希望有太多！）。

Clojure（另一种 LISP 方言）是这样做的：

http://clojuredocs.org/clojure_core/clojure.core/partial

源丑陋吗？可能是。它有效吗？当然。

Answer 3

回答我自己的问题：

需要将函数定义为“零碎”地接受参数：换句话说，它并不是真正的柯里化。我在上面尝试过，但没有做对。

一个被部分应用的函数需要被描述为一个 lambda 或 lambda 链，每个都准确地接受将要传递的参数的数量（按接收时间的降序排列）。

一个工作示例：

(define nums '(3 3 1 2))
(define f
   (lambda (num1)
      (lambda (num2)
         (expt num1 num2))))
(define ans (map (f 5) nums))
(print ans)

将 f 定义为接受所有参数将不起作用：

(define f
   (lambda (num1 num2)
      (expt num1 num2))) ; Can't be curried