X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ontwerpbesluiten.txt;h=225ac7425045575bf3ba451f2a153813a751a42a;hb=6d70a636ed3b4573c4c81ba068ae2b46523c9465;hp=8cbcf17e218b41b5a2b5ea1c62be1d8ee2a20e3d;hpb=4f162814483aa0ab4e11cab51e23f807bece906c;p=cc1516.git

diff --git a/ontwerpbesluiten.txt b/ontwerpbesluiten.txt
index 8cbcf17..225ac74 100644
--- a/ontwerpbesluiten.txt
+++ b/ontwerpbesluiten.txt
@@ -6,8 +6,13 @@ 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.
 
---
+---
 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
+praktisch onmogelijke met type inteference
+
+
+---
+Functies kunnen voor correct typechecken alleen functies gebruiken die DAARNA 
+gedefinieerd zijn
\ No newline at end of file