From: pimjager Date: Wed, 13 Apr 2016 19:49:06 +0000 (+0200) Subject: Ontwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7172bb2d04590a4e2609ca0047cb45d7a2613c7d;p=cc1516.git Ontwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn --- 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