[Haskell-cafe] I'm afraid of OverloadedLabels.
anthony_clayden at clear.net.nz
Mon Jul 10 03:19:43 UTC 2017
> On Mon Jul 10 00:16:02 UTC 2017, Richard A. O'Keefe wrote:
> As a native speaker of an SVO language (English)
> in a country where one of the official languages is VSO
> I sometimes find the OVS structure of
> "mainstream OO languages" a little uncomfortable...
> "Backward ran sentences until reeled the mind."
lol. That's a cute comparison.
I don't think "mainstream OO" is OVS. In:
> ... button.colour <- red
Gloss: 'button's colour goes red'.
`button's colour` is the grammatical Subject. (Yes it
OOP 'Object.method', but that's because everything in OOP
is an 'Object'; and the only way to access is by methods.)
> ... button.reset
Again `button` is the grammatical Subject.
(It must be, because there's no grammatical Object.)
Then `reset` must be the verb, used intransitively.
(In French you'd use a reflexive:
`the button resets itself`.)
This dot-suffixing is already in Haskell:
'Data's ByteString's Lazy's Builder's Extras'.
To me it seemed natural to carry on
That is, a field is just a component
that might have (sub-)sub-component(s).
The field 'belongs to' the structure,
so dot represents English possessive.
And that's just how lenses look, deliberately.
(But that's a mystifying pun on use of the dot:
the dot changes from compound name separator
to function composition.)
But the outcry against TDNR's proposal for dot
really was voiciferous.
(And nobody paid so much attention to the semantics.
So the flaw in TDNR wasn't discovered for a long time.)
More information about the Haskell-Cafe