Ken Scambler
Ken Scambler
(Happy to pony up a PR if there's some sort of consensus on what to do.)
Descoping from 1.1; it's not urgent, and it is still uncertain how much work it might entail.
A copy method actually doesn't get generated for varargs case classes. Our options are: - Leave the (essentially accurate) error message as is - Produce a custom error message explaining...
It can wait until after 1.0.
Great point, this is a thing to think about. From what I've seen, there is significant risk that Dotty's take on macros makes our approach (using whitebox macros) unworkable.
This is interesting, and might mean that Goggles is viable beyond Scala 2 after all: https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md
Previous link is dead now, but: https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#specializing-inline-whitebox Whitebox is back! It looks like this would let us refine the string context macro return type, which is what makes the Goggles...
Thought here needs to be given to polymorphic optics usage; a PIso has 2 type parameters. Would there be a `pFrom[S,T]` alongside the `from[S]`? EDIT: `between[S,T]` seems a good name,...
What about a non-interpolated literal syntax like: `lens"[Blah].foo.bar"`. It's pretty obvious what it means, but can we turn `Blah` into a real type just from the String? Would it need...
Get/set modes generate minimal getter/setter structure respectively. It just generates `Getter(_.zeroArgMethod)`. They can get away with this because the use case is known; lens mode (or GenLens for that matter)...