CPS如何使用lambda微積分或Ocaml等口頭語言更有意義？從技術上講，所有功能都有一個參數。所以說，我們在一個這樣的語言有另外的CPS版本： cps-add k n m = k ((+) n m)
我們這樣稱呼它 (cps-add random-continuation 1 2)
然後，這是一樣的： (((cps-add random-continuation) 1) 2)
我已
這裏仍然是Haskell的新手。我只知道自己因錯誤的假設而陷入困境。如果我有以下功能... quadsum w x y z = w+x+y+z
我想，可以採取一個列表，在指定的函數中使用的每個元素作爲參數一樣quadsum，並返回一個咖喱功能供以後使用的功能。 我一直想的東西的效果... magicalFunctionMaker f [] = (f)
magicalFunctionMak
如果我有： val f : A => B => C
這是簡寫： val f : Function1[A, Function1[B, C]]
我如何獲得一個功能g與簽名： val g : (A, B) => C = error("todo")
（IE） val g : Function2[A, B, C] //or possibly
val g : Function1[(A, B),
這裏的代碼工作正常： let f x y z = x + y + z
let g x y = f x y
let h x z = z |> f x
所以，我可以寫表達 「H 1」 和FSI顯示： val it : (int -> int -> int) = <fun:[email protected]>
如果我稱之爲 「H 1 2 3」，參數應用按照正確的順序。 但如果最後一個參數有