"Something happens when one tries to have rational conversations about downsides with people strongly advocating expansion of type-level programming capabilities (…) This happens all the time once extensive type-level programming facilities are available in a language–they immediately get misapplied in ways that makes code harder to understand, excludes beginners and fails to convince those from the outside."
"I don't want F# to be the kind of language where the most empowered person in the discord chat is the person who knows the most category theory or abstract algebra."
Add comment