The semantics of scheme uses static type checking.