X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ontwerpbesluiten.txt;h=8cbcf17e218b41b5a2b5ea1c62be1d8ee2a20e3d;hb=f5e125920d85bc53eda7b51f3f03e89fcaf3a0ce;hp=4c245aa2e9b450e781518ce2fe4d60274f97fce6;hpb=df7fbaaf21817473f51525a2c8f03b0a5a37b823;p=cc1516.git

diff --git a/ontwerpbesluiten.txt b/ontwerpbesluiten.txt
index 4c245aa..8cbcf17 100644
--- a/ontwerpbesluiten.txt
+++ b/ontwerpbesluiten.txt
@@ -4,4 +4,10 @@ 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
+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