type-theory Definition Dynamic Typing The compiler does not know about types and consistency checks happen at runtime.