X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=ontwerpbesluiten.txt;h=71e02c27a1df2ca6c1ff117941ced300cf126142;hb=978dc486bf8c83cf9cad0925e3128574639656e0;hp=b65b74a7717bd9726b5c973cf01229a204cfe231;hpb=13a108705dbabbc75711ce9b3b29fe508262919f;p=cc1516.git diff --git a/ontwerpbesluiten.txt b/ontwerpbesluiten.txt index b65b74a..71e02c2 100644 --- a/ontwerpbesluiten.txt +++ b/ontwerpbesluiten.txt @@ -24,4 +24,20 @@ Globaal gedefinieerde dingen worden als constanten beschouwd. Enkel in functies — 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 +Globals zijn bestaan niet, ondingen. Lokale variabelen komen gewoon op de stack +te staan in volgorde van declaratie. + +Int, Char, Bool worden gewoon normaal opgeslagen met hun waarde +Tuple wordt opgeslagen dmv twee pointers naar de heap +List wordt opgeslagen dmv een pointer, als die 0 is dan is het het einde. Als + het een plek op de heap is dan wijst die plek naar de waarde, de volgende + plek wijst dan naar de tail. +Incomplete functies sla je op dmv heap pointer, plek van de pointer is het + functieadres, plekken erna zijn de argumenten. Dit is poor-mans higher + order functions. Als we het pro willen doen is dat niet in de scope van het + project.(closure, lambda's nodig etc) + +Functies callen gebeurt door eerst de oude frame pointer op de stack te duwen, +dan omgekeert de argumenten van de functie. Bij afbraak herstel je gewoon de +stack pointer naar de waarde onder het laatste argument. +