ontwerpbesluiten.txt

   1 -- Types zonder arity
   2 We gebruiken types zonder arity (Int -> Int -> Void) ipv (Int Int -> Void)
   3 Waarom?
   4 Mooiere puurdere lambda-calculus. Is chill straks met hogere orde functies (denken we)
   5 Staat mooie shizzle zoals in Haskell toe (f :: a -> a, g :: a -> a, f = g)
   6 Simpeler om te parsen
   7 Con: wellicht kut met code generatie, wie weet.