News for hackers. Stuff that matters.
Re:Ask HN: Who regrets choosing Elixir? by ed25519FUUU on Saturday May 23, 2020 @01:39PM (#23284831)
Type checks don’t actually enforce anything though, and as far as I can tell don’t even produce a warning in vscode unless everything is typed (a typed var fed into a typed function signature).
Re:Ask HN: Who regrets choosing Elixir? by takeda on Saturday May 23, 2020 @02:14PM (#23285059)
Correct, the annotations in python don't enforce anything, although there are packages that make them produce errors, but again, those errors are at runtime.

You can run mypy which will list problems. Also PyCharm understands the annotations and does all the things I mentioned it do: proper autocomplete, proper refactoring functionality and highlighting errors