Discussions and debates on language typing (static, dynamic, etc); in particular its applicability to programming and programming languages.  See CategoryTypeTheory for pages concerning formal TypeTheory, though there is lots of overlap.

* BenefitsOfDynamicTyping
* BizarroStaticTypingDebate
* DefinitionsOfTypes
* DynamicTyping
* ManifestTyping
* SoftTyping
* StaticTyping
* StronglyTyped
* StronglyTypedWithoutLoopholes
* TypeInference
* TypesOfTyping
* TypingQuadrant
* WeaklyTyped
* ThereAreNoTypes

Click on this page's title to see a list of all pages in this category.



----
CategoryCategory, CategoryProgrammingLanguage, CategoryTypeTheory, CategoryTypingDebate