Deprecating old List-like Optional literals

(Gabriel Gonzalez) #1

I propose to remove the old Optional literal syntax soon (two major releases from now: standard version 8.0.0). I created the following Wiki page to aid people through the migration process, assuming nobody objects:

Once we cut standard version 7.0.0 I will open a pull request proposing to remove the old literal syntax from the language.

(Ari Becker) #2

Nice to hear.

A question - since there will no longer be ambiguity as to whether [] refers to a List or an Optional, does this pave the path to non-annotated empty lists?

(Gabriel Gonzalez) #3

@ari-becker: Empty lists would still require type annotations. The reason they require the annotation is because of the absence of language support for bidirectional type inference.