Georgi Krastev
Georgi Krastev
To be fair no, I only had practical use for monomorphic optics. But the polymorphic optics _are_ more general whereas it _feels_ that variance would indeed make them more useful...
This issue is quite annoying here: scala/bug#11789
You could also use a collection as `F[_]` to return variants of modifications. Or perhaps a generator for testing. `Zippable` looks better to me.
Same problem with shapeless-3
Will it actually fail the binary compatibility check? Why can't we refine the return type from `Option` to `Some`?
> I guess it's because `Some[T]`
> so time is starting to run a bit short if anyone wants to submit a binary incompatible change. Are you saying that's an option?
You could say the same about `Ior`
Yes there is an ascription in the emitted synthetic for the default: ```scala scala> reify { def foo(g: G = GInt)(implicit f: F[g.A]): Unit = () } res22: $r.intp.global.Expr[Unit] =...
It might be as simple as clearing the local state at the end of macro expansion.