Pure is a small, statically typed functional language focused on purity and referential transparency. Programs are built from immutable values and pure functions, with side effects controlled through explicit effect constructs and a clear separation between pure code and effectful operations. The language emphasizes strong type safety, type inference, and algebraic data types with pattern matching, enabling concise and readable definitions. A modular system supports code organization and reuse, while the compiler performs optimizations based on purity guarantees and enables predictable reasoning about program behavior. Tooling typically includes a lightweight compiler, package management, and testing support, making Pure suitable for teaching, research, and experimentation in functional programming concepts.

Playbooks

Pure

Statically typed functional language focused on pure functions and types.

‌

‌

‌

‌

Recent Views

Recent Views

‌

‌

‌