There is absolutely no connection between the lenses in Bird's SQUIGGOL formalism and the modern notion of lenses as functional references.
Recursion schemes and functional references are unrelated concepts.
This is just an unfortunate coincidence in terminology. It is unfortunate in that it often means that when people see the names they try to go back "to the source" and wind up terribly confused!
If you want to find early papers on the topic of lenses, you'd be better served by going off to read the papers by Benjamin Pierce on Boomerang. In there he defines several notions of lenses. The ones that correspond to the form of functional references used in Haskell would be what he calls a "very well behaved lens". He then proceeds to generalize them in a different direction than the path I take in the lens
package. He focuses on using them to restore invariants, while "very well behaved" lenses just don't break the invariants in the first place.
The term "lens" in the functional reference sense refers to the fact that it looks at part of a whole. The term "lens" in a recursion scheme sense refers to the fact that [(
and )]
syntactically look kind of like concave lenses.
tl;dr They have nothing to do with one another.