Elm (lenguaje de programación)

En Elm, todos los valores son inmutables , lo que significa que un valor no puede modificarse después de su creación. Elm utiliza estructuras de datos persistentes para implementar sus matrices, conjuntos y diccionarios en la biblioteca estándar. ^{[ 23 ]}

Elm es un lenguaje de tipado estático. Las anotaciones de tipo son opcionales (debido a la inferencia de tipos), pero se recomiendan encarecidamente. Las anotaciones se encuentran en la línea superior a la definición (a diferencia de los lenguajes de la familia C, donde los tipos y los nombres se intercalan). Elm utiliza dos puntos para indicar que un tipo es "tiene tipo".

Los tipos incluyen primitivos como enteros y cadenas, y estructuras de datos básicas como listas, tuplas y registros. Las funciones tienen tipos escritos con flechas, por ejemplo . Los tipos personalizados permiten al programador crear tipos personalizados para representar datos de una manera que se ajuste al dominio del problema. ^{[ 24 ]}round : Float -> Int

Los tipos pueden referirse a otros tipos, por ejemplo, a List Int. Los tipos siempre se escriben con mayúscula inicial; los nombres en minúscula son variables de tipo. Por ejemplo, a List aes una lista de valores de tipo desconocido. Es el tipo de la lista vacía y del argumento de List.length, que es independiente de los elementos de la lista. Hay algunos tipos especiales que los programadores crean para interactuar con el entorno de ejecución de Elm. Por ejemplo, Html Msgrepresenta un árbol DOM (virtual) cuyos manejadores de eventos producen mensajes de tipo Msg.

En lugar de permitir que cualquier valor sea implícitamente anulable (como en JavaScript undefinedo un puntero nulo ), la biblioteca estándar de Elm define un Maybe atipo. El código que produce o maneja un valor opcional lo hace explícitamente usando este tipo, y todo el demás código tiene la garantía de que existe un valor del tipo declarado.

Elm proporciona un número limitado de clases de tipos integradas : numberque incluye Inty Floatpara facilitar el uso de operadores numéricos como (+)o (*), comparableque incluye números, caracteres, cadenas, listas de cosas comparables y tuplas de cosas comparables para facilitar el uso de operadores de comparación, y appendableque incluye cadenas y listas para facilitar la concatenación con (++). Elm no proporciona un mecanismo para incluir tipos personalizados en estas clases de tipos o crear nuevas clases de tipos (ver Límites ).

Elm cuenta con un sistema de módulos que permite a los usuarios dividir su código en partes más pequeñas llamadas módulos. Los módulos pueden ocultar detalles de implementación, como funciones auxiliares, y agrupar código relacionado. Los módulos sirven como espacio de nombres para el código importado, como por ejemplo Bitwise.and. Las bibliotecas (o paquetes) de terceros constan de uno o más módulos y están disponibles en la Biblioteca Pública de Elm . Todas las bibliotecas están versionadas según semver , que es aplicado por el compilador y otras herramientas. Es decir, eliminar una función o cambiar su tipo solo se puede hacer en una versión principal.

Elm utiliza una abstracción llamada puertos para comunicarse con JavaScript . ^{[ 25 ]} Permite que los valores fluyan hacia dentro y hacia fuera de los programas Elm, lo que hace posible la comunicación entre Elm y JavaScript.

Elm tiene una biblioteca llamada elm/html que un programador puede usar para escribir HTML y CSS dentro de Elm. ^{[ 26 ]} Utiliza un enfoque de DOM virtual para hacer que las actualizaciones sean eficientes. ^{[ 27 ]}

Elm no admite oficialmente el desarrollo del lado del servidor. Czaplicki lo considera un objetivo primordial, pero el progreso público en este sentido ha sido lento. No obstante, existen varios proyectos independientes que intentan explorar Elm en el backend. ^{[ 28 ]}

La principal plataforma Elm de pila completa es Lamdera, una bifurcación de Elm de núcleo abierto. ^{[ 29 ] [ 30 ] [ 31 ]} Czaplicki también ha insinuado Elm Studio, una posible alternativa a Lamdera, pero aún no está disponible para el público. ^{[ 32 ]} Las demostraciones de Czaplicki aparentemente utilizan una versión futura de Elm que admite la generación de tablas Postgres con tipado seguro . ^{[ 33 ]} También se especula que las futuras versiones de Elm se compilarían a C y usarían Emscripten para generar WASM , pero esto no ha sido confirmado por Czaplicki. ^{[ 34 ]}

Para los frameworks full-stack, a diferencia de los productos BaaS , elm-pages es probablemente la opción de código abierto más popular. ^{[ 35 ]} No extiende el lenguaje Elm (aunque utiliza componentes de código abierto del compilador Lamdera mencionado anteriormente), sino que ejecuta el JavaScript compilado en Node.js. También admite scripting mediante la BackendTaskAPI. Existe además Pine, un compilador de Elm a .NET, que permite una interoperabilidad segura con C#, F# y otros lenguajes CLR . ^{[ 36 ]}

También hubo intentos en versiones de Elm anteriores a la 0.19.0 de usar BEAM (máquina virtual de Erlang) para ejecutar Elm, pero actualmente no funcionan debido a la eliminación del código nativo en la versión 0.19.0 y a los cambios en el gestor de paquetes. Uno de los proyectos ejecutaba Elm directamente en el entorno, ^{[ 37 ]} mientras que otro lo compilaba a Elixir. ^{[ 38 ]}