Intro haskell

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

Intro haskell

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (19)

Ähnlich wie Intro haskell

Ähnlich wie Intro haskell (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Intro haskell