effectfully

/benchmark lists

> So switching gears to multi-apply and multi-lambda and multi-apply and also adding arrays as a plc term right? Just to summarize this PR. Yes, so far this seems like...

@IntersectMBO/plutus-core please review this issue carefully and check whether there are any flaws in my reasoning or whether there's something missing. If I don't get any negative feedback, I'm going...

(this issue only tangentially concerns pattern matching builtins, [that](https://github.com/IntersectMBO/plutus/issues/5711) one is specifically about those, but I'll respond here) > It may complicate the specification and the metatheory, I'm sure it'll...

> Have you considered updating all `UnsafeFromData` instances to use `matchData`? That should lead to cheaper decoding of things, especially `ScriptContext`, and it would be interesting to see how much...

I've been thinking about this and one thing I didn't consider before is that in ```haskell inspectConstr (Constr 2 [d0, d1, d2]) [ \[v0, v1] -> body0 , \[v0, v1,...

- [x] `EvaluationError operational structural` is backwards, `structural` should come first as structural errors concern how the program is constructed, whiich obviously precedes evaluation, which is what operational errors are...

I believe this is a UX issue and not a bug, hence I'm changing the label.

- [ ] we should try specializing the CEK machine at the `restricting` `ExBudgetMode` as it's the one that is used in production and having that code specialized may impact...

See also [this](https://github.com/IntersectMBO/plutus/pull/5200#issuecomment-1463124134).