Technically it is catching the type error at compile time (but compile time is Just Ahead Of Time). If you want something that feels more like type checking in

Technically it is catching the type error at compile time (but compile time is Just Ahead Of Time). If you want something that feels more like type checking in a statically compiled language, you should definitely check out https://github.com/aviatesk/JET.jl https://github.com/aviatesk/JET.jl