Ausdruck der Haskell-Bewertungsschritte für Lern-/Lernzwecke. Ist es möglich?

Ich beschreibe diese Frage anhand eines Beispiels aus einem Buch.Ausdruck der Haskell-Bewertungsschritte für Lern-/Lernzwecke. Ist es möglich?

In Simon Thompsons Buch "HASKELL das Handwerk der funktionalen Programmierung" auf Seite 82 (siehe Bilder unten) werden die Bewertungsschritte für fac 4 gezeigt.

FRAGE:

Ist es möglich, ein Tool oder eine „Haskell Debugger“ zu verwenden, die die Auswertungsschritte schreiben würde, die GHCi verwendet, wenn er den Wert von fac 4 bewerten würde?

Vorzugsweise in einem für Menschen lesbaren Format für Bildungs- und Lernzwecke.

Es wäre auch gut, eine automatische Erklärung für jeden Bewertungsschritt zu haben, z. B. welche Gleichung beim Umschreiben verwendet wurde.

Mein Hauptzweck ist es, ein tieferes Verständnis dafür zu bekommen, wie die Umschreibungsschritte ausgeführt werden, wenn ich einfache pädagogische Haskell-Beispielprogramme (wie fac) ausführe.

Gibt es eine Möglichkeit, dies zu tun? Wenn ja, wie?

enter image description here

Quelle

2014-10-06 jhegedus

[einfach-reflektieren] (https://hackage.haskell.org/package/simple-reflect) kann etwas davon tun. Aber obwohl es für einfache Dinge wie Listen und Karten nützlich ist, funktioniert es nicht für alles. – genisage

können Sie es in Prolog (verrückte Idee;) und [verfolgen Sie es] (http://i.imgur.com/AKCFefx.png) dort konvertieren ... (gezeigt wird der grafische Debugger von SWI-Prolog). Funktioniert für die einfachsten Dinge. Übrigens überspringt das Buch einige Schritte (die Werte werden nicht sofort erzwungen, sondern nur im Vergleich zu Null). Prolog - weil seine Regeln auch auf Klauseln basieren. –

Ja und Nein. ich habe kein Werkzeug noch das macht diese Zeile-für-Zeile Auswertung zu sehen, die in Ihrem Lehrbuch dargestellt - vor allem, weil Ein Haskell-Programm führt kein "Umschreiben" von Ausdrücken durch.

Es gibt jedoch ein Tool, das Schritt für Schritt die tatsächliche Bewertungsstrategie von Haskell visualisiert: ghc-vis. Anstatt nur das Ergebnis auszuwerten und es auf der Konsole anzuzeigen, wie ghci, zeigt es eine grafische Darstellung des nicht bewerteten Ergebnisses an - und Sie können die Auswertung thunk für thunk erzwingen, bis Sie zu den primitiven Werten und Strukturen gelangen.

Als Beispiel dafür, was es tun kann, ist hier die Auswertung bis zum dritten Mitglied der Liste der unendlichen Fibonacci-Sequenz:

0, 1 and 1 are evaluated, the rest of the list is a thunk referring back to parts of the list itself http://felsin9.de/nnis/ghc-vis/fib1.svg

_{Quelle: examples section of the project website. Sie sollten sich alle ansehen!}

Quelle

2014-10-08 15:38:12 Bergi

Kann es mit vollem Haskell umgehen? Zum Beispiel mit Typklassen und Monaden? Ich würde gerne die Visualisierung sehen, wie staatliche Monaden in Brian Beckmans Videovorträgen arbeiten. – jhegedus

Dies könnte sogar lehrreicher sein, als die Rewriting-Schritte zu sehen! – jhegedus

Genauer gesagt, Brian Beckmans Videovorlesungen sind hier: http://channel9.msdn.com/Shows/Going+Deep/Brian-Beckman-The-Zen-of-Expressing-State-The-State-Monad). – jhegedus

Dies ist ein viel verlangt und sehr nützliche Funktion —, die so gut wie ich weiß, nicht überall verfügbar ist. :-(

Quelle

2014-10-06 10:49:12 MathematicalOrchid

"Ist es möglich, dies zu tun?" "Nein." Wie beantwortet das die Frage nicht? – MathematicalOrchid

Natürlich ist es möglich, dies zu tun. Es gibt kein Werkzeug, von dem ich weiß, dass es zu meiner Zufriedenheit funktioniert, aber es gibt keinen Grund, warum du es nicht schreiben könntest. – genisage

Natürlich ist es möglich, 100 Jahre mit metastasierendem Krebs zu leben, man muss nur ein Heilmittel dafür finden. Es gibt keinen Grund, warum du es nicht finden kannst. – jhegedus

Es gibt ein Tool namens Lambda bubble pop wo Sie auf den Ausdruck klicken können um zu sehen, wie der Ausdruck reduziert wird Beachten Sie, dass das Tool ab sofort nur Ganzzahlen und Listen unterstützt, aber trotzdem ein gutes Lernwerkzeug ist.

Snapshot des Werkzeugs in Aktion:

enter image description here

Quelle

2014-10-06 10:51:38 Sibi

Sieht interessant aus. Unterstützt dies Typklassen? Monaden? Algebraische Datentypen? Scheint jedoch, Safari zum Absturz zu bringen. – jhegedus

Hmmm, es scheint, dass keines dieser fortgeschritteneren Konzepte noch implementiert ist. – jhegedus

Ausdruck der Haskell-Bewertungsschritte für Lern-/Lernzwecke. Ist es möglich?

Antwort

Verwandte Themen