Uses of Case and Constr in Aiken #1056
MicroProofs
started this conversation in
Core language features
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Considering that there will be further improvements to the usage of Data in PlutusV3 and onwards. The approach is to only lightly use these terms for now.
First is to use case and constr where it most makes sense. Mutual recursion. This is a perfect use case with minimal changes to gen_uplc.
Second is in the case of 3 or more applies we can use (case (constr 0 [args]) function) to apply many arguments for 200 mem.
Beta Was this translation helpful? Give feedback.
All reactions