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

[Michal Moskal]

On Thu, Nov 27, 2003 at 04:46:23PM +0100, Kamil Skalski wrote:
> Thursday 27 of November 2003 16:06, Michal Moskal wrote:
> > 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
> 
> To przecież był jeden z pierwszych pomysłów. Zresztą już taki printf to jest 
> generacja kodu na podstawie stringa formatu.

Ale to jest generacja kodu w trakcie kompilacji.

> No a potem myślałem o wkompilowywaniu języków skryptowych, generacji typów na 
> podstawie XML, itd.

A do języków skryptowych by się przydała w czasie wykonania.

> > 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).
> 
> Nie wiem o co chodzi pod pojęciem sprawdzanie typu w makrze... Od dawna 
> ustabilizowany pomysł jest taki, żeby wygenerować kod i potem go spróbować 
> otypować.

No wiem, tak jest najprościej. Ale może można by go jakoś rozszerzyć,
tak by cześć własności sprawdzić wcześniej.

-- 
: 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