interpretation

8Ciepło

3Odpowiedz

interpretować PARIGOT jest lambda-MU rachunku w Haskell

Można zinterpretować rachunek lambda w Haskell: data Expr = Var String | Lam String Expr | App Expr Expr data Value a = V a | F (Value a -> Value a) interpret :: [(String, Value a)] -> Expr -> Val

haskell interpreter continuations lambda-calculus interpretation 2015-02-26

---