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

@ivanopagano good ideas. Regarding Write, it might give the wrong intuition that you can insert a value while you can only replace an existing one.

I like Read, do you have an idea for a Getter than can fail (e.g. read-only Optional)?

Look? @julien-truffaut?

Well, now that I think of it there's a while mini-vocabulary we can borrow form the db-world

• View
• Projection
• Update
• ...

Also there might be a place for If ? e.g. the R.O.Optional?

Prism -> Classify?
Fold -> Gather / Collect / Summarize?
Iso -> Exchange / Synonym?

Iso -> Equate?

Prism -> Identify?

How about:

Fold -> Aggregate
NonEmptyFold -> Reduce

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

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...

🤷‍♂️