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
Made with Slides.com