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