Hale

Hale is a general-purpose programming language that uses a single primitive called the locus to support Erlang-style supervision, memory management freed by structure without a garbage collector or borrow checker, and separation of application logic from deployment topology.

The language addresses the challenge of building robust concurrent and distributed systems by collapsing linguistic layers between a domain and the machine. Its compiler enforces design principles that are typically treated as conventions. The same source code can execute as a monolith, with pinned threads, or as a distributed system through changes to placement and binding declarations. Placement and transport function as deployment seams rather than properties of the logic. Without bindings, loci run as a single in-process binary. Binding a topic to a transport allows the identical source to run as separate processes.

Hale provides an install script, a playground, documentation, packages, and tooling. Example code demonstrates locus definitions with parameters, run methods, and main functions that instantiate them. Placement blocks specify pinned threads on specific cores or cooperative scheduling on compute or io pools. Bindings support unix domain sockets for inter-process communication in production while allowing a single binary for development.

The project maintains a GitHub repository and is presented as suitable for systems written by both humans and large language models.