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
+Con: wellicht kut met code generatie, wie weet.
+
+--
+Functies en variabelen delen 1 namespace.
+Dat is met het oog op hogere orde functies, dan kan een parameter voor een functie een andere
+functie zijn, of een variabele en als die 2 aparte namespaces hebben is dat moeilijk onduidelijk /
+praktisch onmogelijke met type inteference
\ No newline at end of file