Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
At the moment the only values that can be raised as exceptions are strings. What we should probably have is an extensible type of exceptions. Implementing this might require rewriting the internal handling of data types.
At the moment the only values that can be raised as exceptions are strings. What we should probably have is an extensible type of exceptions. Implementing this might require rewriting the internal handling of data types.