1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
implementation module RefactorXX
import StdClass, StdInt, StdList, StdOverloaded, StdString
//Start = map toString [E1,E2,E3,E4,E5]
/*
E1 = (let x = 42 - 3 in x / 0) + (let y = 6 in y * y)
E2 = let x = 42 in x + (let x = 58 in x)
E3 = let x = 1 in let y = 2 in let x = 3 in 4
E4 = let x = 1 in x + y
E5 = (let x = 1 in x) * x
E6 = let x = 5 in let y = x in 0
*/
E1 = (OP (LET "x" (OP (NR 42) MIN (NR 3)) (OP (VAR "x") DIV (NR 0))) PLUS (LET "y" (NR 6) (OP (VAR "y") MUL (VAR "y"))))
E2 = (LET "x" (NR 42) (OP (VAR "x") PLUS (LET "x" (NR 58) (VAR "x"))))
E3 = (LET "x" (NR 1) (LET "y" (NR 2) (LET "x" (NR 3) (NR 4))))
E4 = (LET "x" (NR 1) (OP (VAR "x") PLUS (VAR "y")))
E5 = (OP (LET "x" (NR 1) (VAR "x")) MUL (VAR "x"))
E6 = (LET "x" (NR 5) (LET "y" (VAR "x") (NR 0)))
:: Expr = NR Int
| VAR Name
| OP Expr Operator Expr
| LET Name Expr Expr
:: Name :== String
:: Operator = PLUS | MIN | MUL | DIV
:: Val a = Result a | Undef
class fail c :: c a
class return c :: a -> c a
class (>>=) infix 0 c :: (c a) (a -> c b) -> c b
class Monad c | return, >>= c
class MonadFail c | Monad, fail c
instance fail Val where // maak deze instance af
instance return Val where // maak deze instance af
instance >>= Val where // maak deze instance af
instance fail [] where // maak deze instance af
instance return [] where // maak deze instance af
instance >>= [] where // maak deze instance af
// expressies afdrukken:
instance toString Expr where // maak deze instance af
// vrije variabelen:
free :: Expr -> [Name]
free // maak deze functie af
// verwijder deelexpressies met ongebruikte let-variabelen:
remove_unused_lets :: Expr -> Expr
remove_unused_lets // maak deze functie af
// evaluator, monadische stijl:
eval :: Expr -> c Int | MonadFail c
eval // maak deze functie af
Start :: [[Int]]
Start = [eval E1, eval E2, eval E3, eval E4, eval E5]
|