effectfully

There's now a plausible proposal on how to fix the problem discussed in this thread (tracked in our (private) Jira as PLT-810), so I'm reopening this issue.

BTW, your stats look too shaky, are you sure there's no crazy variance in there?

> Yeah, but we always return them in a lazy Just or similar. Also I checked by replacing etermToTerm with const Error () and it made no difference. I thought...

> /benchmark :astonished:

Whoooooops, really sorry about retriggering the benchmarks!

Maybe only trigger the benchmarks if that command is the only thing appearing in the comment?

WARNING: this comment is horribly outdated, all the stuff has moved to different places, I'll update the comment some time later. This comment outlines the general structure of the implementation...

A lot of from the above has to be changed to become more efficient/expressive/etc. We'll need both major refactoring and small tweaking. This comment is about major refactorings. - [x]...

Minor things, all fairly low priority: - [ ] play with compilation flags, in particular try setting -O2 in various places (setting it globally very unexpectedly makes things [worse](https://github.com/input-output-hk/plutus/pull/4265#issuecomment-986476741)). PR:...

The comment about major refactorings does not include two big things: 1. documenting builtins 2. collaborating with James to incorporate extensible builtins into the metatheory It's probably too early to...