lambda-calculus

1熱度

2回答

如何使用原始遞歸來簡化以下表達式？

可能重複： Symbolic simplification in Haskell (using recursion?) 的簡化我的想法是 0*e = e*0 = 0 1*e = e*1 = 0+e = e+0 = e-0 = e 和簡化不斷子表達式，如Plus (Const 1) (Const 2)將變成Const 3。我不希望將變量（或變量和常量）連接在一起：Var "st"是與Var "

haskell functional-programming lambda-calculus 2008-11-27

---

-2熱度

1回答

如何評估表達式？

如何評估一個表達式，給出它包含的變量的值列表？ eval::[(Variable,Integer)]->Expr->Integer 實施例： eval[("x",2), ("y",4)](Mult(Plus(Var "x") (Const))(Var "y"))= 12

haskell functional-programming lambda-calculus 2008-11-28

---

-1熱度

1回答

如何在字符串表示中添加兩個項目？

比如我想E1添加兩個表達式和e2 toString (Plus e1 e)= ?? 我猜測它會是這樣的 toString (Plus e1 e)= ((toString e1) ++ "+" ++ (toString e2))

haskell functional-programming lambda-calculus 2008-11-29

---