Topics→Languages & Paradigms→Language Design→Type Systems Specific topicType SystemsStatic and dynamic type systems for expressing and verifying programs.Connected contentEverything about this topic.OrderNewest firstRelevanceConnection strengthA–ZAll0Talks0People0Events0Projects0Companies0Videos0Photos0Loading a fresh topic view…Keep exploringNearby topics.topicScala 3Scala 3 language features, migration, and ecosystem evolution.topicPythonThe Python language and its broad software and data ecosystem.topicShapelessGeneric and type-level programming for Scala with Shapeless.topicMetaprogrammingPrograms, macros, and tools that generate or transform programs.focusLanguage DesignType systems, compilers, metaprogramming, and programming-language evolution.