Hilde - Programming language

Hilde is a programming language created in 2026 by Heiko Zimmermann.

#2060on PLDB

0Years Old

Download source code:

git clone https://github.com/heikozim/hilde

Hilde (High-Integrity, Linear, Deterministic, Explicit) is a systems programming language that compiles to C. It is a fork of Austral with linear types, contracts that are always checked, exhaustive pattern matching and Go-style tasks and channels. Its standard library includes Raft as a pure state machine with SQLite replication, and Sperli for message passing between hosts. It aims to make code written with AI assistants safer by turning their typical mistakes into compile errors.

Tags: programming language
Hilde is developed on GitHub
Early development of Hilde happened in https://github.com/heikozim/
Austral and Ada and Go influenced the design of Hilde
Hilde is written in OCaml, C

Example from the web:

module body Example.HelloWorld is
    function main(): ExitCode is
        printLn("Hello, world!");
        return ExitSuccess();
    end;
end module body.