Proposal for new optics names

friendlyOptics.MD

Frieldly optics name proposals

Here are some proposal for optics names. The goal is to give a better intuition to beginners, especially people with no FP experience.

• Setter -> Replace, Modify, Write
• Fold -> Aggregate
• NonEmptyFold -> Reduce
• Getter -> Read
• ReadOnlyOptional -> ???
• Traversal -> ???
• NonEmptyTraversal -> ???
• Optional -> Find
• Prism -> Subset, Select, Branch
• Lens -> Field, Focus
• Iso -> Equivalent, Equivalence, Conversion

Insipration from tofu-optics

Should the optics be names or verbs? I guess we should be consistent (Reduce vs Reducer)

Personally I'd go for verbs, which to me sounds simpler and more natural for the majority of cases.
Yet I can see that, as alwasys, it depends on the term used... if you choose Focus... is that a noun or a verb? View? Update?
Project might cause misunderstanding wrt Projection...

🤷‍♂️