Daniel Sainati

Results 55 comments of Daniel Sainati

This has been updated to reflect the changes in https://github.com/onflow/flow/pull/1056: functions with no annotation are now `impure` by default, the ability to explicitly annotate something as `impure` has been removed,...

> Is this already implementing the rules as lined out in the FLIP? Yes, this is just the machinery behind parsing and typechecking purity; so this part remains mostly the...

@SupunS @turbolent i just checked, heterogeneous function types always just produce `AnyStruct` for their least common supertype. If we change this in the future we'll need to account for purity,...

We still need programs that create: * LinkValue * CapabilityValue * VoidValue * StorageReferenceValue

One thing I have noticed is that the `string_test` program is only reporting 4 units of string memory. Is there some kind of optimization we have here that is only...

> What will happen to existing code that already have public fields in them? This is a great question, and probably the largest technical challenge in implementing something like this:...

I don't think we have reached consensus here, so I don't feel comfortable archiving it.

This FLIP seems to have a majority opinion against implementing it, but there are compelling arguments on both sides. @bluesign and @turbolent have outlined concerns about how removing public resource...