Also known as typing discipline
set of rules that assign a property called type to various constructs a computer program consists of, such as variables, expressions, functions or modules
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).