Add first draft of instrumented interpreter

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism

https://effekt-lang.org

MIT License

334 stars 24 forks source link

Open b-studios opened 4 days ago

b-studios commented 4 days ago

In this PR I develop a tracing interpreter for Core. This will allow us to:

check whether optimizations actually optimize things
measure different aspects of the evaluation as part of CI and make sure that changes do not invalidate optimizations
implement a debugger / visualizer in the long run