The Goose Programming Language

The Goose programming language is a memory-safe systems language without a heap allocator, garbage collector, or lifetime annotations. In its benchmarks, Goose outperforms C++ and Rust while utilizing less memory. The language employs a unique data stack architecture, which eliminates the need for heap allocation and provides faster execution times.

Goose's syntax is familiar to C and Rust programmers, and it offers several advantages over traditional languages, such as stable references, self-relative links, and algebraic data types. The language's compiler infers roots and specializes functions for them, eliminating the need for annotations. Goose's type and lifetime rules ensure memory safety, and the language includes a benchmark section that showcases its performance gains compared to other systems languages.