Please enable JavaScript.
Coggle requires JavaScript to display documents.
HASKELL, Alumno: Juan Eduardo Merino Hernández Mapa Mental: HASKELL …
HASKELL
¿QUE ES HASKELL?
Haskell es un lenguaje de programación puramente funcional, cuya primera versión fue lanzada en 1990.
Haskell se basa en el cálculo lambda (lenguaje formal para la investigación de funciones).
¿Qué tipo de paradigma es HASKELL?
Haskell es un lenguaje de programación moderno, estándar, no estricto, puramente funcional. Posee todas las características avanzadas, incluyendo polimorfismo de tipos, evaluación perezosa y funciones de alto orden. También es un tipo de sistema que soporta una forma sistemática de sobrecarga y un sistema modular.
Características de Haskell.
Clasifica los entes de un programa en:
-Objetos (constantes y funciones)
– Tipos: cada objeto debe tener un tipo.
Dispone de objetos y tipos predefinidos.
Permite diversas declaraciones de objetos (monomorfos
y polimorfos):
– Funciones constructoras y
– Funciones definidas.
Aplica:
– Un sistema de inferencia de tipos basado en el sistema de Hindley-Milner,
– Una estrategia de reducción perezosa.
Principios de Haskell
Completitud sintáctica
Si en una expresión sintácticamente correcta se cambia una subexpresión por otra expresión correcta del mismo nivel (y tipo) la expresión resultante es igualmente correcta.
Completitud semántica
A todos los entes de cada nivel se les puede dar el mismo tratamiento: - pueden recibir nombre, y - pueden figurar en expresiones.
Principal estructura
La primer forma de emplear estructuras condicionales en haskell es con la estructura if-then-else, su sintaxis es:
if expresión lógica then acción en caso positivo else acción en caso negativo
Elementos de Haskell
(+), (-), (
), (/), (^), (^^), (*
), (==), (/=), (<), (<=), (>), (>=), (&&), (||), (:), (++), (!!), (.)
Conceptos básicos de Haskell.
Haskell es un lenguaje funcional puro, no estricto y fuertemente tipificado.
Alumno: Juan Eduardo Merino Hernández Mapa Mental: HASKELL
Asignatura: Programación Lógica y Funcional
