Generando código Python con macros Hy

En Hy generalmente no es necesario generar código Python, ya que Hy es mucho mejor generando código Hy y es igual de ejecutable. Esto se hace todo el tiempo en las macros Hy.

En el caso inusual de que necesite generar Python real y no solo Hy, la mejor manera es con cadenas, de la misma manera que lo haría en Python. Hy compila en AST de Python, no en Python en sí. El desensamblador es realmente solo para fines de depuración. No siempre genera Python válido:

=> (setv +!@$ 42)
=> +!@$
42
=> (disassemble '(setv +!@$ 42) True)
'+!@$ = 42'
=> (exec (disassemble '(setv +!@$ 42) True))
Traceback (most recent call last):
  File "/home/gilch/repos/hy/hy/importer.py", line 193, in hy_eval
    return eval(ast_compile(expr, "<eval>", "eval"), namespace)
  File "<eval>", line 1, in <module>
  File "<string>", line 1
    +!@$ = 42
     ^
SyntaxError: invalid syntax
=> (exec "spam = 42; print(spam)")
42

El nombre de la variable +!@$es tan legal como spamen el AST, pero Python se execahoga porque no es un identificador válido de Python.

Si comprende y está de acuerdo con esta limitación, puede usarla disassemble, pero sin macros. Las funciones ordinarias en tiempo de ejecución pueden tomar y generar (como demostró) expresiones Hy. Las macros son realmente funciones como esta que se ejecutan en tiempo de compilación. No es inusual en Hy que una macro delegue parte de su trabajo a una función ordinaria que toma una expresión Hy como uno de sus argumentos y devuelve una expresión Hy.

La forma más sencilla de crear una expresión Hy como datos es citarla '. La sintaxis de comillas invertidas para interpolar valores también es válida incluso fuera del cuerpo de una macro. También puede usar esto en funciones normales de tiempo de ejecución. Pero entienda, debe insertar formas entre comillas en la interpolación si desea desensamblarla, porque eso es lo que una macro recibiría como argumentos: el código en sí , no sus valores evaluados. Es por eso que estás usando HySymboly amigos.

=> (setv class-name 'Foo)  ; N.B. 'Foo is quoted
=> (print (disassemble `(defclass ~class-name) True))
class Foo:
    pass

Puede preguntar al REPL qué tipos usa para los formularios cotizados.

=> (type 1)
<class 'int'>
=> (type '1)
<class 'hy.models.HyInteger'>
=> (type "foo!")
<class 'str'>
=> (type '"foo!")
<class 'hy.models.HyString'>
=> (type True)
<class 'bool'>
=> (type 'True)
<class 'hy.models.HySymbol'>

Como puede ver, Truees solo un símbolo internamente. Tenga en cuenta que pude generar un HySymbolsolo ', sin usar la HySymbolllamada. Si su archivo de metadatos se escribió en Hy y se hizo con formularios Hy entre comillas en primer lugar, no tendría que convertirlos. Pero no hay razón para que deba hacerse en el último minuto dentro del formulario de comillas invertidas. Eso podría hacerse de antemano mediante una función de ayuda si eso es lo que prefiere.

Seguimiento

¿Se puede llamar a una función que procesa sus parámetros y devuelve una forma Hy entre comillas desde una macro y cómo?

Mi punto original era que una macro es la herramienta incorrecta para lo que está tratando de hacer. Pero para aclarar, puede llamar a una macro en tiempo de ejecución, usando macroexpand, como ya demostró. Por supuesto, puede poner la macroexpandllamada dentro de otra función, pero macroexpanddebe tener una forma entre comillas como argumento.

Además, la misma pregunta sobre los diccionarios generados dinámicamente. La construcción que he usado se ve horrible.

La parte del diccionario podría simplificarse a algo más como

{~@(interleave (map HyString class-grouping) (repeat '1))}

Mientras que Python dictestá respaldado por una tabla hash, el HyDictmodelo de Hy es en realidad solo una lista. Esto se debe a que no representa la tabla hash en sí, sino el código que produce el dict. Es por eso que puede empalmarlo como una lista.

Sin embargo, si es posible, ¿podría agregar un ejemplo de cómo pasar correctamente cadenas generadas dinámicamente en la expresión final entre comillas? Por lo que tengo entendido, se puede hacer agregando una tarea más (que agregaría una cita), pero ¿hay una forma más elegante?

Los modelos de Hy se consideran parte de la API pública, simplemente no se usan mucho fuera de las macros. Está bien usarlos cuando sea necesario. Otros Lisps no hacen el mismo tipo de distinción entre los objetos del modelo de código y los datos que producen. Hy lo hace de esta manera para una mejor interoperabilidad de Python. Se podría argumentar que la ~sintaxis debería realizar esta conversión automáticamente para ciertos tipos de datos, pero en la actualidad no es así. [ Actualización : en la rama maestra actual, el compilador de Hy ajustará automáticamente los valores compatibles en un modelo de Hy cuando sea posible, por lo que normalmente ya no tendrá que hacerlo usted mismo].

HySymboles apropiado para generar símbolos dinámicamente a partir de cadenas, como está tratando de hacer. No es la única forma, pero es lo que quieres en este caso. La otra forma, gensymse usa más a menudo en macros, pero no pueden ser tan bonitas. Puede llamar gensymcon una cadena para darle un nombre más significativo con fines de depuración, pero aún tiene un sufijo numérico para que sea único. Por supuesto, podría asignar HySymbolun alias más corto o delegar esa parte a una función auxiliar.

También puede convertirlo de antemano, por ejemplo, el fragmento

(def class-name (.format "{}_{}" (. meta-base __name__) ...

En cambio podría ser

(def class-name (HySymbol (.format "{}_{}" (. meta-base __name__) ...

Entonces no tienes que hacerlo dos veces.

(setv class-cand [class-name])
(setv class-def [`(defclass ~class-name ...

Eso probablemente hace que la plantilla sea más fácil de leer.

Actualizar

Hy master ahora transforma los símbolos en identificadores de Python válidos en la compilación, por lo que la hy2pyherramienta y el desmontaje de astor deberían generar un código Python válido de manera más confiable, incluso si hay caracteres especiales en los símbolos.