Cure
Lenguaje de programaci贸n con tipos dependientes para la BEAM con FSMs de primer nivel y concurrencia OTP.
es un lenguaje de programaci贸n con tipos dependientes dise帽ado para la BEAM (la m谩quina virtual de Erlang). Combina tipos indexados, verificaciones de n煤cleo basadas en pruebas, m谩quinas de estados finitos (FSM) de primer nivel y concurrencia de actores OTP en una 煤nica cadena de compilaci贸n.
Cure compila directamente a bytecode de la BEAM, permitiendo expresar invariantes del dominio directamente en las firmas de funciones e integrarse de forma transparente con aplicaciones existentes en Erlang y Elixir. Incluye soporte de comprobaci贸n SMT (v铆a Z3), un servidor LSP completo, un REPL interactivo y ejecuci贸n de pruebas integradas.