Mastodon Feed
Compilers for typed programming languages should have an option to insert a panic wherever there's a type error, instead of rejecting the program.
Then those who don't like types can run their ill-typed programs, and find errors at runtime instead, and everyone is happy.