function - 如何返回带有守卫和双重递归的 lambda？

Question

我在 Python 中创建了这个函数:

def calc(a): return lambda op: {
    '+': lambda b: calc(a+b),
    '-': lambda b: calc(a-b),
    '=': a}[op]

所以你可以这样计算:

calc(1)("+")(1)("+")(10)("-")(7)("=")

结果将是 5 .
我想在 Haskell 中创建相同的函数来了解 lambda，但我遇到了解析错误。
我的代码如下所示:

calc :: Int -> (String -> Int)
calc a = \ op 
    | op == "+" = \ b calc a+b
    | op == "-" = \ b calc a+b
    | op == "=" = a

main = calc 1 "+" 1 "+" 10 "-" 7 "="

Answer 1

您发布的代码存在许多语法问题。不过，我不会在这里讨论它们:在完成基本的 Haskell 教程后，您将自己发现它们。相反，我将专注于该项目的一个更基本的问题，即类型并不能真正发挥作用。然后我将展示一种不同的方法，它可以让你得到相同的结果，向你展示一旦你了解了更多，它在 Haskell 中是可能的。
虽然在 Python 中有时返回一个 int 函数，有时返回一个 int 很好，但在 Haskell 中是不允许的。 GHC 必须在编译时知道将返回什么类型；您无法在运行时根据字符串是否为 "=" 做出该决定或不。因此，“keep calc ing”参数需要与“给我答案”参数不同的类型。
这在 Haskell 中是可能的，实际上是一种具有很多应用程序的技术，但对于初学者来说，这可能不是最好的起点。你在发明续 .你想要calc 1 plus 1 plus 10 minus 7 equals产生5，用于其中使用的名称的一些定义。实现这一点需要 Haskell 语言的一些高级特性和一些有趣的类型1，这就是为什么我说它不适合初学者。但是，下面是满足此目标的实现。我不会详细解释它，因为你要先学习的东西太多了。希望在学习了一些 Haskell 基础知识之后，您可以回到这个有趣的问题并理解我的解决方案。

calc :: a -> (a -> r) -> r
calc x k = k x

equals :: a -> a
equals = id

lift2 :: (a -> a -> a) -> a -> a -> (a -> r) -> r
lift2 f x y = calc (f x y)

plus :: Num a => a -> a -> (a -> r) -> r
plus = lift2 (+)

minus :: Num a => a -> a -> (a -> r) -> r
minus = lift2 (-)

ghci> calc 1 plus 1 plus 10 minus 7 equals
5

1 当然 calc 1 plus 1 plus 10 minus 7 equals看起来很像 1 + 1 + 10 - 7 ，这很容易。这里的重要区别是这些是中缀运算符，因此被解析为 (((1 + 1) + 10) - 7) ，而您尝试在 Python 中实现的版本和我的 Haskell 解决方案被解析为 ((((((((calc 1) plus) 1) plus) 10) minus) 7) equals) - 没有偷偷摸摸的中缀运算符，和 calc控制所有组合。