Quiero hacer una metaprogramación en un lenguaje tipado estáticamente, donde se tipearán tanto mis programas como mis metaprogramas. Lo digo en un sentido fuerte: si mi generador de programas se compila, quiero que el sistema de tipos sea lo suficientemente fuerte como para que solo se puedan generar programas de tipo correcto.

Que yo sepa, solometaocaml puede hacer esto (No, ni las plantillas Template Haskell ni las plantillas C ++ se ajustan a la factura; consulteeste papel) Pregunta: ¿qué otros lenguajes / sistemas permiten esto?

EDITAR: Por lo que puedo decir, metaocaml está muerto. Olegtrató de resucitarlo, pero eso todavía está atascado en varias versiones detrás de OCaml. Si uno quiere ir con lenguajes experimentales (es decir, incluso más que metaocaml, parece queUr y muy posiblementeIdris ajustarse a la ley. ¿Alguna otra entrada nueva al campo?