|
|
|
|
|
|
by msla
3233 days ago
|
|
|
It seems like it's about as strong, in terms of what types it knows about, but it allows more error detection at "compile time" or, at least, the time at which you run the static type-checking code on the codebase. As Guido said, this is like a super-linter. https://www.python.org/dev/peps/pep-0484/ (I remember C linters trying to expand the C type system by doing things like complaining if you used non-boolean expressions in a boolean context, well before C had an actual bool type.) |
|
|