Conversation

Haskell/Lens people, can somebody please help me with some mnemonics for the `Lens s t a b` type? The docs don't seem to give full names to these 4 random letters and my mind just doesn't work that way...

deech

@deech

Apr 7, 2019

wiki.haskell.org/LensBeginnersC

Brandon Bloom

@BrandonBloom

Apr 7, 2019

Section labeled "stab stab stabbity stab stab stab" contains following which isn't really a mnemonic: "focus on an inner value of type a... within an outer value of type s; and perhaps; provide (a) new inner value(s) of type b... to produce a new outer value of type t"

Brandon Bloom

@BrandonBloom

Apr 7, 2019

Do Haskell programmers just not think in terms of words? I just don't understand... Meanwhile: twitter.com/CodaFi_/status and

Quote Tweet

Joe Groff

@jckarter

· Apr 7, 2019

Replying to @BrandonBloom

The best I can come up with is that s/t are the "struct", so a/b are the "field" by elimination

deech

@deech

Apr 7, 2019

I feel that. Took a while to realize 'f', 'm', 't' stood for Functor, Monad (unless it's Monoid) and MonadTrans. The next language can/should do better. 🤷‍♂️

Replying to

and

What should I call these instead?

10:29 PM · Apr 7, 2019Twitter Web Client

Replying to

and

[Galaxy brain] A language ecosystem where you can toggle between long and short variable names.

Brendan Zabarauskas

@brendanzab

Apr 8, 2019

Maybe we just need a type level forth. No need for naming pesky parameters then!

Show replies

Replying to

and

I mean, the utterly no-thinking-involved, if verbose, option would be "functor", "monad", and "trans". (Lucky here that Haskell lexically distinguishes constructors from variables.) No-thinking-involved has its advantages. :)