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

[ToMasz Wierzbicki]

Michal Moskal wrote:
> 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?

No jest lambda calculus, w którym lambda wyrażenia i typy, to to samo,
ale on jest bardzo silny i baaaaaardzo nierozstrzygalny...

ToMasz Wierzbicki                          http://tomasz.ii.uni.wroc.pl/