Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Brian Marick
@marick
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.
1
1
Brian Marick
@marick
(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
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
@edwinb@types.pl
@edwinbrady
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
4
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
@edwinb@types.pl
@edwinbrady
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
3
deech
@deech
I was under the impression that Idris had functional updates built-in. Isn't that a basic lens?
1
@edwinb@types.pl
@edwinbrady
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
4