effectfully

@nau has done some great [analysis](https://x.com/atlanter/status/1846574231636656407): > I ran 40,000 scripts by validating transactions of epoch 508 using [@Scalus3](https://x.com/Scalus3). > >  > > Here are some takeaways: > >...

Apparently this has been implemented twice: #4241 and #5112. It was an improvement, but not a very significant one in either of the cases. It is however possible that the...

> will the `let` node allow for multiple variables? I'm not sure if that'll buy us much (or even anything at all) in terms of size or performance. Or can...

> the cost of nodes evaluation will be the same right? > > the number of lambdas is the same of the number of let You're asking an interesting question,...

@zliu41 doesn't seem like this is gonna happen?

We've talked to some of these people and they aren't interested.

> It would be nice to understand why they aren't interested in IR. 1. they don't want their toolchains to have any parts that they don't control. Aiken folks also...

- [ ] **Remove unrenaming from the PIR generators** QuviQ had a trouble using our PIR type checker with their PIR terms generator: they had to do introduce unrenaming of...

- [ ] **Optimize fresh name generation in the PIR generators** Currently generation of a single fresh name requires processing literally every single bit of the current context, which is...

- [ ] **Speed up shrinking** Shrinking is sometimes slow because a large number of shrinks are generated. See [this](https://github.com/input-output-hk/plutus/pull/4949#discussion_r1029985014) comment.