CategoryLanguageTyping

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