Hare

Imperative, procedural. First appeared 2022; systems and ownership; operating systems, system tools, compilers.

Record

First appeared2022
FamilySystems and ownership
Paradigm emphasisImperative, procedural
TypingStatic, strong
MemoryManual, no runtime collector
ExecutionAOT compiled (QBE)
Primary domainOperating systems, system tools, compilers
DesignersDrew DeVault
Referencehttps://harelang.org/specification.pdf
Last verifiednot 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.

Back to top

Influence

C1972Rust2010Zig2016No indexed descendantHare2022
Figure 1. Hare in the influence graph: recorded ancestors on the left, languages that record it as an influence on the right. Every node links to its own record. Edges name indexed languages only, so an empty side means no indexed relative, not none at all. Source: languages.json.

Back to top

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.

Back to top