Stampa dei passaggi di Haskell per la valutazione (riscrittura) a scopo didattico/di apprendimento. È possibile?

Question

Descrivo questa domanda utilizzando un esempio tratto da un libro.

Nel libro di Simon Thompson "HASKELL il mestiere della programmazione funzionale" a pagina 82 (vedere le immagini di seguito) vengono visualizzati i passaggi di valutazione per fac 4.

DOMANDA:

E 'possibile utilizzare qualche strumento o di qualche "debugger Haskell" che scrivere le fasi di valutazione che utilizza GHCi quando sarebbe valutare il valore della fac 4?

Preferibilmente in un formato leggibile dall'uomo, per scopi didattici e di apprendimento.

Sarebbe anche utile avere una spiegazione automatica per ogni fase di valutazione, ad esempio quale equazione è stata utilizzata nella fase di riscrittura.

Il mio scopo principale è ottenere una comprensione più profonda di come vengono eseguite le fasi di riscrittura quando eseguo programmi di esempio Haskell educativi semplici (come fac).

C'è un modo per farlo? Se sì, come?

Answer 1

Sì e No. non hanno ancora visto uno strumento che fa questa valutazione line-by-line che è raffigurato nel libro di testo - soprattutto perché un programma Haskell non esegue la "riscrittura" delle espressioni

Tuttavia, esiste uno strumento che visualizza la strategia di valutazione effettiva di Haskell, passo dopo passo: ghc-vis. Invece di valutare il risultato e visualizzarlo sulla console come ghci, visualizza una rappresentazione grafica del risultato non valutato - e si può forzare la valutazione di esso thunk da thunk, fino ad arrivare ai valori e alle strutture primitive.

Come esempio di ciò che può fare, ecco la valutazione fino a quando il terzo membro della lista della sequenza di Fibonacci infinita:

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

_{Fonte: examples section of the project website. Dovresti dare un'occhiata a tutti loro!}

Answer 2

Questa è una caratteristica molto richiesta e molto utile — che, nel miglior modo che conosco, non è disponibile ovunque. :-(

Answer 3

C'è uno strumento chiamato Lambda bubble pop in cui è possibile fare clic sull'espressione per vedere come si riduce l'espressione. Si noti che lo strumento supporta solo Integer ed elenchi fin d'ora, ma tuttavia è un buon strumento educativo.

Snapshot dello strumento in azione: