Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
Having a benchmark suite would be nice. This should be fairly simple to do using criterion. We should probably expose some functions from the main module, so that we can load a file before running a benchmark and then only measure the time required for parsing, desugaring and evaluation.
Having a benchmark suite would be nice. This should be fairly simple to do using
criterion. We should probably expose some functions from the main module, so that we can load a file before running a benchmark and then only measure the time required for parsing, desugaring and evaluation.