search

jstolarek / slicer

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
http://dl.acm.org/citation.cfm?id=3110258
GNU General Public License v3.0
6 stars 0 forks source link

Run slicing inside a monad #36

Closed jstolarek closed 7 years ago

jstolarek commented 7 years ago

In the slicing code there is a ton of boilerplate arising from explicit passing of store and rho. This can be made much shorter if we use a monad.

jstolarek commented 7 years ago

I took a stab at this today. I pushed the store into a state monad. I tried doing the same with environment but couldn't get it right so I just reverted. No time to investigate this now - will revisit after the deadline

jstolarek commented 7 years ago

Work on this started on branch js-T36. I just realized this will conflict badly with a fix to #51 (on branch js-T51), so I'll probably finish #51 first and then continue with this.