Kapitel 5 von SICP erklärt das Schema Meta-Rundschreiben Evaluator Praktikanten einer Registermaschine.Verständnis von Mini-Kanrens Ausführungsmodell
Gibt es irgendetwas, das eine ähnliche Art von Mini-Kanren in Bezug auf Schema-Primitive bietet?
Ich weiß, dass es eine Thesis geschrieben auf Mini-Kanren gibt (aber ich kümmere mich nur darum, ein mentales Modell zu bauen; nicht alle Details der blutigen Optimierung). Ich weiß auch, dass es den vernünftigen Schreiber gibt - aber ich suche nicht nach einer Reihe von Beispielen - ich möchte Mini-kanren nur in seiner sehr, sehr grundlegenden Form verstehen, ähnlich wie man Schema durch verstehen kann Verständnis: Eval, gelten, wenn, gesetzt !, env
Vielen Dank!
[hier ist] (http://stackoverflow.com/a/10848902/849891) eine 18-Zeilen-Haskell-Implementierung von The Reasoned Schemer (ohne Vereinheitlichung und logische Variablen). –