X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ontwerpbesluiten.txt;h=b65b74a7717bd9726b5c973cf01229a204cfe231;hb=b8aaa94f98ffb9bb18d6b1f2ba91ee81f0fdc0b9;hp=225ac7425045575bf3ba451f2a153813a751a42a;hpb=72fb877d00efbba5cc4540ee2e76fbb01c6f572d;p=cc1516.git

diff --git a/ontwerpbesluiten.txt b/ontwerpbesluiten.txt
index 225ac74..b65b74a 100644
--- a/ontwerpbesluiten.txt
+++ b/ontwerpbesluiten.txt
@@ -15,4 +15,13 @@ praktisch onmogelijke met type inteference
 
 ---
 Functies kunnen voor correct typechecken alleen functies gebruiken die DAARNA 
-gedefinieerd zijn
\ No newline at end of file
+gedefinieerd zijn
+
+— 
+
+Globaal gedefinieerde dingen worden als constanten beschouwd. Enkel in functies gedefinieerde vars zijn mutable. Twee redenen: 1 we behouden onze programmeurs voor het gebruik van globale state, want dat is de wortel van het kwaad. Daarnaast past het goed bij dat _alles_ op top level een functie is. Als je zegt i = next x; en x wijzigt tussendoor en je checkt dan weer i dan wordt i opnieuw geevalueerd en dat levert dan dus een andere waarde op, en dat wil je niet.
+
+
+— mbt code generation
+—- 
+Bij callen is de callee verantwoordelijk voor het opslaan van de registers, indien nodig. Dit omdat _alles_ als function wordt gecalled, dus ook: i=4; b=i+1; levert een functiecall naar i op in de toewijzing van b. 
\ No newline at end of file