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
Setter
->Write
iffGetter
->Read
Prism
->Inspect
?also
Equivalence
instead ofEquivalent
? or why notConversion
?I'm thinking also in terms of how the naming might help to define meaningful variable names for actual code.
I find quite frustrating to come up with unique yet meaningful names for the final outcome of [composed] optics... I don't actually love the
-L
suffix rule...E.g.
Does it makes any sense?