I think programmers who doubt that type systems help are basically the tech equivalent of an anti-vaxxer.
Unpopular opinion: tipping sucks. Pay people a good wage, make it easy for customer and don't bring the huge social… twitter.com/i/web/status/8…
If you doubt the value of formal proof systems for code, see this tool that found a bug in Python and Java sorting: nzzl.me/1JICK31
Programming languages are infrastructure. Why don't more software engineers want better languages like they want other infrastructure?