Please enable JavaScript.
Coggle requires JavaScript to display documents.
Haskell, images, 220px-HaskellBCurry, paradgma, 82267756-structure-of…
Haskell
Estructura y Elementos
Las listas se construyen utilizando dos constructores. [] construye una lista vacía y (:) antepone elementos a una lista.
-
Permite definir funciones anónimas mediante las expresiones lambda (también denominadas
λ-expresiones).
λ x → x + 1
-
Para introducir definiciones locales en cualquier parte de una expresión se usa let e in.
Prelude> let f n =n ↑ 2 + 2 in f 100
Características
Los principales tipos de datos básicos predefinidos en Haskell son: Char, Int, Integer ,
Float, Double y Bool.
Tipificado estáticamente: Esto significa que no tenemos que etiquetar cada trozo
de código explícitamente con un tipo porque el sistema de tipos lo puede deducir de forma inteligente.
Perezoso: Es decir, a menos que le indiquemos lo contrario, Haskell no ejecutará funciones ni calculará resultados hasta que se vea realmente forzado a hacerlo.
Incluye características propias de los lenguajes
imperativos como la asignación destructiva y los efectos laterales que lo alejaron del paradigma funcional.
Conceptos básicos
Una función f con tipo de entrada A y tipo de salida B es un cálculo que relaciona cada valor a de tipo A con exactamente un valor b de tipo B tal que b es determinado únicamente por el valor de a.
Una expresión e tiene la propiedad de transparencia referencial si, para todos los programas p, todas las ocurrencias de e en p pueden ser reemplazadas por el resultado de evaluar e sin afectar el comportamiento observable de p.
Una función f es pura si la expresión f(x) tiene la propiedad de transparencia referencial para todo x que posee también transparencia referencial.
¿Qué es?
Es un lenguaje de programación puramente funcional creado por el matemático y lógico estadounidense Haskell Brooks Curry.
Paradigma
Su paradigma es funcional, no estricto, modular, fuertemente tipificado.
-
-
-
-
-
-
