Austral: Un lenguaje de programación de sistemas centrado en la simplicidad y el rigor
2025-03-20
Austral es un nuevo lenguaje de programación de sistemas diseñado para la simplicidad y el rigor. Piénsalo como las características esenciales de Rust o un Ada modernizado y simplificado. Las características clave incluyen un sistema de tipos estáticos sólido, tipos lineales, seguridad basada en capacidades y una fuerte modularidad. Los tipos lineales garantizan la gestión correcta del ciclo de vida de los recursos, evitando fugas de memoria y otros errores, mientras que la seguridad basada en capacidades mitiga los ataques de la cadena de suministro. Austral evita características como los NULL, la recolección de basura y las excepciones para maximizar la seguridad y la previsibilidad.