A veces un dato de estado necesita compartirse entre varios words sin tener que pasarlo por sus efectos de pila cada vez. Las variables dinámicas de Factor, declaradas con SYMBOL:, le dan a cada word acceso a un valor almacenado en un espacio de nombres.
SYMBOL: y SYMBOLS:
SYMBOL: name declara una variable. SYMBOLS: a b c ; declara varias a la vez:
USING: namespaces ;
SYMBOLS: counter total ;
Establecer y obtener
set-global y get-global (en namespaces) operan sobre el espacio de nombres global:
set-global ( value variable -- )
get-global ( variable -- value )
change-global ( variable quot: ( old -- new ) -- )
0 counter set-global
counter get-global . ! => 0
counter [ 10 + ] change-global
counter get-global . ! => 10
Para el estado a nivel de módulo, las variantes -global son las que necesitas.
Enlaces con ámbito con with-variable
Una variable dinámica también admite una segunda variante, con ámbito. set / get / change (sin el sufijo -global) leen y escriben el ámbito dinámico actual, y with-variable (en namespaces) crea un ámbito nuevo mientras dura una quotation:
with-variable ( value variable quot -- )
set ( value variable -- )
get ( variable -- value )
change ( variable quot: ( old -- new ) -- )
La variable queda enlazada a value mientras se ejecuta quot; cuando este termina, el enlace desaparece. Esto permite que quien llama desde afuera «inyecte» un valor que el código interno puede leer sin tener que pasarlo por cada firma de pila.
SYMBOL: greeting
"Hello" greeting [
greeting get . ! => "Hello"
"Howdy" greeting set
greeting get . ! => "Howdy"
greeting [ "!" append ] change
greeting get . ! => "Howdy!"
] with-variable
greeting get-global . ! => f (the scoped binding is gone)
Este ejercicio usa la variante global en todo momento, pero reconocer la familia paralela de set/get/change es útil cuando lees código de otras personas.
Vectores mutables
Como las variables dinámicas guardan una referencia, puedes mantener una colección mutable dentro de una de ellas y actualizarla en el mismo lugar:
SYMBOL: history
V{ } clone history set-global
"first event" history get-global push
"second event" history get-global push
history get-global .
! => V{ "first event" "second event" }
V{ … } es un vector literal. Siempre haz clone de un literal V{ } antes de guardarlo: los literales se comparten entre llamadas.
find: la primera coincidencia
find (en sequences) devuelve el primer elemento para el cual un predicado es verdadero, además de su índice:
find ( seq quot -- index elt/f )
Si nada coincide, ambos valores son f. Descartar el índice con nip y usar unless* es la combinación estándar de «valor por defecto si falta».
reject: descarta las coincidencias
reject (también en sequences) es lo opuesto de filter: devuelve los elementos que no cumplen el predicado.
Ejercicio de aprendizaje
