Python library providing type-checked function calls at runtime
Let's start with a toy example:
So you add something like
But you may get into a situation in which there is no useful static type information,
because of values:
Imagine your application receives a …