Ich bin besonders an Lösungen für das Problem interessiert, dass die gekapselte Suche von der Reihenfolge der Bewertung abhängen kann.
Laut [1] hängt die gekapselte Suche in PAKCS von der Reihenfolge der Auswertung ab, während dies in MCC nicht der Fall ist. Die Verwendung erfordert jedoch Kenntnisse über die Compiler-Implementierung und folgt nicht der Curry-Sprachspezifikation. Dies wurde 2007 geschrieben, daher kann es jetzt natürlich veraltet sein.
KiCS2 gibt Ergebnisse der gekapselten Suche in der E / A-Monade zurück, aber ich verstehe nicht warum.
[1] Braßel und Huch, Über eine engere Integration von funktionaler und logischer Programmierung , Proc. APLAS 2007
Siehe http://www-ps.informatik.uni-kiel.de/kics2/lib/Findall.html : Es heißt, dass der
IO
basierte Ansatz veraltet ist und der bevorzugte Weg nicht CurrysSetFunctions
Modul ist. Dieses neue DesignIO
beseitigt -umhüllte Rückgabewerte und hat andere Mittel, um zu vermeiden, dass Indeterminismus und referenzielle Nichttransparenz in das reine FP-Land gelangen.quelle