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 aGetter
than can fail (e.g. read-onlyOptional
)?