effectfully

Results 258 comments of effectfully

> `aiken uplc encode --to named-debruijn artifacts/foo.spend.uplc > foo.namedDeBruijn` Please attach the result of this command (as a file or under a spoiler). > `(delay (\i_i0 -> i_i1 100))) []`...

> Is there a way how to modify the parameter application to be data-encoded instead of the scott encoded one? No, we do not support `Data`-encoded data in any way,...

So this is the decoded program: program ``` (program 1.0.0 ((\i_0 -> (\i_1 -> (\i_2 -> (\i_3 -> (\i_4 -> (\i_5 -> (\i_6 -> (\i_7 i_8 i_9 i_10 i_11 ->...

> I mean, it's stupid and very slow, but I think we could support this as a datatype compilation mode now. Although I would mostly use it to show how...

@christianschmitz > But doing this does incur unnecessary execution budget. Do you happen to know how much the additional cost is?

@christianschmitz > I've seen about a 10% hit on cpu and mem budget for typical minting scripts. That's a lot of percent... You write: > if those APIs decide to...

> I'm surprised at the numbers, though, and I'd like to see some benchmarks. @christianschmitz would you be interested in providing us with such benchmarks? > Perversely, I almost appreciate...

Thank you very much @christianschmitz, this is extremely helpful. > The difference is: > cpu: 367239733 - 341066723 = 26173010 (7.5%) > mem: 1005266 - 937405 = 67861 (7.2%) @michaelpj...

@michaelpj have you by any chance spent some more time thinking about this issue? Maybe, you know, in the evening, when you sit with the family, but something deeply unsettling...