Cure

és un llenguatge de programació amb tipus depenents dissenyat especialment per a la BEAM (la màquina virtual d'Erlang). Combina tipus indexats, verificacions de nucli basades en proves, màquines d'estats finits (FSM) de primer nivell i concurrència d'actors OTP en una mateixa cadena de compilació.

Cure compila directament a codi de bytes de la BEAM, permetent expressar invariants del domini a les signatures de funcions i integrar-se de manera transparent amb aplicacions en Erlang i Elixir. Inclou suport de verificació SMT (mitjançant Z3), un servidor LSP complet, un REPL interactiu i entorn de proves integrat.