Moonbit: un lenguaje WebAssembly rápido, conciso y fácil de usar

• Moonbit, un nuevo lenguaje diseñado especialmente para WebAssembly (Wasm), tiene como objetivo aprovechar al máximo su potencial en la computación en la nube y en el edge
• Los lenguajes Wasm tradicionales de bajo nivel como Rust y C/C++ son difíciles de aprender y tienen compilaciones lentas, mientras que un lenguaje de alto nivel como Golang genera código ineficiente y pesado
• Con el objetivo de ser un lenguaje rápido, conciso y fácil de usar, Moonbit busca ofrecer la velocidad y la simplicidad de Wasm eliminando las desventajas de las opciones existentes
• El lenguaje está liderado por Hongbo Zhang y su experimentado equipo, quienes cuentan con más de 10 años de experiencia especializada en diseño y desarrollo de lenguajes
• Influenciado por Golang y Rust, Moonbit integra la simplicidad del sistema de paquetes de Golang con la expresividad de Rust, e incluye pattern matching robusto, inferencia de tipos, genéricos y polimorfismo ad hoc como traits
• El sistema de tipos de Moonbit está diseñado para velocidad, paralelización y verificación incremental, lo que brinda un excelente soporte de IDE
• El lenguaje está diseñado a nivel de ingeniería para la optimización de programa completo sobre representaciones intermedias (IR) multinivel, mejorando la disposición de memoria y ofreciendo un mejor contexto para el análisis de flujo de datos y de control
• A diferencia de ReScript y Rust, Moonbit permite análisis semántico paralelo a nivel de función, lo que facilita manejar monorepos grandes, ofrecer tiempos de respuesta de milisegundos y mejorar significativamente la escalabilidad del IDE
• Moonbit está diseñado para una eliminación efectiva de código muerto, reduciendo el tamaño final del código, reforzando la seguridad y disminuyendo la superficie de ataque
• El lenguaje hace que programar sea más fácil con gestión automática de memoria, una característica que lo diferencia de Rust. A diferencia de Golang, evita elementos riesgosos como punteros o l-values
• Moonbit también funciona como una plataforma, ofreciendo herramienta de build de alta velocidad, gestor de paquetes, compilador, IDE y un Cloud IDE único sin contenedores con funciones offline
• Un ejemplo simple de Fibonacci muestra las ventajas de Moonbit, entre ellas excelente inferencia local de tipos, tamaño Wasm compacto, buen rendimiento y facilidad de uso
• Se espera que Moonbit alcance el estado beta hacia finales del Q2 de 2024, lo que indica una estabilidad relativa, pocos bugs y una sólida interfaz de funciones externas (FFI) para interactuar con hosts de Wasm
• El equipo de Moonbit da la bienvenida a la participación de la comunidad y al feedback temprano a través de su foro, Discord o cuenta de Twitter

[GN⁺]

Opiniones de Hacker News

• El líder del proyecto presentó Moonbit, un lenguaje WebAssembly rápido, conciso y fácil de usar, y compartió un enlace al IDE en línea para que los usuarios pudieran probarlo.
• La documentación del proyecto está disponible en GitHub, y el compilador se publicará cuando el proyecto alcance el estado beta. Se espera que esto ocurra a finales del Q2 de 2024.
• Algunos usuarios expresaron preocupación por la inconsistencia en el uso de las palabras clave func y fn para definir funciones.
• Se hicieron comparaciones entre Moonbit y otros lenguajes como AssemblyScript y Grain, y se cuestionó cuál sería la ventaja distintiva de Moonbit.
• Hay entusiasmo por Moonbit como un lenguaje moderno, con recolección de basura (GC) orientada a WebAssembly.
• Se plantearon preguntas sobre el GC de Moonbit, en particular relacionadas con el tamaño del binario resultante para Fibonacci.
• El equipo de Moonbit planea alcanzar el estado beta para finales del Q2 de 2024, y su plan estratégico incluye la integración de WebAssembly GC para WebAssembly 2.0 y un GC propio para WebAssembly 1.0.
• Algunos usuarios sugirieron agregar Grain a la comparación de lenguajes en el sitio de Moonbit.
• Surgieron preocupaciones porque el enlace del equipo del proyecto lleva a una página de una universidad china, lo que llevó a sugerir que podría tratarse de un proyecto universitario.
• Hay preguntas sobre si el proyecto está relacionado con Meta. Su fundador, Hongbo Zhang, anteriormente trabajó en un proyecto open source de lenguaje de programación en Meta.