Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
With refactoring of TraceGraph complete it is now possible to graph expression trees. That is, visualization functions support that, but it is otherwise impossible because desugaring prevents this during type checking (arguments to visualization functions are required to be traces).
A useful use case for this would be visualization of a sliced program vs. original program.
With refactoring of
TraceGraph
complete it is now possible to graph expression trees. That is, visualization functions support that, but it is otherwise impossible because desugaring prevents this during type checking (arguments to visualization functions are required to be traces).A useful use case for this would be visualization of a sliced program vs. original program.