Comment by setopt

3 months ago

> A type is a contract, not a hint!

In Python it is a hint.