From 7172bb2d04590a4e2609ca0047cb45d7a2613c7d Mon Sep 17 00:00:00 2001 From: pimjager Date: Wed, 13 Apr 2016 21:49:06 +0200 Subject: [PATCH] Ontwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn --- ontwerpbesluiten.txt | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) 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 -- 2.20.1