Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |
teaching:cc4101:tareas:2016-1:tarea3 [2016/06/16 19:38] – [(3.5) MiniScheme con clases de predicados] fmosso | teaching:cc4101:tareas:2016-1:tarea3 [2016/06/16 21:43] (current) – [(1.0pt) Software adaptable al contexto] fmosso |
---|
cuando aplicamos ''g'', se activa el modo inseguro para la extensión dinámica de la evaluación de ''(f1 x)'' (es decir, hasta que ''(f1 x)'' retorne, se considera que estamos en un contexto inseguro). | cuando aplicamos ''g'', se activa el modo inseguro para la extensión dinámica de la evaluación de ''(f1 x)'' (es decir, hasta que ''(f1 x)'' retorne, se considera que estamos en un contexto inseguro). |
| |
La forma más conveniente de implementar esto es usando una variable dinámica, es decir, con alcance dinámico. Una variable dinámico en Racket se llama un ''parameter''. Usando un parameter, extienda el lenguaje con ''untrusted'' y ''untrusted-ctx?''. Notarán que no se requiere modificar mucho el interprete. | La forma más conveniente de implementar esto es usando una variable dinámica, es decir, con alcance dinámico. Una variable dinámica en Racket se llama un ''parameter''. Usando un parameter, extienda el lenguaje con ''untrusted'' y ''untrusted-ctx?''. Notarán que no se requiere modificar mucho el interprete. |
| |
Para aprender a usar variables dinámicas en Racket, refierase a la [[https://docs.racket-lang.org/guide/parameterize.html|documentación]]. | Para aprender a usar variables dinámicas en Racket, refierase a la [[https://docs.racket-lang.org/guide/parameterize.html|documentación]]. |