Haskell lenguaje funcional avanzado

Un lenguaje funcional avanzado: Haskell

Objetivos ,[object Object],[object Object]

Desarrollo ,[object Object],[object Object],[object Object],[object Object]

Características principales ,[object Object],[object Object],[object Object],[object Object],[object Object],Introducción a Haskell

Características principales ,[object Object],[object Object],[object Object],[object Object],Introducción a Haskell

Características principales ,[object Object],[object Object],[object Object],Introducción a Haskell

Introducción a Haskell Importación/Exportación de módulos Definición de tipos y estructuras de datos Definición de funciones Module ProgHaskell

Introducción a Haskell Definición de tipos y estructuras de datos Definición de funciones Prelude.hs

[object Object],[object Object],Nivel léxico Identificadores

[object Object],[object Object],[object Object],[object Object],[object Object],Nivel léxico Identificadores

Nivel léxico ,[object Object],[object Object],[object Object],[object Object],[object Object],Constructores de tipos Constructores de datos Variables de tipo Mayusc. Minusc. Identificadores

Nivel léxico Constructores de datos Nombres de función Mayusc. Minusc. ,[object Object],[object Object],[object Object],[object Object],[object Object],Variables

[object Object],[object Object],[object Object],[object Object],Nivel léxico Operadores

[object Object],[object Object],[object Object],[object Object],Nivel léxico Comentarios

[object Object],[object Object],[object Object],[object Object],Números Nivel léxico

Caracteres ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Nivel léxico

Cadenas ,[object Object],[object Object],[object Object],[object Object],Nivel léxico

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Llamada a una función Expresiones ¡Paréntesis externos! ¡No hay ‘comas’!

[object Object],[object Object],[object Object],[object Object],Expresiones Llamada a una función

Expresiones Utilización de operadores ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Expresiones Utilización de operadores

[object Object],[object Object],[object Object],[object Object],Expresiones

[object Object],[object Object],Expresiones Condicionales

Expresiones Listas ,[object Object],[object Object],[object Object],[object Object],[object Object],(:) es asociativo por la derecha

Expresiones Listas ,[object Object],[object Object],[object Object],[object Object],[object Object]

Expresiones Listas ,[object Object],[object Object],[object Object],[object Object]

Expresiones lambda ,[object Object], x 1 · · · x k -> e ,[object Object],Expresiones

Expresiones lambda ,[object Object],[object Object],[object Object],[object Object],[object Object],Expresiones

Tipos definidos por el usuario Declaraciones ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],Tipos definidos por el usuario Declaraciones

[object Object],[object Object],[object Object],[object Object],[object Object],Tipos definidos por el usuario Declaraciones

1 4 2 3 (B (L 1) (B (B (L 2) (L 3)) (L 4))) ,[object Object],Tipos definidos por el usuario Declaraciones

Definición de funciones ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Declaraciones

Parámetros formales Definición de funciones ,[object Object],f x 1 · · · x k = r ,[object Object]

Definición de funciones ,[object Object],doble x = x+x triple x = 3*x seisveces x = doble (triple x) fact n = if n==0 then 1 else n*fact (n-1) Parámetros formales

Definición de funciones ,[object Object],doble x = x + x triple x = 3 * x Funciones primitivas Parámetros formales

Definición de funciones ,[object Object],doble x = x+x triple x = 3*x seisveces x = doble ( triple x) Otras funciones de usuario Parámetros formales

Definición de funciones ,[object Object],doble x = x+x triple x = 3*x seisveces x = doble (triple x) fact n = if n==0 then 1 else n* fact (n-1) Recursividad Parámetros formales

Parámetros formales y guardas Definición de funciones ,[object Object],f x 1 · · · x k | c = r donde c es una expresión booleana

Ajuste de patrones Definición de funciones ,[object Object],f p 1 · · · p k = r ,[object Object]

[object Object],length [] = 0 length (x:xs) = 1+length xs data Nat = Cero | S Nat first Cero _ = [] first (S n) (x:xs) = x:(first n xs) Ajuste de patrones Definición de funciones

[object Object],Patrones Patrones Ajuste de patrones Definición de funciones length [] = 0 length (x:xs) = 1+length xs data Nat = Cero | S Nat first Cero _ = [] first (S n) (x:xs) = x:(first n xs)

Ajuste de patrones Definición de funciones ,[object Object]

Ajuste de patrones Definición de funciones ,[object Object],S (S Cero) S x Cero S (S Cero) X { x := S Cero}

Ajuste de patrones Definición de funciones El ajuste de patrones permite clasificar datos y explorar / recuperar subestructuras de los mismos

Distinción de casos Definición de funciones ,[object Object],f p 1 · · · p k = case x of q 1 -> e 1 ... q n -> e n ,[object Object]

Distinción de casos Definición de funciones ,[object Object],length xs = case xs of [ ] -> 0 (y:ys) -> 1+length ys

Cláusulas where Definición de funciones ,[object Object],f p 1 · · · p k = e where l 1 = r 1 ... l n = r n ,[object Object]

Definición de funciones ,[object Object],raicesEc2 a b c = ((-b+d)/a’,(-b-d)/a’) where d = sqrt(b^2-4*a*c) a’ = 2*a Cláusulas where

Bibliografía [Bir00] R. Bird. Introducción a la Programación Funcional con Haskell. Prentice-Hall, Madrid, 2000. [Dav92] A.J. Davie. An Introduction to Functional Programming Systems Using Haskell. Cambridge University Press, Cambridge, UK, 1992. [Pey03] S. Peyton Jones, editor. Haskell 98: Language and Libraries. The Revised Report. Cambridge University Press, 2003. Página WWW de Haskell: http://www.haskell.org

Haskell lenguaje funcional avanzado

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (19)

Similaire à Haskell lenguaje funcional avanzado

Similaire à Haskell lenguaje funcional avanzado (20)

Dernier

Dernier (20)

Haskell lenguaje funcional avanzado