Daniel Sainati

Flow is removing the $Supertype and $Subtype utility types

11

Heads up: in an upcoming release we are going to start linting against the $Supertype and $Subtype utility types, and eventually remove them entirely.

Closes https://github.com/onflow/cadence/issues/1806 Implements the enforcement for the purity analysis implemented in https://github.com/onflow/cadence/pull/1818 Currently, impure operations (those operations banned in `pure` contexts), are: * Calling an impure function (including any functions...

Enforce purity in function conditions

2

Closes https://github.com/onflow/cadence/issues/1805 This changes Cadence to require that function preconditions and postconditions are `pure`; i.e. cannot have side effects. ______ - [ ] Targeted PR against `master` branch - [X]...

Purity analysis

4

Works towards https://github.com/onflow/cadence/issues/1806 ## Description This adds the beginnings of a purity analysis to determine whether functions are pure or impure (have side effects or not). In the current implementation,...

Add path fields to `AuthAccount` and `PublicAccount`

2

Implementation of part of https://github.com/onflow/cadence/issues/208 ## Description This adds new fields to `AuthAccount` and `PublicAccount`, containing the paths associated with that account in an array that can be interated upon....

Storage Iteration functions for accounts

2

Part of https://github.com/onflow/cadence/issues/208 ## Description This adds three new functions to the `AuthAccount` object `forEachPublic`, `forEachPrivate` and `forEachStored` (as well as just `forEachPublic` to `PublicAccount`) that iterate over all the...

### Issue To Be Solved Currently the Cadence typechecker type checks all function and composite declarations in order in serial. However, this is not necessary because typechecking information from inside...

### Issue To Be Solved Currently function pre- and post-conditions can call arbitrary functions, which may have arbitrary side effects. This allows users to write underhanded code that modifies state...

Syntax and checking for immutable values and functions

6

### Issue To Be Solved A number of issues and PRs currently would benefit from the ability to know whether or not a function is "pure" or has the potential...

[WIP] Memory measurement calibration

6

https://github.com/dapperlabs/cadence-private-issues/issues/33 This PR (not to be merged) should help us compute the weights for each of the abstract memory kinds. The methodology is as follows: We can consider the memory...