Convertir le calcul Python en Haskell/Lambda

Question

Quel est le code Python dans le calcul de Haskell et Lambda?

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

Ma tentative de calcul lambda

\x. 77 (\x.x) 

Answer 1

Haskell:

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

main :: IO() 
main = f1 

Ou pour être plus comme votre lambda-calcul:

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

main :: IO() 
main = print f1 

Answer 2

Je ne sais pas python, donc je pourrais être complètement mal, mais c'est mon interprétation Haskell.

f1 = let x = 77 in show x 

Ou, puisque vous avez une constante, il

f1 = show 77 

Answer 3

Dans le calcul lambda:

λprint. print 77 

Answer 4

Dans Haskell:

f1 = f2 
    where x = 77 
      f2 = print x 

refactorisation, depuis IO seulement confond le problème:

f1 = f2 
    where x = 77 
      f2 = x 

refactorisation:

f1 = x 
    where x = 77 

refactorisation, puisque vous voulez la variable?

f1 = (\x -> x) 77 

Beta réduire:

f1 = 77 

Et vous avez votre programme Haskell.

Le calcul lambda n'a pas de littéraux numériques (contrairement à Haskell), nous devons donc utiliser Church numerals. Donc, la compilation "77" au calcul lambda:

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

Et il y a votre programme Python dans Lambda calcul.