uwenku
標簽列表
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
«
8
9
10
11
12
13
14
15
16
»
最新問題
1.
如何在關閉模式下更改開關項目的背景顏色?
2.
嘗試將身份驗證令牌作爲系統變量存儲在python中,但在打印時返回無效
3.
MySQL之前刪除觸發器雙連接和條件
4.
的Python的Tkinter名稱錯誤
5.
Haskell:函數在包裝數據上的應用
6.
有沒有辦法告訴Android Studio 3.0.1突出異常投擲者?
7.
Javascript - 如何將特定索引中的元素插入到數組的末尾?
8.
問題上插入一排表
9.
ssis意外終止錯誤
10.
Dockerfile - 運行apt-get install -y php5-MODULES不再工作 - 「沒有安裝應用程序」。如何解決它?