Propagation 

vs

Laziness

Who won? Who's next? You decide!

De Taal

Booleaanse termen:
Conjunctie a & b
Disjunctie a | b
Negatie ~ a

Integer termen:
Som a + b
Equality a = b

​

Basis: CP

Uitbreiding: Lambda

Booleaanse termen:

BLambdaWrap

Integer termen:

ILambdaWrap

Lambda termen:

Abstractie \a -> b[a]

Applicatie a b

Variabele a

LetRec let a=b in c

Functieconstanten: +

​

Terminologie

• Redex
• Betareductie
• PrimEx
• Strikt

Evaluatiestrategie

• Evalueer alles
• Evalueer niets
• N-lookahead
• Breath-Block on Opens
• Depth- Block on Opens

(\a -> a) true | even(5)
even(x) := x%2 == 0