Erlang Meets Idris: Cure Programming Language

Published: November 6, 2025

Source: Hacker News

Categories: Development

Tags: beam cure language more programming verification

Cure Programming Language

v0.2.0 – November 2025

Dependent Types. SMT Verification. Native FSMs. On the BEAM.

A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees to the battle-tested BEAM virtual machine. Build systems where verification matters more than convenience. Now with 12 fully compiled standard library modules and comprehensive documentation.

Get Started Read the Docs

Cure Programming Language

Related Articles