Kai
Kai
Polymorphic function values exist now, however currently they can't be discovered from existing polymorphic implicits: ```scala trait MyMonad[F[_]] { def pure[A](a: A): F[A] def flatMap[A, B](fa: F[A])(f: A => F[B]):...
Current scion on hackage is ridiculously outdated. http://hackage.haskell.org/package/scion
Hi Phil, Correct me if I'm wrong, but the term 'coeffect' seems to have a different meaning than `comonad effects`: * http://tomasp.net/coeffects/ * https://github.com/scala/scala-dev/issues/139#issuecomment-346422762
Steps to reproduce: 1. Launch the game 2. Find a new location entrance (e.g. Cassardis gate) 3. Go back and forth between locations a few times, the game will eventually...
The bug was that in this code: ```bash if $newfile || [[ $update_wanted && $override_remote ]]; then ``` Command `if [[ $update_wanted ]]` will always succeed, even though `update_wanted` is...
Some interfaces unnecessarily leak their implementation details, e.g. in: ```scala trait MavenCentralClient { val client: MavenCentralClient.Service } object MavenCentralClient { trait Service { def allVersions(dep: Dep): ZIO[Http4sClient, Throwable, List[Dep]] }...
https://github.com/scalatest/scalatest/pull/2319/
Example (https://scastie.scala-lang.org/jpXxtlT1Rk6SERNsMqz3IQ): ```scala import io.circe.generic.auto._ import io.circe.syntax._ case class Odd(a: Option[Option[Int]]) val js = Odd(Some(None)).asJson js // { "a" : null }: io.circe.Json js.as[Odd] // Odd(None) ``` Decoding `Odd(Some(None)).asJson` results...
For `opaque type S = String` generate tag `S` instead of `S::` Breaks compatibility with previously generated tags for opaque types on Scala 3
From https://github.com/zio/zio/issues/8215 ```scala trait Container[T] { def getT(): T } trait Service[+O[_]