Beartype does not catch errors, it checks before they happen. Basically it's pure python ultra optimized code that calls "isinstance(a, b)" all the time everyw

Beartype does not catch errors, it checks before they happen. Basically it's pure python ultra optimized code that calls "isinstance(a, b)" all the time everywhere. If there is a mismatch it crashes. Note that you can also set it to warn instead of crash.