Hay GenProg (http://hackage.haskell.org/package/genprog) por ejemplo, pero eso solo se ocupa de la optimización numérica, en este caso encontrar una ecuación que describa los datos.

Pero necesito bucles, si las declaraciones, cuando las declaraciones, verificaciones booleanas, etc. Necesito poder generar estructuras imperativas. ¿Alguna idea sobre esto? Mis mejores opciones hasta ahora parecen ser el esquema de cáscara donde puedo ejecutar el código de esquema como DSL en Haskell. Seguramente debe haber mejores formas?