Hi there!
Here is what I did:
I used a function expecting an int as argument, with a str argument.
Here is what I expected to happen:
To get an error from make check-types.
Here is what actually happened:
Nothing.
Context:
Type-hinting is an inexpensive way of :
- Documenting the code
- Building the documentation
- Finding an correcting bugs —I've spotted quite some already
- Helping contributors/maintainers enforce contracts, with zero runtime impact to reusers
- Finally, they're a just part of the standard core of Python, like using a list or concatenating a string
TODO
Hi there!
Here is what I did:
I used a function expecting an
intas argument, with astrargument.Here is what I expected to happen:
To get an error from
make check-types.Here is what actually happened:
Nothing.
Context:
Type-hinting is an inexpensive way of :
TODO