Val, un lenguaje de programación de sistemas de alto nivel

• Val: un lenguaje de programación enfocado en la programación de sistemas de alto nivel.
• Está diseñado para ser rápido, seguro y simple.
• Val aprovecha la semántica de valores mutables y la programación genérica.
• Se compila por adelantado a código máquina para evitar asignaciones de memoria innecesarias.
• La base de Val en la semántica de valores mutables garantiza seguridad de memoria y seguridad de tipos.
• Los programadores pueden usar estructuras no seguras cuando sea necesario por rendimiento.
• Val toma mucho de Swift y enfatiza la semántica de valores.
• Val está en desarrollo activo y su código está disponible como código abierto en GitHub.
• Con su enfoque en la semántica de valores mutables para lograr código eficiente y de propósito general, Val ocupa una posición única.
• Combina las limitaciones físicas de la arquitectura de computadoras con las ventajas de la programación centrada en valores.
• Val ofrece un recorrido por el lenguaje e información detallada sobre sintaxis y semántica.
• Aún no está listo para usarse, pero se puede debatir a través del foro de la comunidad.
• Los ejemplos de código de Val muestran el uso de la semántica de valores mutables y la ausencia de asignaciones innecesarias.
• Los subíndices de Val otorgan temporalmente permisos para leer o escribir valores.
• Los tipos de Val son tipos por valor, no tipos por referencia.
• Val garantiza que una función no accede a los valores de sus parámetros hasta que esta retorna.
• Val no usa anotaciones de tiempo de vida como Rust.
• Val ofrece un modelo más simple sin referencias.

[GN⁺]

Comentarios de Hacker News

• Val: un lenguaje de programación de sistemas de alto nivel que apunta a ser el sucesor de C++
• Se compila estáticamente, tiene tipado estático y puede interoperar con C++
• Val elimina los punteros y las referencias, y en su lugar usa internamente pass-by-const-reference y return-value-optimization
• Aún no ha lanzado una versión alfa y tiene pocas estrellas y contribuidores en GitHub, pero algunas personas apoyan a Val
• Hay preocupación sobre la capacidad de Val para dar soporte al sistema operativo Windows
• La existencia de varios lenguajes de abstracción de costo cero como Rust, Zig y Val es algo que algunos programadores de sistemas aprecian y desean que prospere
• Val todavía está en desarrollo y no se considera un lenguaje completamente utilizable
• Val está recibiendo atención por su relación con Dave Abrahams (Dave Abrahams es una figura bien conocida en la comunidad de programación)
• Hay preguntas y debates sobre la implementación de Val, incluyendo el manejo de cadenas y la viabilidad de implementar estructuras de datos autorreferenciales
• Val parece superponerse en objetivos con Rust, Zig y Vale, pero no con Vala
• Puede que Val tenga una vía de escape similar a unsafe de Rust, pero todavía se debate si el subconjunto seguro de Val será suficiente para aplicaciones reales
• Entre otros lenguajes similares a Val están V, Vala y Vale