Show HN: Axiom: The Functional Systems Langauge

Category: devtools

Tags: programming-language, functional, systems-programming, llvm, self-hosted

Score: 7.8/10 (Innovation: 8, Technical: 9, Documentation: 8, Utility: 6)

Axiom is a functional systems programming language with effect tracking, algebraic data types, and no runtime or garbage collector. It compiles directly to native code via LLVM, features a self-hosted compiler (136k lines), and provides precise error diagnostics. The project is notable for its compile-time effect checking and full self-hosting with a reproducible bootstrap.

Target audience: systems programmers, language enthusiasts, Rust developers, compiler engineers

Repository: https://axiomlang.software/ · LLVM · MIT · 16 stars

View on Hacker News