IntersectMBO / IntersectMBO/plutus
Add let binding to UPLC?
Open
Low priority
ready
status: triaged
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
### Describe the feature you'd like
Currently, in Plutarch (and I assume same for PlutusTx), we're emulating let bindings `let x = y; z` as `(\x -> z) y`, but this has the cost of introducing then eliminating a lambda.
If we had a `Let` constructor or similar, it's possible that it would be faster to interpret common scripts, if they were made to use native let-bindings.
### Describe alternatives you've considered
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.