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
Look
? @julien-truffaut?Well, now that I think of it there's a while mini-vocabulary we can borrow form the db-world
Also there might be a place for
If
? e.g. the R.O.Optional?