Anton Trunov

I would also love to have this feature to install a standard library of a language under development along with its interpreter.

I think we could add something like `#[write-only]` annotation for storage variables like that, so that the user can convey the mode of use explicitly. What do you think?

In my experience with contract audits, having read-only or write-only storage vars sometimes might indicate a bug, so it's worth it to emit warnings in these cases, unless the user...

One more issue that would benefit from this: #3532. The CEI pattern analysis would highlight just two lines: the one with the external call and the one with storage modification...

@mohammadfawaz It seems #3453 deserves at least `P: high` tag (which I just added)?

Most sources seem to do so. E.g. when converting from a Church numeral to, say, integer one usually passes a `(+1)` function as the first argument and `0` as the...

Off the top of my head: [Wikipedia](https://en.wikipedia.org/wiki/Church_encoding#Calculation_with_Church_numerals) and "Types and Programming Languages" by B. Pierce assume eta-equivalence.

Cool! Will try the tool again in some time! Thanks!

@lemmy I also missed this message in my inbox, sorry. Yes, I'd still love to give a hand with this.

It seems that if we push the monomorphization phase after typechecking, we'll run into issues with a lot of Sway intrinsics, because those are often "polymorphic". We can forbid some...