Here are the available 'details' on harelang. > Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type syste

Here are the available 'details' on harelang. > Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks. A code example: use io; export fn main() void = { const greetings = [ "Hello, world!", "¡Hola Mundo!", "Γειά σου Κόσμε!", "Привет, мир!", "こんにちは世界！", ]; for (let i = 0z; i < len(greetings); i += 1) { io::println(greetings[i]); }; }; And a list of Design principles Trust the programmer. Provide tools the programmer may use when they don't trust themselves. Prefer explicit behavior over implicit behavior. A good program must be both correct and simple. Without any elaboration on "Provide tools the programmer may use" assuming that these will relate to language concepts of constructs, there's no differentiating it from many of the well-established 'better C' languages. If there's anything we've learned it's that anything close to C in the area of "Trust the programmer" leads to broken software and we need to aim higher.