MeAmAnUsername / pie

Pipelines for Interactive Environments
Apache License 2.0
0 stars 0 forks source link

Declare co(ntra)variance at declaration site #255

Open MeAmAnUsername opened 2 years ago

MeAmAnUsername commented 2 years ago

[body not finished because pages keep crashing]

Currently use wildcards, which declare covariance and contravariance at the use site only. Kotlin and C# use in/out to declare it a bit more understandably, and also allow declaring it at the declarations site. See https://slde.slack.com/archives/C097ZUFLZ/p1644327339916719?thread_ts=1644323929.708969&cid=C097ZUFLZ

Possibly relevant issue: #191