Printing out Haskell's evaluation (rewriting) steps for educational/learning purposes. Is it possible?

Question

I describe this question by using an example from a book.

In Simon Thompson\'s book \"HASKELL the craft of functional programming\" on page 82 (see images below) are

Answer 1

Yes and No. I haven't seen a tool yet that does this line-by-line evaluation that is depicted in your textbook - mostly because a Haskell programm does no "rewriting" of expressions.

However, there is a tool that does visualize Haskell's actual evaluation strategy, step by step: ghc-vis. Instead of just evaluating the result and displaying it on the console like ghci does, it displays a graphical representation of the unevaluated result - and you can force the evaluation of it thunk by thunk, until you arrive at the primitive values and structures.

As an example of what it can do, here's the evaluation until the third list member of the infinite fibonacci sequence:

_{Source: examples section of the project website. You should have a look at all of them!}

Answer 2

There is a tool called Lambda bubble pop where you can click on the expression to see how the expression is getting reduced. Note that the tool only supports Integers and Lists as of now, but nevertheless is a good educational tool.

Snapshot of the tool in action:

Answer 3

This is a much-requested and highly useful feature — which, as best as I know, is not available anywhere. :-(