Dawn

Dawn is a functional programming language emphasizing immutable data, algebraic data types, and effects declared in type signatures. The compiler is self-hosted and targets multiple backends: JVM bytecode, C (via cc), and NVIDIA GPUs through cuTile. A verification gate ensures identical behavior across backends rather than relying on promises.

The language is designed for developers seeking a compact implementation with zero external Java dependencies. Key features include exhaustive pattern matching, compile-time evaluation via comptime blocks, and a named effects system where operations are declared, handled, and tracked through function signatures. GPU kernels are written as ordinary Dawn functions under a named effect, with a fake device backend enabling testing without hardware.