Hare
Imperative, procedural. First appeared 2022; systems and ownership; operating systems, system tools, compilers.
Record¶
| First appeared | 2022 |
|---|---|
| Family | Systems and ownership |
| Paradigm emphasis | Imperative, procedural |
| Typing | Static, strong |
| Memory | Manual, no runtime collector |
| Execution | AOT compiled (QBE) |
| Primary domain | Operating systems, system tools, compilers |
| Designers | Drew DeVault |
| Reference | https://harelang.org/specification.pdf |
| Last verified | not yet checked against its source by a human |
Dates are first public release or publication, not the start of internal development. Colour on the typing and memory tags encodes kind, never rank.
Influence¶
Within the Systems and ownership¶
Predictable performance without a tracing collector, achieved through ownership, borrowing, or reference counting checked at compile time.
| Language | First appeared | Typing | Memory | Execution |
|---|---|---|---|---|
| Ada | 1980 | Static, strong | Manual, pooled | AOT compiled |
| Rust | 2010 | Static, strong, inferred | Ownership and borrowing | AOT compiled (LLVM) |
| Swift | 2014 | Static, strong, inferred | Automatic Reference Counting | AOT compiled (LLVM) |
| Zig | 2016 | Static, strong | Manual, explicit allocators | AOT compiled (LLVM) |
| Mojo | 2023 | Static, strong; dynamic Python interop | Ownership and borrowing | AOT compiled (MLIR/LLVM) |
5 other languages in this family, ordered by first appearance. Hare itself is omitted. Source: languages.json.