Makes sense. I agree. Indeed, the second sentence of the book description echoes your point: "They're notoriously hard to learn, but I believe that's a historical accident." So the title is to draw people in who'd otherwise dismiss the book as yet another opaque lens tutorial.
-
-
(It's not a historical accident, really, not exactly. It is, I believe, a symptom of a systemic issue in static FP culture. But I've already fought - and lost - that battle.)
2 replies 0 retweets 0 likes -
Is this a good time to admit I've never felt I've understood lenses? I'm not sure I'm a proper static FP person (and I think I'm okay with that...)
2 replies 0 retweets 3 likes -
I think mirrored lenses get pretty crazy when you want to make them performant. But Edwin, if one as lamentably uneducated as me can teach 16 year olds how to write van Laarhoven lenses from scratch, you have some slim chance to grasp them.
1 reply 0 retweets 2 likes -
I certainly hope so, it'd be a really useful thing to know! (Also, that sounds really cool...) I put that really badly (sorry), but I think what I'm trying to work out is why people think FP concepts sound hard when they're not.
1 reply 0 retweets 4 likes -
Lamentably uneducated rubes like me have to learn how to use the lingo common. Learning to read PL papers was a huge bit of homework to start feeling comfortable in Haskell-land when I'd run across stuff like Recursion Schemes.
1 reply 0 retweets 1 like -
Ah. Yes, if PL papers are the only place to look, we're probably doing really badly at outreach. And documentation. (Thanks to
@marick among others for helping here! But we do need to try harder.)2 replies 0 retweets 3 likes -
Replying to @edwinbrady @KirinDave and
I was under the impression that Idris had functional updates built-in. Isn't that a basic lens?
1 reply 0 retweets 0 likes -
Replying to @deech @KirinDave and
Probably. But only by accident. And if it was on purpose, it would be better! (Records are next on the list for Blodwen once I've sorted interfaces, so I will catch up before then...)
1 reply 0 retweets 4 likes -
Replying to @edwinbrady @deech and
Will you be changing much from Idris' records, or will they be remaining largely the same?
1 reply 0 retweets 0 likes
I'm resisting making changes unless they turn out to be absolutely necessary. So that's a bit of a non-answer. I expect they'll be largely the same.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.