Ensure function return type annotations match runtime behavior to avoid false-positive type errors and correctly reflect raised exceptions versus optional returns.
Inside SPy, part 1: Motivations and Goals - Antonio Cuni's blog
SPy is a statically typed Python variant combining an interpreter and compiler focused on performance, deliberately sacrificing full Python compatibility for optimization.