if you advocate types to working-stiff devs, please don't talk about elegance & abstractions. talk about fast, error-free feature changes.
Give me cheap concurrency and sound static types and I will write code in hieroglyphics. Syntax is way less important than programmers think
It's fascinating to see the gap between people who believe code should be proven right, and those who think it has to be proven buggy.
Interesting consequence of abandoning typeclasses. twitter.com/abevoelker/sta…