Comment by mfgs

It already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.