Ich muss einige Programme mit Haskell automatisch generieren. Was ist die beste Architektur dafür, die semantische Regeln mit dem Typsystem durchsetzt oder andere Haskell-Schlauheit? Andernfalls hätte ich einfach Listen von Anweisungen:
Typ Programm = [Aussage]
Daten Aussage =
Variable x |
IfAnweisung Bedingung [Aussage] |
...
Wenn Sie sagen, dass Sie Haskell generieren, schauen Sie sich Template Haskell an
Vielleicht möchtest du dir HStringTemplate ansehen. Es könnte hilfreich sein, wenn du bereits Erfahrung mit "StringTemplate" hast (das ursprünglich in Java implementiert wurde?).
CodeJaeger ist eine Gemeinschaft für Programmierer, die täglich Hilfe erhalten..
Wir haben viele Inhalte, und Sie können auch Ihre eigenen Fragen stellen oder die Fragen anderer Leute lösen.
4 Stimmen
Welche Art von semantischen Regeln möchten Sie durchsetzen? Es ist möglich, GADTs zu verwenden, um einige Regeln wie einfache Typüberprüfungen durchzusetzen, aber Sie müssen noch genauer erläutern, was Sie erreichen möchten, um eine spezifischere Antwort zu erhalten.
2 Stimmen
In welcher Sprache sollten die zu generierenden Programme geschrieben werden?
0 Stimmen
Welche semantischen Regeln versuchen Sie durchzusetzen?