@timorl Hah, yeah I was anticipating hearing that. I got a little impatient half way through writing that post. I may end up amending it if I have the time/get embarrassed enough by it so if you noticed any errors I'd be happy to hear them
@njms I don't think there is anything wrong written there, it just doesn't really provide the explanation it promises. I think the points it actually makes, about monads being culturally coded as being more difficult than they are and the circumstances which lead to this, are quite important by themselves.
QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.
An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.