Es gibt GenProg http: //hackage.haskell.org/package/genpro) zum Beispiel, aber das befasst sich nur mit numerischer Optimierung, in diesem Fall eine Gleichung zu finden, die die Daten beschreibt.

Aber ich benötige for-Schleifen, if-Anweisungen, when-Anweisungen, Boolesche Prüfungen usw. Ich muss in der Lage sein, imperative Strukturen zu generieren. Irgendwelche Gedanken dazu? Meine besten Möglichkeiten scheinen bisher das Hülsenschema zu sein, mit dem ich in Haskell Schema-Code als DSL ausführen kann. Sicher muss es bessere Wege geben?