> not sure if these are checked at compile-time, run-time, or both
It looks like Koto only checks types at run-time. That means its type annotations are essentially shorthand for something like Python's `if not isinstance(...): raise TypeError`.
It looks like Koto only checks types at run-time. That means its type annotations are essentially shorthand for something like Python's `if not isinstance(...): raise TypeError`.
The hints aren't used for other purposes at compile time yet, but they could enable some warnings.