Haskell Programming Language - Learn Functional Programming for iOS

Descripción

El clásico lenguaje de programación de Haskell para iPad, iPhone y iPod touch. El lenguaje de programación es una herramienta perfecta para estudiar, realizar cálculos matemáticos complejos, entretenerse y muchas otras tareas útiles. La aplicación es especialmente útil para aprender el lenguaje de programación Haskell. Tienes que comprar compilaciones dentro de la aplicación. Se requiere conexión a Internet. - La gran herramienta de programación en la AppStore. - ¡Tu lenguaje de programación para iOS es asombroso! * CARACTERÍSTICAS * - Compila y ejecuta tu programa. - Entrada de texto antes de ejecutar el programa y salida de texto. - Editor de código fuente mejorado con resaltado de sintaxis, números de línea, temas de color y teclado adicional. - Referencia de idioma en línea y varias muestras de programas. * LIMITACIONES * - Se requiere conexión a Internet para compilar y ejecutar un programa. - Los gráficos, la red, el sistema de archivos y la entrada en tiempo real no son compatibles. - El tiempo máximo de ejecución de un programa es de 15 segundos. ¡Gracias por usar la aplicación! ====================================== Haskell es un lenguaje de programación puramente funcional estandarizado y de propósito general , con semántica no estricta y fuerte escritura estática. Lleva el nombre del lógico Haskell Curry. En Haskell, "una función es un ciudadano de primera clase" del lenguaje de programación. Como lenguaje de programación funcional, la construcción de control principal es la función. Tras el lanzamiento de Miranda por parte de Research Software Ltd, en 1985, creció el interés por los lenguajes funcionales perezosos: en 1987, existían más de una docena de lenguajes de programación no estrictos y puramente funcionales. . De estos, Miranda fue el más utilizado, pero era un software propietario. En la conferencia sobre Lenguajes de Programación Funcional y Arquitectura de Computadoras en Portland, Oregón, se llevó a cabo una reunión durante la cual los participantes formaron un fuerte consenso de que se debería formar un comité para definir un estándar abierto para dichos lenguajes. El propósito del comité era consolidar los lenguajes funcionales existentes en uno común que sirviera como base para futuras investigaciones en diseño de lenguajes funcionales. Haskell presenta evaluación perezosa, coincidencia de patrones, comprensión de listas, clases de tipos y polimorfismo de tipos. Es un lenguaje puramente funcional, lo que significa que, en general, las funciones en Haskell no tienen efectos secundarios. Hay una construcción distinta para representar los efectos secundarios, ortogonal al tipo de funciones. Una función pura puede devolver un efecto secundario que se ejecuta posteriormente, modelando las funciones impuras de otros lenguajes. Haskell tiene un sistema de tipos fuerte y estático basado en la inferencia de tipos de HindleyMilner. La principal innovación de Haskell en esta área es agregar clases de tipos, que originalmente se concibieron como una forma de agregar sobrecarga al lenguaje, pero desde entonces han encontrado muchos más usos. La construcción que representa los efectos secundarios es un ejemplo de una mónada. Las mónadas son un marco general que puede modelar diferentes tipos de computación, incluido el manejo de errores, el no determinismo, el análisis sintáctico y la memoria transaccional de software. Las mónadas se definen como tipos de datos ordinarios, pero Haskell proporciona algo de azúcar sintáctico para su uso. El lenguaje tiene una especificación abierta y publicada, y existen múltiples implementaciones. Hay una comunidad activa en torno al lenguaje, y más de 5400 bibliotecas y herramientas de código abierto de terceros están disponibles en el repositorio de paquetes en línea Hackage. La implementación principal de Haskell, GHC, es tanto un intérprete como un compilador de código nativo que se ejecuta en la mayoría de las plataformas. GHC se destaca por su implementación de alto rendimiento de concurrencia y paralelismo, y por tener un rico sistema de tipos que incorpora innovaciones recientes, como tipos de datos algebraicos generalizados y familias de tipos.