3 ms·
> languages like Python that don't provide any static type safety https://docs.python.org/3/library/typing.html https://docs.python.org/3/library/typing.html
by masklinn 4y ago
> languages like Python that don't provide any static type safety
https://docs.python.org/3/library/typing.html https://docs.python.org/3/library/typing.html
https://github.com/python/mypy https://github.com/python/mypy
> let alone null safety
https://docs.python.org/3/library/typing.html#typing.Optional https://docs.python.org/3/library/typing.html#typing.Optiona...
- The_Colonel 4y agoFWIW my (1 year old) experience with mypy was very poor. Stuff breaking between releases, wrong resolution, bugs. It kinda felt like a 3rd party fun project, not an official high quality solution. The fact that the source can contain completely wrong declarations and Python will happily run it anyway felt really bad. It's kinda like JavaDoc rather than a classic type system.