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
today i learned a neat trick: if a function name sounds like a sentence, you're probably missing a neat combinator.
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.