[Spivak]

And even good type checkers can't infer every symbol statically where Python/JS has no issue with it.