@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.
-
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!
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.
-
-
Right, but variance annotations in Scala have long been plagued by bugs that would never be fixed, and Ed's experiment in subcategories was incredible but way more than I am trying to achieve in this library. So *maybe* a different outcome. This is the experiment, anyway.
-
Here is one of hundreds of examples:https://gist.github.com/tonymorris/29fc67c928addbc33130193aaf0de9a1 …
End of conversation
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.