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 ...
|
| @@ -104,17 +104,17 @@ The simplest syntax to use is the inline syntax. This syntax resembles | |||
| Scala's use of underscores to define anonymous functions like `_ + _`. | |||
|
|
|||
| 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. |
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.