A quotationt már tudod darabokból összerakni és lefuttatni. A quotation nem más, mint kódsorozat, ezért az ismert sorozatkezelő szavak is alkalmazhatók rá:
USING: kernel math prettyprint quotations sequences ;
{ [ 1 ] [ 2 + ] [ 3 * ] } concat >quotation call . ! => 9
[ 1 + ] dup append . ! => [ 1 + 1 + ]
Az append két quotationt fűz össze, a concat kilapítja a belőlük álló tömböt, a map adatokból készít quotationt, a >quotation pedig hívhatóvá teszi az eredményt. A MACRO: pontosan ezt a tudást veszi és viszi át fordítási időbe.
Mi az a makró
A MACRO: definíció úgy néz ki, mint egy közönséges szó, a törzse azonban aközben fut le, amikor a programodat fordítják, nem futás közben. A törzsnek egy quotationt kell a vermen hagynia. A fordító ezután befűzi azt a quotationt a hívás helyére: a makróhívást arra a kódra cseréli, amit a törzs előállított. Futásidőben már nem marad makró, csak a generált kód.
USING: kernel macros sequences ;
MACRO: twice ( quot -- spliced )
dup append ;
Bárhol leírod, hogy [ 1 + ] twice, a fordító a következőt teszi:
- lefuttatja a törzset úgy, hogy
[ 1 + ] van a vermen,
- a
dup append felépíti a [ 1 + 1 + ] quotationt,
- beilleszti a kódját,
1 + 1 +-t, arra a helyre.
Így egy olyan szó, amely a twice-t hívja, úgy fordul le, mintha kézzel írtad volna le, hogy 1 + 1 +:
: inc-twice ( x -- y ) [ 1 + ] twice ;
5 inc-twice . ! => 7
A kulcsfontosságú különbség: egy közönséges szó, amely quotationt kap, futásidőben call-olja azt. A makró soha nem hív meg semmit: új kódot ad a fordítónak, hogy az a helyére fordítsa.
A bemeneteknek literáloknak kell lenniük
Mivel a törzs fordítási időben fut le, a makró bemeneteit már akkor ismerni kell. A hívás helyén literáloknak kell lenniük: egy [ … ] quotation, egy szám, egy tömb, egy string. Egy olyan értéket, amely csak futásidőben létezik, nem lehet átadni egy makrónak.
! DOCTEST: SKIP — illustrative call sites, not standalone code
[ 1 + ] twice ! ok: the quotation is a literal
[ 1 + ] 3 repeat-quot ! ok: the quotation and the number are literals
Az eszköztár
A makró törzse közönséges kód, amely egy quotationt ad vissza. A munka nagy részét olyan szavak végzik el, amelyekkel már találkoztál:
| mit építs… |
mivel |
[ A B ] a [ A ]-ből és [ B ]-ből |
append |
| egy quotation a belőlük álló tömbből |
concat >quotation |
| egy quotation a sorozat minden eleméből |
map, majd concat >quotation
|
A készletet két további szó egészíti ki, a sequences és a kernel szókészletből.
A <repetition> (a sequences szókészletben) egy elem n példányából álló sorozatot készít. A veremhatása ( length elt -- repetition ): a darabszám jön először. Az eredmény virtuális sorozat, ezért a szokásos módon lapítsd ki:
3 [ 1 + ] <repetition> concat >quotation . ! => [ 1 + 1 + 1 + ]
A curry (a kernel szókészletben) egy értéket fűz a quotation elé, és olyan új quotationt készít, amely először azt az értéket teszi a veremre:
3 [ + ] curry . ! => [ 3 + ]
{ 1 2 3 } [ . ] curry . ! => [ { 1 2 3 } . ]
A curry az, amivel egy konkrét elemet beégetsz egy quotationbe: pontosan ez alakítja a { 10 20 30 } tömböt és a [ + ] quotationt [ 10 + ] [ 20 + ] [ 30 + ]-vá.
Miért egyszerűbb ez, mint amilyennek hangzik
Néhány nyelvben a makrókhoz különleges quote/unquote szintaxis és további gépezet kell a névütközések elkerüléséhez. A Factorban erre semmi sem kell: a quotation már feloldott szavak sorozata, mert a parser már akkor megkereste az egyes dup, + és append szavakat, amikor beolvasta a [ … ]-t. A makró törzse tehát nem más, mint a szokásos sorozatkezelés, amely épp egy quotationt ad vissza.
Közeli rokon: $[ … ]
Egy makró quotationt ad vissza, hogy befűződjön egy hívásba. Ha viszont egy egyszerű értéket szeretnél számítani elemzési időben, a $[ code ] lefuttatja a code-ot, amikor a fájlt olvassák, és az eredményt literálként beolvasztja a forrásba:
! DOCTEST: SKIP — compile-time value, shown for contrast
USING: calendar literals ;
CONSTANT: build-time $[ now ]
A $[ … ] a literals szókészletből származik, amely az elemzési idejű eredmények literálokba való beillesztéséhez tartozó szavakat gyűjti össze. A teljesség kedvéért említjük. A négy sablon, amelyet meg fogsz írni (twice, repeat-quot, compose-many és each-literal), mind MACRO: deklaráció.
Tanulófeladat
