Switch from ? to * in docs and examples#109
Conversation
The plan for Dotty is to repurpose `?` for wildcards instead of `_`. In typelevel#91 `*` was added to kind-projecter as alternative placeshold syntax to `?`, and Dotty now also supports `*` as placeholder syntax for cross compilation via `-Ykind-projector`. This PR updates the documentation and examples to use `*` rather than `?` and adds a warning that the `?` syntax will be deprecated in future.
|
the old syntax now appears in so many places that the change probably merits a mention (and a link to some kind of justification / further reading) in the readme |
|
Copying what I wrote on #108 ...
|
| Since underscore is used for existential types in Scala (and it is | ||
| probably too late to change this syntax), we use `?` for the same | ||
| purpose. We also use `+?` and `-?` to handle covariant and | ||
| probably too late to change this syntax), we use `*` for the same |
There was a problem hiding this comment.
The parenthetical is now incorrect, and should probably be replaced by a link to http://dotty.epfl.ch/docs/reference/changed-features/wildcards.html
I think early could be okay if it were very short, perhaps an in-line parenthetical:
or a very short paragraph:
|
|
Ping, would be nice to see this merged. |
6 participants
The plan for Dotty is to repurpose
?for wildcards instead of_. In #91*was added to kind-projecter as alternative placeshold syntax to?, and Dotty now also supports*as placeholder syntax for cross compilation via-Ykind-projector.This PR updates the documentation and examples to use
*rather than?and adds a warning that the?syntax will be deprecated in future.