Преобразование Python в Haskell/исчисление Lambda

Question

Что такое код Python в исчислении Haskell и Lambda?

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

Моя попытка в лямбда-исчислении

\x. 77 (\x.x) 

Answer 1

Haskell:

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

main :: IO() 
main = f1 

Или быть больше как ваш лямбда-исчисления:

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

main :: IO() 
main = print f1 

Answer 2

Я не знаю, python, так что я мог бы быть полностью неправильно, но это моя интерпретация Хаскелла.

f1 = let x = 77 in show x 

Или, так как у вас есть постоянная там

f1 = show 77 

Answer 3

В лямбда-исчисления:

λprint. print 77 

Answer 4

В 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), поэтому мы должны использовать Church numerals. Так компиляции «77» для лямбда-исчисления:

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

И есть ваша программа Python в лямбда-исчислению.