Elm
software · 6 menciones
Noticias que mencionan Elm
Lean: el lenguaje que verifica su propio código
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
Elm y la Z-Machine: una combinación inusual
Este artículo del blog de Whitebeard explora la creación de una máquina Z (Z-Machine) en Elm, un lenguaje de programación funcional puro. La Z-Machine, inventada por Infocom en los años 80, era una máquina virtual diseñada para permitir que sus aventuras de texto se ejecutaran en múltiples arquitect
Xilem: Nuevo Framework Rust Simplifica Apps Nativas
Desarrolladores han presentado Xilem, un nuevo framework de interfaz de usuario (UI) para Rust que busca simplificar el desarrollo de aplicaciones nativas. Xilem, junto con Masonry (una base para construir frameworks de UI), ofrecen una arquitectura de alto nivel inspirada en React, SwiftUI y Elm. X
Sky: Nuevo lenguaje fusiona Go y Elm
Un desarrollador ha creado Sky, un nuevo lenguaje de programación experimental que busca combinar lo mejor de Go y Elm. Sky apunta a simplificar el desarrollo full-stack al ofrecer un lenguaje único para el frontend y el backend, compilando a un binario Go portable. El lenguaje incorpora característ
Guía facilita creación de ejecutables para Gleam
Un desarrollador ha publicado una guía sobre cómo crear ejecutables para el lenguaje de programación funcional Gleam, el cual compila a Erlang y JavaScript. Gleam, aunque prometedor, carece de soporte nativo para la creación de ejecutables, lo que dificulta su distribución. La guía explora tres méto
Mini-lenguajes: programación en código reducido
Este artículo de Taylor Troesh explora el fascinante mundo de los "Lil' Fun Langs", o lenguajes de programación muy pequeños. La idea central es que es posible crear lenguajes de programación funcionales y con tipado estático con una cantidad sorprendentemente baja de código. El artículo no solo pre