Show HN: Halis – A secure, self-hosting, native-first programming language

Category: devtools

Tags: programming-language, effect-system, memory-safety, self-hosting, compiler

Score: 6.5/10 (Innovation: 7, Technical: 8, Documentation: 7, Utility: 4)

Halis is a self-hosting, native-first programming language focused on safety by construction: declared effects, checked arithmetic, no null or GC, compile-time data-race prevention, and taint tracking for untrusted input. It provides a full toolchain (compiler, LSP, DAP, package manager, formatter, linter) written in Halis itself, with a byte-for-byte reproducible bootstrap. The project is technically impressive but niche, targeting developers interested in effect systems and memory-safe systems languages.

Target audience: systems programmers, language designers, security-conscious backend developers

Repository: https://github.com/mhieuhonda/halis-lang/ · Python · MIT · 5 stars

View on Hacker News