Existe o GenProg (http://hackage.haskell.org/package/genprog), por exemplo, mas que lida apenas com otimização numérica, nesse caso, localizando uma equação que descreva os dados.

Mas eu preciso de loops, declarações if, when declarações, verificações booleanas etc. Eu preciso ser capaz de gerar estruturas imperativas. Alguma idéia sobre isso? Minhas melhores opções até agora parecem ser o esquema de casca, onde eu posso executar o código do esquema como uma DSL em Haskell. Certamente deve haver maneiras melhores?