質問編集履歴
1
情報が足りなかった
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -24,16 +24,10 @@
|
|
|
24
24
|
| Sub of exp * exp;;
|
|
25
25
|
|
|
26
26
|
let make_sum a1 a2 =
|
|
27
|
-
if a1 = Num 0 then a2
|
|
28
|
-
else if a2 = Num 0 then a1
|
|
29
|
-
|
|
27
|
+
Add (a1,a2);;
|
|
30
28
|
|
|
31
29
|
let make_product m1 m2 =
|
|
32
|
-
if m1 = Num 1 then m2
|
|
33
|
-
else if m1 = Num 0 then Num 0
|
|
34
|
-
else if m2 = Num 1 then m1
|
|
35
|
-
else if m2 = Num 0 then Num 0
|
|
36
|
-
|
|
30
|
+
Mul (m1,m2);;
|
|
37
31
|
|
|
38
32
|
let rec deriv var = function
|
|
39
33
|
| Num n -> Num 0
|