Ontwerpbesluitendocumentje toegevoegd

diff --git a/ontwerpbesluiten.txt b/ontwerpbesluiten.txt
new file mode 100644 (file)
index 0000000..4c245aa
--- /dev/null
+++ b/ontwerpbesluiten.txt
@@ -0,0 +1,7 @@
+-- Types zonder arity
+We gebruiken types zonder arity (Int -> Int -> Void) ipv (Int Int -> Void)
+Waarom?
+Mooiere puurdere lambda-calculus. Is chill straks met hogere orde functies (denken we)
+Staat mooie shizzle zoals in Haskell toe (f :: a -> a, g :: a -> a, f = g)
+Simpeler om te parsen
+Con: wellicht kut met code generatie, wie weet.
\ No newline at end of file