You may very be right (lord knows you have been in the past, about so much!), but this time I want to double-down on variance and see how far it can be pushed with Scala 3. If we encounter bugs in the compiler, we'll fix them!
@jdegoes
FYI, I was linked this.
https://github.com/zio/zio-prelude/blob/master/src/main/scala/zio/prelude/IdentityCompose.scala#L3 …
These variance annotations make it unusable. There are plenty of other examples.
-
-
-
There are plenty of candidates for that trait (and others) that do not meet that variance criteria. See Scalaz (Ed's experiment) for pushing variance to its limits.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.