Post

"Do you know what happens to python programmers who don't use type hinting?" Errors in production because polymorphism, dev lsp couldn't figure it out, assumed to be one type but apparently can sometimes be another, and a method call failed, and wrapping everthing in "if isinstance" is ugly and bad

You mean the first one, don't you? 😎 Types in Gleam or Haskell is more than just guarding variables to me. It becomes part of the program development when you can have recursive and parameterized types, doesn't it?

Absolutely! There's a time when dynamic typing can make things easier for sure (and I said as much in my reply), but in 90% of cases, it's going to be a boon.