将 Python 转换为 Haskell / Lambda 演算

Question

Haskell 和 Lambda 演算中的 Python 代码是什么？

def f1():
   x = 77
   def f2():
      print x
   f2
f1

我在 lambda 演算方面的尝试

\x. 77 (\x.x)

Answer 1

在Haskell：

f1 = f2
    where x  = 77
          f2 = print x

重构中，因为IO只是混淆了问题：

f1 = f2
    where x  = 77
          f2 = x

重构：

f1 = x
    where x = 77

重构，因为你想要变量？

f1 = (\x -> x) 77

Beta 缩减：

f1 = 77

你的程序是用 Haskell 编写的。

Lambda 演算没有数字文字（与 Haskell 不同），因此我们必须使用 教会数字。
因此，将“77”编译为 lambda 演算：

f1 = \f.\x. f (f (f (f ( ... ) x)))

这就是 Lambda 演算中的 Python 程序。

Answer 2

Haskell：

f1 :: IO ()
f1 = let x = 77
         f2 = print x
     in f2

main :: IO ()
main = f1

或者更像你的 lambda 演算：

f1 :: Int
f1 = let f2 = x
         x = 77
     in f2

main :: IO ()
main = print f1

Answer 3

我不懂Python，所以我可能是完全错误的，但这是我的Haskell 解释。

f1 = let x = 77 in show x

或者，因为你在那里有一个常数

f1 = show 77

Answer 4

在 lambda 演算中：

λprint. print 77