Kestrel Programming Language

The Kestrel Programming Language is a multi-paradigm, statically and strongly typed, compiled programming language written in Rust.

Features

Ahead of time compilation - Kestrel is compiled ahead of time (AOT), instead of being interpreted or JIT compiled. AOT compilation allows Kestrel to catch entire classes of runtime errors, vastly improving the developer experience.
Statically typed - Kestrel resolves types at compile time, resulting in immediate warnings and feedback.
Performance - AOT compilation means that Kestrel programs are compiled directly to machine code, allowing programs to be executed on any target platform natively, with blazing fast performance.
Helpful compiler - Descriptive and detailed error messages improve the debugging experience.
Memory safe - Data ownership and references enforce what are good practices in other languages and eliminate an entire class of errors.
Algebraic type system - Algebraic types allow less code to represent powerful constructs.

See more details.

Kestrel is written in Rust, and is currently system-independent.

See an example here.

kestrel [--version | --help] [--err <error> | --warn <warning>] [<program>]