A scheme where a variable's type is fixed at compile time.
A scheme where a variable's type is fixed and checked at compile time, making it easier to catch errors before execution, at the tradeoff of more type annotations to write and less flexibility for handling data whose shape changes dynamically.
© 2026 ITBGM