Ich brauche einen schnellen Weg (1000 Typprüfungen pro Sekunde), um den erzeugten Haskell-Quellcode zu schreiben.
Wir haben einen Hinweis ausprobiert, der schnell genug war, außer dass er nicht auf dynamisch geladenen Code zugreifen kann, wenn der Quellcode nicht verfügbar ist in manchen Fällen nicht. Vielleicht gibt es eine Möglichkeit, dynamisch geladenen Code als Paket oder etwas zu registrieren, da ein Hinweis auf registrierte Pakete zugreifen kann, wie es scheint?
Wir haben versucht, die ghc-API zu verwenden, aber es scheint, als müssten die Dateien auf der Festplatte gespeichert sein, und die gesamte benötigte Datei-IO macht es zu langsam.
Wir können haskell-src-exts verwenden, um den Code zu generieren, aber wir müssen ihn checken .
Tausende von Typprüfungen pro Sekunde scheinen nicht sequentiell durchführbar - Sie tun dies gleichzeitig, mit etwas Hoffnung auf Parallelismus, hoffe ich?
Und ich nehme an, Sie unterstützen das vollständige GHC-Typsystem? Also ein abgespecktes Typ Checker (z. B. THIH reicht nicht aus).
Tags und Links haskell code-generation