Also known as static type system, static typing system, static, statically typed, static type checking
type system paradigm where all type checking is done at compile time
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).