focus
Language Design
Type systems, compilers, metaprogramming, and programming-language evolution.
Connected content
Everything about this topic.
Loading a fresh topic view…
Keep exploring
Nearby 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.
- topicType SystemsStatic and dynamic type systems for expressing and verifying programs.
- topicMetaprogrammingPrograms, macros, and tools that generate or transform programs.
- focusBuild & Dependency ToolsBuild graphs, package management, reproducible builds, and dependency workflows.
- focusTesting & QualityAutomated testing, verification, code quality, and dependable delivery.
- focusDevelopment ProductivityEditors, notebooks, automation, local environments, and developer experience.