Cure :: Завтипы и формальная верификация для BEAM
TL;DR : Cure — это функциональный язык программирования для виртуальной машины BEAM (Erlang/Elixir/Glem/LFE), который привносит математические доказательства корректности кода прямо во время компиляции. Используя SMT-солверы ( Z3 / CVC5 ), Cure проверяет типы зависимые от значений, верифицирует конечные автоматы и гарантирует отсутствие целых классов ошибок ещё до запуска программы. Проект выходит из стадии «наколенная поделка» и переходит в разряд «MVP». Зачем я стал писать свой язык
📣 DC area Elixir, Erlang and Gleam friends
Our end-of-the-year DC Elixir Social is happening at BabyCat Brewery in Bethesda!
Whether you’re deep into BEAM or just curious, come nerd out with us.
📅 Wednesday, December 10th 6:30 PM to 8:00 PM
#elixir #erlang #gleam #beam #dmv
https://mobilizon.us/events/85288d27-b525-4dda-8365-07339d289607
Dec 10, 2025, 11:30:00 PM - GMT - BabyCat Brewery, 20814, Bethesda, United States - Join us at BabyCat Brewery in Bethesda for a relaxed evening of food, drinks, and great conversation about all things Elixir, Erlang, Gleam, Tele, and the wider BEAM world. The brewery is an easy walk…
Using Laravel Pennant for feature flags?
Beam brings your Pennant feature flags to your frontend. A simple TypeScript library with first-class React and Vue support.
Beam: Laravel Pennant, now in the browser.
Bart Blast
Erlang Ecosystem Foundation
Lon
Habr
@Om*
@Om
@Om*
Cam Cook
Kodsnack
Davey Shafik 🦁🐉🏳️🌈