Explore a living ecosystem of language designs, type systems, and computational models. Build the future of type-safe programming.
Learn the fundamentals of working with Dialectss, including installation, configuration, and creating your first type system.
🔗 Start HereMaster advanced language features like metaprogramming, polymorphic types, and compiler customization in Dialectss.
🔗 Dive InExplore the full compiler API, type system interface, and language-specific libraries in detail.
🔗 ReferenceBegin exploring the Dialectss ecosystem.
< span class="text-blue-600">$ npm install -g @dialectss/cli
< span class="text-blue-600">$ dialect init my-dialect
The dialect CLI will scaffold a new dialect project with type-safe scaffolding.
{
"types": {
"Integer": { "kind": "scalar", "size": 64 },
"List": {
"kind": "composite",
"generic": "T",
"elements": "Array"
}
},
"dialect": "core@1.2.3"
}
This defines a basic type system with an integer and generic list type.
< span class="text-blue-600">$ dialect compile --typecheck
The compiler will perform full type inference and optimization passes.
Create dynamic type systems that evolve at runtime based on program structure and external constraints.
🔗 Learn MoreDive into the architecture of the Dialectss compiler and learn how to customize the type inference algorithm.
🔗 Learn MoreProve the correctness of your type systems with Dialectss' integrated verification framework.
🔗 Learn MoreThe Dialectss documentation is always evolving. If you notice something missing or need clarification, help improve it!