search

cmk / profunctor-optics

11 stars 0 forks source link

Why not contribute to optics? #10

Closed arybczak closed 4 years ago

arybczak commented 4 years ago

Hey,

I'm not sure if you're aware, but there already exists an implementation of profunctor optics matching lens in power - https://github.com/well-typed/optics (and having advantages such as using newtype instead of bare profunctor transformations for better error messages or having support for overloaded labels). You can see https://www.well-typed.com/blog/2019/09/announcing-the-optics-library/ for general overview.

Unless you're developing this package to further your own understanding of things, I think it would be beneficial to avoid duplication of effort and join forces (unless your package somewhat deviates from what aims of the optics library are, I haven't looked very closely).

cmk commented 4 years ago

Thanks, yeah thats a great question. I'm aware of the library and sympathetic to the benefits of pooling effort and not fragmenting ecosystems. I asked you a similar question about profunctors when the announcement came out.

That said, the goals and approach of this project are quite different from those of optics. For example this project aims to be interoperable, meaning one should only need the classes in profunctors to make optics, and no special functions to compose them.