Cure

— это язык программирования с зависимыми типами для виртуальной машины BEAM (Erlang VM). Он объединяет индексированные типы, доказательную верификацию ядерным чеккером, встроенные конечные автоматы (FSM) как примитивы первого класса и нативную OTP-конкурентность.

Cure компилируется напрямую в байт-код BEAM, позволяя выражать сложные инварианты предметной области в сигнатурах функций и работать совместно с существующим кодом на Erlang и Elixir. Язык оснащён интеграцией с SMT-солверами (Z3), полноценным LSP-сервером, интерактивным REPL и встроенным тестовым фреймворком.