Daniel Urban
Daniel Urban
`LowPriority` and `cachedImplicit` seem to be incompatible: ```scala package foo import shapeless.{ cachedImplicit, Generic, LowPriority } trait Foo[A] object Foo { implicit def fooForOption[A]: Foo[Option[A]] = new Foo[Option[A]] {} implicit...
An infix operator with an explicit type argument causes the following error: ``` [error] .../GenericOperator.scala: Expected token SEMI but got Token(LBRACKET,[,83,[) ``` The code is this (the problem is at...
At Scala by the Bay I asked @sellout if recursion schemes could be used on data structures which are not only recursive, but actually contain cycles. If you ever figure...
_Opacity_ is a correctness property for STM algorithms. Here is a short description and pointers to more reading: https://nbronson.github.io/scala-stm/semantics.html#opacity. The really short version is that _opacity_ guarantees that a running...
There is a version `3.3.0-RC3` on GitHub, but I can't seem to find it on Maven Central: https://search.maven.org/artifact/dev.zio/zio-interop-cats_2.13.
The `dev.zio:zio-interop-cats_sjs1_3:3.2.9.0` artifact seem to be missing from maven central. For reference, sbt tries to download this: https://repo1.maven.org/maven2/dev/zio/zio-interop-cats_sjs1_3/3.2.9.0/zio-interop-cats_sjs1_3-3.2.9.0.pom. The setting I've used is `"dev.zio" %%% "zio-interop-cats" % "3.2.9.0"`. The JVM...
The implicits `catsKernelStdPartialOrderForVector` and `catsKernelStdHashForVector` ([here](https://github.com/typelevel/cats/blob/master/kernel/src/main/scala/cats/kernel/instances/VectorInstances.scala#L11)) are ambiguous if `A` has both `PartialOrder` and `Hash` instances, and we're looking for an `Eq[Vector[A]]`. (`List` seems to have the same problem.)
Wire formats should be stable between Scala versions (2.12, 2.13, later maybe Scala.js too). This should be enforced by automatized tests. The most likely problematic parts are the `Atomic` implementations.
We should support Scala.js where it makes sense (e.g., the model checker probably cannot, but it isn't need to anyway). - [x] Check dependencies - [x] shapeless - [x] Cats...