Haskell Programming Language - Learn Functional Programming 9.4

acerca de Haskell Programming Language - Learn Functional Programming

El clásico lenguaje de programación Haskell para iPad, iPhone y iPod touch. El lenguaje de programación es una herramienta perfecta para el estudio, el cálculo matemático complejo, el entretenimiento y muchas otras tareas útiles. La aplicación es especialmente útil para aprender el lenguaje de programación Haskell. Usted tiene que comprar compilaciones dentro de la aplicación. Se requiere conexión a Internet. - La gran herramienta de programación en la AppStore. - Su lenguaje de programación para iOS es increíble! * CARACTERISTICAS * - Compilar y ejecutar su programa. - Entrada de texto antes de la ejecución del 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 programa. * 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 estandarizado y de uso general puramente funcional, con semántica no estricta y escritura estática fuerte. 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 by Research Software Ltd, en 1985, el interés por los lenguajes funcionales perezosos creció: en 1987 existían más de una docena de lenguajes de programación no estrictos y puramente funcionales. De ellos, Miranda era el más utilizado, pero era un software propietario. En la conferencia sobre Lenguajes de Programación Funcional y Arquitectura Informática en Portland, Oregón, se celebró una reunión durante la cual los participantes formaron un fuerte consenso en que se debía formar un comité para definir un estándar abierto para esos idiomas. El objetivo del Comité era consolidar las lenguas funcionales existentes en una común que sirviera de base para futuras investigaciones en diseño de lenguaje funcional. Haskell cuenta con evaluación diferida, coincidencia de patrones, comprensión de lista, clases de tipo y polimorfismo de tipo. 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 efectos secundarios, ortogonales 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 tipo estático fuerte basado en la inferencia de tipo Hindley Milner. La principal innovación de Haskell en esta área es agregar clases de tipo, que originalmente fueron concebidas como una forma de principios de agregar sobrecarga al lenguaje, pero desde entonces han encontrado muchos más usos. La construcción que representa efectos secundarios es un ejemplo de un monad. Los Monads son un marco general que puede modelar diferentes tipos de cálculo, incluyendo el manejo de errores, el no determinismo, el análisis y la memoria transaccional de software. Los monads 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 varias implementaciones. Hay una comunidad activa alrededor del 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 un intérprete y 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 simultaneidad y paralelismo, y por tener un sistema de tipo enriquecido que incorpora innovaciones recientes como tipos de datos algebraicos generalizados y familias de tipos.