> Goose has syntax familiar to C and Rust programmers, but there is no heap. Every dynamic value lives inline on data stacks managed by the compiler.

This is what Ada does, at least the GNAT implementation.