John Carmack praised the Goose programming language for its automatic analysis of multiple data stacks and resizable fields, calling it a leap from partial utility to broad applicability. He highlighted relative references and built-in binary structure validation as features enabling direct memory mapping and immediate use of network data. Carmack noted that parsing file and network data is often 100x slower than necessary.
The language, developed by aardappel on GitHub, uses compile-time-safe, bump-allocated stacks with stable pointers, outperforming C++/Rust in many cases. It supports inline variable-sized data without pointers and allows native mmap or caching of linear data. Carmack mentioned that even complex compilers have been ported to Goose.
However, one commenter noted that Google has required stack-based memory allocation via smart pointers for C++ code for over 15 years, though they added it's not always ideal. Carmack acknowledged thinking of Goose while reading the tweet, finding it interesting.
Source: Hacker News · Summarized by HeadlinesBriefing