It's a big topic. Not only static/dynamic, but also things like structural vs nominal typing. In this case, it comes down to whether the compiler tracks the "t

It's a big topic. Not only static/dynamic, but also things like structural vs nominal typing. In this case, it comes down to whether the compiler tracks the "type" of every value when compiling (static typing) or whether types are stored somewhere in memory that is read from when your program is actually running.