Año y Creador: Su desarrollo comenzó alrededor de 2018-2019, y su creador es Louis Pilfold.
Características Principales:
Tipado Estático y Seguro (ML-style): Garantiza que muchos errores se detecten en tiempo de compilación. Se inspira en lenguajes de la familia ML (como OCaml y Elm).
Concurrencia de Erlang/BEAM: Se compila a la máquina virtual Erlang (BEAM), heredando su robusto modelo de concurrencia de alto rendimiento y tolerancia a fallos.
Inmutabilidad por Defecto: Los datos son inmutables por defecto, lo que ayuda a escribir código seguro y a evitar efectos secundarios inesperados, especialmente en sistemas concurrentes.