sigmal-docs
Sigmal: Core design specifications
Top
>
Design docs
>
Core design
Part 01: Design Goals and Philosophy
Part 02: Core Type System and Universes
Part 03: Modules, Namespaces, and Module Semantics
Part 04: Surface Syntax and Core Syntax Constraints
Part 05: Abstractions: Functor, Applicative, Monad, and Effect Encoding
Part 06: Compilation Model, Runtime Assumptions, and Target Platforms
Part 07: Open Questions Appendix (Language-Level Consolidated)
Sigmal.org
-
the calculus we can build on