[nem-pl] makra dynamiczne aka types as first class citizens

[Michal Moskal]

Może można by naszej maszynerii do makr użyć do dynamicznej generacji
kodu?  Znaczy również w trakcie wykonania.  Wtedy mielibyśmy to co
w lispie, tyle że sprawdzanie typów następuje jeden poziom wyżej. W
lispie w trakcie wykonania, a u nas w trakcie kompilacji. Nie można
sprawdzić typów w makrze, ponieważ mamy typ "Expr" a nie "Expr (bool)"
(tj. wyrażenie typu bool).

Z drugiej strony być może warto by zrobić Expr (int), Expr (Expr (int))
i podobne. Prawdopodobnie wymaga to traktowania typów jako obywateli
pierwszego rzędu (podobnie jak funkcji). Może warto o tym pomyśleć, bo
to chyba w miarę świeże. Albo jak zwykle pokazuje swoją ignorancję.
ToMaszu?

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h