Julien Truffaut

Without common method, I don't think we can get code completion from IDE. At least, I don't see another way.

@smarter here is a more detailed explanation of type inference issues with polymorphic optics. You may have some ideas how we could make it work in dotty/scala 3

@nigredo-tori you are right, this could also be an option. Actually, after playing with Dotty type inference, I believe we can make the full blown polymorphic optics work quite nicely...

It is likely we will have some issues with cats typeclasses beeing invariants like `Functor` or `Applicative`. We need to use `@uncheckedVariance` annotations.

Thanks for your question. Unfortunately, this is the intended behaviour. I will try to provide a good answer in the next few days but in the meantime, you may find...

I am reopening this issue. It is a frequently asked question, and we need to provide better documentation. Optics have various capabilities: Read-Only (Getter, Fold), Write-Only (Setter), Read-Write (everything else)....

Thanks for your feedback @tonylotts. We plan to tackle your two points. In particular, we recently added two extension methods to all optics: `some` and `withDefault(defaultValue)`, so that you can...

good idea

Great idea, we should document whatever we decide for argument naming convient in a contributor.md My vote go for: `source`, `target` if there is no ambiguity. Otherwise, `sourceIn`, `sourceOut`, `targetIn`,...

Yeah I completely agree. I think what is important is to define a pattern, e.g. select a few features/optics/methods and write the sort of documentation we expect to get for...