Los malabares con la pila van bien para palabras cortas. Cuando una palabra tiene varias
entradas y necesitas referirte a ellas por su nombre, Factor ofrece
locals: vinculaciones con nombre introducidas con :: (para definir palabras) o
[| | ] (para lambdas en línea).
Sustituye : por :: y los nombres de las entradas se convierten en variables locales
dentro del cuerpo:
USING: locals ;
:: hypotenuse ( a b -- c )
a a *
b b *
+ sqrt ;
Compáralo con la versión que reorganiza la pila:
! DOCTEST: SKIP (shown for comparison — would re-define hypotenuse)
: hypotenuse ( a b -- c )
[ sq ] bi@ + sqrt ;
Ambas son válidas: locals brilla cuando se hace referencia a una entrada más de una
vez o cuando el orden de las operaciones no coincide de forma natural con el orden de la
pila.
Vincular valores intermedios con :>
Dentro de un cuerpo :: (o de una lambda [| ... |] en línea), :> saca un
valor de la pila de datos y lo vincula a un local nuevo:
value :> name ! immutable binding
value :> name! ! mutable binding (name! is its setter)
La forma inmutable es la habitual: úsala para dar nombre a un
valor intermedio de modo que el cuerpo se lea de arriba abajo:
USING: locals math ;
:: average-3 ( x y z -- avg )
x y + z + :> sum
sum 3 / ;
La variante con ! declara el local como mutable; más adelante en el
cuerpo, value name! (sin dos puntos, sin :>) lo reasigna:
USING: kernel locals math math.order ;
:: clamped ( x lo hi -- y )
x :> v!
v lo < [ lo v! ] when
v hi > [ hi v! ] when
v ;
Los locals mutables brillan dentro de las palabras de iteración que conocerás en
ejercicios posteriores (por ejemplo, while).
[let: un scope desde cualquier lugar
:> solo funciona dentro de un scope léxico, que :: y
[| ... |] crean automáticamente. Para introducir locals desde una
palabra : simple o desde el listener, envuelve el código en [let ... ]:
[let code :> name code :> name ... body ]
Cada :> name vincula el valor de la cima de la pila de la expresión anterior;
las vinculaciones son visibles para el resto de la forma.
USING: locals math ;
[let 3 :> x 4 :> y x x * y y * + ] . ! => 25
[let es el puente entre las definiciones : al estilo de la pila y las
vinculaciones con nombre: resulta práctico cuando solo una parte de una palabra
se beneficia de los locals.
Lambdas: [| inputs | body ]
Dentro de una quotation, [| inputs | body ] introduce locals a los que
el cuerpo puede referirse por su nombre. Esto resulta especialmente útil con
palabras de orden superior como assoc-map, cuya quotation recibe key
y value:
USING: assocs locals ;
H{ { "a" 1 } { "b" 2 } }
[| key value | key value neg ] assoc-map .
! => H{ { "a" -1 } { "b" -2 } }
La misma forma funciona para map-index (en [sequences][sequences]),
cuya quotation recibe el elemento y su índice. Los nombres
dejan claro qué operando desempeña cada papel:
USING: locals sequences ;
! Divide each element by its 1-based position:
{ 10 80 270 } [| elt i | elt i 1 + / ] map-index .
! => { 10 40 90 }
El efecto de pila de la lambda lo determinan la lista de entradas y lo que
produce su cuerpo.
Cuándo usar locals
Recurre a los locals cuando:
- La misma entrada se utiliza en más de un lugar.
- El orden natural de las operaciones no coincide con el orden de la pila, y
el
dup/swap/rot necesario para arreglarlo es difícil de leer.
- Estás dentro de una lambda en línea que se pasa a una palabra de orden superior que
te entrega varios valores a la vez (como en
assoc-map).
Cuando el cuerpo es un flujo lineal y limpio, las definiciones : simples siguen
siendo más cortas y al menos igual de legibles.
assoc-map: una entrada cada vez
assoc-map (en assocs) aplica una quotation a cada
entrada de una colección asociativa:
assoc-map ( assoc quot: ( key value -- newkey newvalue ) -- newassoc )
Una lambda con locals es la forma más limpia de escribir la quotation.
Volvemos a cond
Cuando necesitas elegir según f o según un valor numérico, cond es
exactamente la forma adecuada: no hace falta case porque no hay un único
valor con el que comparar.
Ejercicio de aprendizaje
