José A. Alonso, profile picture
Subido porJosé A. Alonso
4,697 vistas

I1M2011-T4: Definición de funciones en Haskell

El documento explora la definición de funciones en programación, destacando varios métodos como composición, condicionales, y patrones de equiparación. Se presentan ejemplos de código en Haskell que ilustran cómo implementar diversas funcionalidades, incluida la creación de funciones anónimas con expresiones lambda. Además, se discuten patrones que incluyen constantes, variables, tuplas y listas, así como su uso en la definición de funciones.

Incrustar presentación

Descargado 152 veces
Tema 4: Definición de funciones Informática (2011–12) José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
IM Tema 4: Definición de funciones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 5. Expresiones lambda 6. Secciones 2 / 24
IM Tema 4: Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
IM Tema 4: Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
IM Tema 4: Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
IM Tema 4: Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
IM Tema 4: Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
IM Tema 4: Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
IM Tema 4: Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
IM Tema 4: Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
IM Tema 4: Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
IM Tema 4: Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 6 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Variables como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 8 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 10 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 12 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Patrones enteros Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 15 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Patrones enteros Definiciones con equiparación de patrones: Enteros Predecesor de un número entero: Prelude pred :: Int -> Int pred 0 = 0 pred (n+1) = n Comentarios sobre los patrones n+k: n+k sólo se equipara con números mayores o iguales que k Hay que escribirlo entre paréntesis. 16 / 24
IM Tema 4: Definición de funciones Definiciones con equiparación de patrones Patrones enteros Definiciones con equiparación de patrones: Enteros Predecesor de un número entero: Prelude pred :: Int -> Int pred 0 = 0 pred (n+1) = n Comentarios sobre los patrones n+k: n+k sólo se equipara con números mayores o iguales que k Hay que escribirlo entre paréntesis. 16 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda Las funciones pueden construirse sin nombrarlas mediante las expresiones lambda. Ejemplo de evaluación de expresiones lambda: Prelude> (x -> x+x) 3 6 17 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
IM Tema 4: Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
IM Tema 4: Definición de funciones Secciones Secciones Los operadores son las funciones que se escriben entre sus argumentos. Los operadores pueden convertirse en funciones prefijas escribiéndolos entre paréntesis. Ejemplo de conversión: Prelude> 2 + 3 5 Prelude> (+) 2 3 5 Ejemplos de secciones: Prelude> (2+) 3 5 Prelude> (+3) 2 5 21 / 24
IM Tema 4: Definición de funciones Secciones Expresión de secciones mediante lambdas Sea * un operador. Entonces (*) = x -> (y -> x*y) (x*) = y -> x*y (*y) = x -> x*y 22 / 24
IM Tema 4: Definición de funciones Secciones Aplicaciones de secciones Uso en definiciones de funciones mediante secciones suma' = (+) siguiente = (1+) inverso = (1/) doble = (2*) mitad = (/2) Uso en signatura de operadores: Prelude (&&) :: Bool -> Bool -> Bool Uso como argumento: Prelude> map (2*) [1..5] [2,4,6,8,10] 23 / 24
IM Tema 4: Definición de funciones Bibliografía Bibliografía 1. R. Bird. Introducción a la programación funcional con Haskell. Prentice Hall, 2000. Cap. 1: Conceptos fundamentales. 2. G. Hutton Programming in Haskell. Cambridge University Press, 2007. Cap. 4: Defining functions. 3. B. O’Sullivan, D. Stewart y J. Goerzen Real World Haskell. O’Reilly, 2008. Cap. 2: Types and Functions. 4. B.C. Ruiz, F. Gutiérrez, P. Guerrero y J.E. Gallardo. Razonando con Haskell. Thompson, 2004. Cap. 2: Introducción a Haskell. 5. S. Thompson. Haskell: The Craft of Functional Programming, Second Edition. Addison-Wesley, 1999. Cap. 3: Basic types and definitions. 24 / 24

Más contenido relacionado

PDF
Tema 7: Funciones de orden superior en Haskell
porJosé A. Alonso
 
PDF
Tema 11: Aplicaciones de la programación funcional con Haskell
porJosé A. Alonso
 
PDF
Tema 10: Evaluación perezosa en Haskell
porJosé A. Alonso
 
PDF
Tema 6: Definiciones por recursión en Haskell
porJosé A. Alonso
 
PDF
Tema 12: Analizadores sintácticos funcionales.
porJosé A. Alonso
 
PDF
Tema 9: Declaraciones de tipos y clases en Haskell
porJosé A. Alonso
 
PDF
123507620 que-es-la-evaluacion-perezosa-docx
porJesus Antonio Garcia Lopez
 
DOCX
Matlab
porPatricio Peñaherrera
 
Tema 7: Funciones de orden superior en Haskell
porJosé A. Alonso
 
Tema 11: Aplicaciones de la programación funcional con Haskell
porJosé A. Alonso
 
Tema 10: Evaluación perezosa en Haskell
porJosé A. Alonso
 
Tema 6: Definiciones por recursión en Haskell
porJosé A. Alonso
 
Tema 12: Analizadores sintácticos funcionales.
porJosé A. Alonso
 
Tema 9: Declaraciones de tipos y clases en Haskell
porJosé A. Alonso
 
123507620 que-es-la-evaluacion-perezosa-docx
porJesus Antonio Garcia Lopez
 
Matlab
porPatricio Peñaherrera
 

La actualidad más candente

PDF
Tema 0 Repaso Programación en Java
porCarlos A. Iglesias
 
PPTX
Arrays unidimensionales
porJuampa Condoy Espinosa
 
PPT
jaisan
porjai
 
PPTX
1. vers. cap-3_tipos_dedatos
porÁngel Leonardo Torres
 
PDF
arrays
porMin Woon Marshall Smith
 
PDF
Funciones
porAdriana Quintero Palomino
 
PPT
Arreglos en C
porRonny Parra
 
PDF
Estructurada 7
porRubens Velasco Camacho
 
PPTX
Presentación1
porCSILVAPEREZ
 
PDF
Clase ed v7
porTimToucan
 
PPT
Algoritmos y Estructura de Datos
porsupito01
 
PPT
2 algoritmos-1
porcortezbfajardo
 
PDF
Tema 8: Razonamiento sobre programas Haskell.
porJosé A. Alonso
 
PPT
12 Arreglos
porFrancisco Xavier Yumbla Arevalo
 
PPTX
Arreglos c++
porJohnny Paucar
 
PDF
Arreglos
porlaura291091
 
PDF
Descubriendo scala
pornluaces
 
DOCX
Ejercicios de matrices y vectores en c++
porDiego Maxdj Chicaiza
 
PDF
Introducción a la programación y la informática. Tema 6
porAndres Garcia Garcia
 
PDF
Modulo4
porMiguel Angel Zamora
 
Tema 0 Repaso Programación en Java
porCarlos A. Iglesias
 
Arrays unidimensionales
porJuampa Condoy Espinosa
 
jaisan
porjai
 
1. vers. cap-3_tipos_dedatos
porÁngel Leonardo Torres
 
arrays
porMin Woon Marshall Smith
 
Funciones
porAdriana Quintero Palomino
 
Arreglos en C
porRonny Parra
 
Estructurada 7
porRubens Velasco Camacho
 
Presentación1
porCSILVAPEREZ
 
Clase ed v7
porTimToucan
 
Algoritmos y Estructura de Datos
porsupito01
 
2 algoritmos-1
porcortezbfajardo
 
Tema 8: Razonamiento sobre programas Haskell.
porJosé A. Alonso
 
12 Arreglos
porFrancisco Xavier Yumbla Arevalo
 
Arreglos c++
porJohnny Paucar
 
Arreglos
porlaura291091
 
Descubriendo scala
pornluaces
 
Ejercicios de matrices y vectores en c++
porDiego Maxdj Chicaiza
 
Introducción a la programación y la informática. Tema 6
porAndres Garcia Garcia
 
Modulo4
porMiguel Angel Zamora
 

Destacado

PDF
Programación funcional con haskell
porAgustin Ramos
 
PDF
Haskell
porAxel Torvals
 
PDF
Programación funcional con haskell
porSoftware Guru
 
PPT
Intro haskell
porNO TRABAJO . MI PAPA ME MANTIENE
 
PDF
LMF-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
PDF
Tema 2: Introducción a la programación con Haskell
porJosé A. Alonso
 
PPT
PARADIGMA FUNCIONAL
porFredy Olaya
 
PPT
Estructuras de control en Java
porquesada_diego
 
PPTX
PARADIGMA LOGICO
porFredy Olaya
 
PDF
Haskell - Intro
porAntonio Kobashikawa Carrasco
 
Programación funcional con haskell
porAgustin Ramos
 
Haskell
porAxel Torvals
 
Programación funcional con haskell
porSoftware Guru
 
Intro haskell
porNO TRABAJO . MI PAPA ME MANTIENE
 
LMF-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
Tema 2: Introducción a la programación con Haskell
porJosé A. Alonso
 
PARADIGMA FUNCIONAL
porFredy Olaya
 
Estructuras de control en Java
porquesada_diego
 
PARADIGMA LOGICO
porFredy Olaya
 
Haskell - Intro
porAntonio Kobashikawa Carrasco
 

Similar a I1M2011-T4: Definición de funciones en Haskell

PDF
Parte2
porguestef174c
 
PDF
Tema funciones 2011 parte 1
porMCMurray
 
PDF
Tema funciones 2011 2 parte 2
porMCMurray
 
PPTX
Asignación n°4
poraarg90
 
PDF
Programacion MatLab
porEdgar Galvez
 
PPTX
1. vers. cap-3_tipos_dedatos
porÁngel Leonardo Torres
 
PPT
Funciones inicio
porSantos Maura
 
PPT
Funciones inicio
porSantos Maura
 
PDF
Subporgramacion
porguest5ac5ce3
 
PDF
Subporgramacion
porguest5ac5ce3
 
DOCX
Utpl(programacion t4..)
porDrez Rodriguez
 
DOC
Como Programar
porFernando Solis
 
PDF
Capítulo 6 funciones y procedimiento
porEnAutomático
 
DOC
Capítulo 4 funciones matemáticas
porJulio Ayala Rolón
 
PPTX
Fundamentos de la Programacion
porTefy Pineda
 
PDF
Tema 1: Introducción a la programación funcional.
porJosé A. Alonso
 
PDF
Introducción a dr racket
porJose Hernandez Moya
 
PPT
11funciones 1231096290787715-2
porJose Rodrigo Morera Torres
 
PPTX
Módulo 4 (sin estilo)
porEmiliano Siracusa
 
PPT
11 Funciones
porFrancisco Xavier Yumbla Arevalo
 
Parte2
porguestef174c
 
Tema funciones 2011 parte 1
porMCMurray
 
Tema funciones 2011 2 parte 2
porMCMurray
 
Asignación n°4
poraarg90
 
Programacion MatLab
porEdgar Galvez
 
1. vers. cap-3_tipos_dedatos
porÁngel Leonardo Torres
 
Funciones inicio
porSantos Maura
 
Funciones inicio
porSantos Maura
 
Subporgramacion
porguest5ac5ce3
 
Subporgramacion
porguest5ac5ce3
 
Utpl(programacion t4..)
porDrez Rodriguez
 
Como Programar
porFernando Solis
 
Capítulo 6 funciones y procedimiento
porEnAutomático
 
Capítulo 4 funciones matemáticas
porJulio Ayala Rolón
 
Fundamentos de la Programacion
porTefy Pineda
 
Tema 1: Introducción a la programación funcional.
porJosé A. Alonso
 
Introducción a dr racket
porJose Hernandez Moya
 
11funciones 1231096290787715-2
porJose Rodrigo Morera Torres
 
Módulo 4 (sin estilo)
porEmiliano Siracusa
 
11 Funciones
porFrancisco Xavier Yumbla Arevalo
 

Más de José A. Alonso

PDF
Tema 23: Técnicas de diseño descendente de algoritmos
porJosé A. Alonso
 
PDF
I1M-T19: El TAD de los árboles de búsqueda
porJosé A. Alonso
 
PDF
I1M-T17: El TAD de los conjuntos
porJosé A. Alonso
 
PDF
Panorama de la demostración asistida por ordenador
porJosé A. Alonso
 
PDF
LMF-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
PDF
LMF-T5b: Aplicaciones de la lógica proposicional
porJosé A. Alonso
 
PDF
LMF-T5: Resolución proposicional
porJosé A. Alonso
 
PDF
LMF-T4: Formas normales
porJosé A. Alonso
 
PDF
LMF-T3: Tableros semánticos
porJosé A. Alonso
 
PDF
LMF-T2: Deducción natural proposicional
porJosé A. Alonso
 
PDF
I1M-T21: El TAD de los polinomios en Haskell
porJosé A. Alonso
 
PDF
LMF-T1: Sintaxis y semántica de la lógica proposicional
porJosé A. Alonso
 
PDF
LI-T12: LI2011-12: Introducción a la programación lógica con Prolog
porJosé A. Alonso
 
PDF
LI-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
PDF
LI-T5b: Algoritmos para SAT. Aplicaciones
porJosé A. Alonso
 
PDF
Panorama del razonamiento automático
porJosé A. Alonso
 
PDF
LI -T5: Resolución proposicional
porJosé A. Alonso
 
PDF
I1M2010-T24: Programación dinámica en Haskell
porJosé A. Alonso
 
PDF
LI2011-T11: Resolución en lógica de primer orden
porJosé A. Alonso
 
PDF
LI2011-T9: Formas normales de Skolem y cláusulas
porJosé A. Alonso
 
Tema 23: Técnicas de diseño descendente de algoritmos
porJosé A. Alonso
 
I1M-T19: El TAD de los árboles de búsqueda
porJosé A. Alonso
 
I1M-T17: El TAD de los conjuntos
porJosé A. Alonso
 
Panorama de la demostración asistida por ordenador
porJosé A. Alonso
 
LMF-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
LMF-T5b: Aplicaciones de la lógica proposicional
porJosé A. Alonso
 
LMF-T5: Resolución proposicional
porJosé A. Alonso
 
LMF-T4: Formas normales
porJosé A. Alonso
 
LMF-T3: Tableros semánticos
porJosé A. Alonso
 
LMF-T2: Deducción natural proposicional
porJosé A. Alonso
 
I1M-T21: El TAD de los polinomios en Haskell
porJosé A. Alonso
 
LMF-T1: Sintaxis y semántica de la lógica proposicional
porJosé A. Alonso
 
LI-T12: LI2011-12: Introducción a la programación lógica con Prolog
porJosé A. Alonso
 
LI-T6: Sintaxis y semántica de la lógica de primer orden
porJosé A. Alonso
 
LI-T5b: Algoritmos para SAT. Aplicaciones
porJosé A. Alonso
 
Panorama del razonamiento automático
porJosé A. Alonso
 
LI -T5: Resolución proposicional
porJosé A. Alonso
 
I1M2010-T24: Programación dinámica en Haskell
porJosé A. Alonso
 
LI2011-T11: Resolución en lógica de primer orden
porJosé A. Alonso
 
LI2011-T9: Formas normales de Skolem y cláusulas
porJosé A. Alonso
 

Último

PDF
Como superar los Pensamientos Negativos - Chase Hill Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
Tu Mente es Extraordinaria - Gregory Cajina Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
Porque fracasan las Organizaciones - Marcos Eguiguren Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
El Poder del Pensamiento Positivo - Norman Vincent Peale Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
Calculo Diferencial - Jorge Luis Gil Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
El Éxito es una Habilidad que se Aprende Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PPTX
GUIA SECTI FASE INTENSIVA ENERO 2026.pptx
porJuanEstebanHernandez17
 
PDF
Elaborado por Franklin Marín mecánica de suelos
porNeckzo
 
PPTX
fichas bibliográficas Fase 1 Reconociendo problemáticas en el campo de la edu...
porJaidyYaisuryMosquera
 
PDF
Orientaciones para la I Semana de Gestion 2026 Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
Filología de un Colapso Anunciado.......
porElara Mara
 
PDF
El Arte de Curar con Hierbas . Ava Green Ccesa007.pdf
porDemetrio Ccesa Rayme
 
PDF
La Huella del Investigador El factor humano frente a la Inteligencia Artifici...
porLuis Felipe Morales Tello
 
PDF
Hebreos La Autopsia de la Domesticación.
porElara Mara
 
DOCX
Neuroeducación: Un puente entre el cerebro, las emociones y el aprendizaje ef...
poraguilarperezlaura725
 
PPT
APROXIMACION CONCEPTUAL DEL CURRICULO EN LA ACTUALIDAD
poraperez329618
 
PDF
APUNTES DUA Y LECTURA FACIL DE LA CLASE DEL 10/02/2026
porgerifolgadoritore
 
PDF
CIENCIAS NATURALES EXPERIMENTALES Y TECNOLOGÍA 2
porBERNYCAMBRANISALFARO
 
PPTX
Fichas bibliográficas.ase 1 Reconociendo problemáticas en el campo de la educ...
porJaidyYaisuryMosquera
 
PDF
Monitoreo Regional del BIAE 2026 Ccesa007.pdf
porDemetrio Ccesa Rayme
 
Como superar los Pensamientos Negativos - Chase Hill Ccesa007.pdf
porDemetrio Ccesa Rayme
 
Tu Mente es Extraordinaria - Gregory Cajina Ccesa007.pdf
porDemetrio Ccesa Rayme
 
Porque fracasan las Organizaciones - Marcos Eguiguren Ccesa007.pdf
porDemetrio Ccesa Rayme
 
El Poder del Pensamiento Positivo - Norman Vincent Peale Ccesa007.pdf
porDemetrio Ccesa Rayme
 
Calculo Diferencial - Jorge Luis Gil Ccesa007.pdf
porDemetrio Ccesa Rayme
 
El Éxito es una Habilidad que se Aprende Ccesa007.pdf
porDemetrio Ccesa Rayme
 
GUIA SECTI FASE INTENSIVA ENERO 2026.pptx
porJuanEstebanHernandez17
 
Elaborado por Franklin Marín mecánica de suelos
porNeckzo
 
fichas bibliográficas Fase 1 Reconociendo problemáticas en el campo de la edu...
porJaidyYaisuryMosquera
 
Orientaciones para la I Semana de Gestion 2026 Ccesa007.pdf
porDemetrio Ccesa Rayme
 
Filología de un Colapso Anunciado.......
porElara Mara
 
El Arte de Curar con Hierbas . Ava Green Ccesa007.pdf
porDemetrio Ccesa Rayme
 
La Huella del Investigador El factor humano frente a la Inteligencia Artifici...
porLuis Felipe Morales Tello
 
Hebreos La Autopsia de la Domesticación.
porElara Mara
 
Neuroeducación: Un puente entre el cerebro, las emociones y el aprendizaje ef...
poraguilarperezlaura725
 
APROXIMACION CONCEPTUAL DEL CURRICULO EN LA ACTUALIDAD
poraperez329618
 
APUNTES DUA Y LECTURA FACIL DE LA CLASE DEL 10/02/2026
porgerifolgadoritore
 
CIENCIAS NATURALES EXPERIMENTALES Y TECNOLOGÍA 2
porBERNYCAMBRANISALFARO
 
Fichas bibliográficas.ase 1 Reconociendo problemáticas en el campo de la educ...
porJaidyYaisuryMosquera
 
Monitoreo Regional del BIAE 2026 Ccesa007.pdf
porDemetrio Ccesa Rayme
 

I1M2011-T4: Definición de funciones en Haskell

  • 1.
    Tema 4: Definiciónde funciones Informática (2011–12) José A. Alonso Jiménez Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
  • 2.
    IM Tema 4:Definición de funciones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 5. Expresiones lambda 6. Secciones 2 / 24
  • 3.
    IM Tema 4:Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
  • 4.
    IM Tema 4:Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
  • 5.
    IM Tema 4:Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
  • 6.
    IM Tema 4:Definición de funciones Definiciones por composición Definiciones por composición Decidir si un carácter es un dígito: Prelude isDigit :: Char -> Bool isDigit c = c >= '0' && c <= '9' Decidir si un entero es par: Prelude even :: (Integral a) => a -> Bool even n = n `rem` 2 == 0 Dividir una lista en su n–ésimo elemento: Prelude splitAt :: Int -> [a] -> ([a],[a]) splitAt n xs = (take n xs, drop n xs) 3 / 24
  • 7.
    IM Tema 4:Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
  • 8.
    IM Tema 4:Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
  • 9.
    IM Tema 4:Definición de funciones Definiciones con condicionales Definiciones con condicionales Calcular el valor absoluto (con condicionales): Prelude abs :: Int -> Int abs n = if n >= 0 then n else -n Calcular el signo de un número (con condicionales anidados): Prelude signum :: Int -> Int signum n = if n < 0 then (-1) else if n == 0 then 0 else 1 4 / 24
  • 10.
    IM Tema 4:Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
  • 11.
    IM Tema 4:Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
  • 12.
    IM Tema 4:Definición de funciones Definiciones con ecuaciones con guardas Definiciones con ecuaciones guardadas Calcular el valor absoluto (con ecuaciones guardadas): Prelude abs n | n >= 0 = n | otherwise = -n Calcular el signo de un número (con ecuaciones guardadas): Prelude signum n | n < 0 = -1 | n == 0 = 0 | otherwise = 1 5 / 24
  • 13.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 6 / 24
  • 14.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
  • 15.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
  • 16.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Constantes como patrones Definiciones con equiparación de patrones: Constantes Calcular la negación: Prelude not :: Bool -> Bool not True = False not False = True Calcular la conjunción (con valores): Prelude (&&) :: Bool -> Bool -> Bool True && True = True True && False = False False && True = False False && False = False 7 / 24
  • 17.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Variables como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 8 / 24
  • 18.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
  • 19.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
  • 20.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Variables como patrones Definiciones con equiparación de patrones: Variables Calcular la conjunción (con variables anónimas): Prelude (&&) :: Bool -> Bool -> Bool True && True = True _ && _ = False Calcular la conjunción (con variables): Prelude (&&) :: Bool -> Bool -> Bool True && x = x False && _ = False 9 / 24
  • 21.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 10 / 24
  • 22.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
  • 23.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
  • 24.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Tuplas como patrones Definiciones con equiparación de patrones: Tuplas Calcular el primer elemento de un par: Prelude fst :: (a,b) -> a fst (x,_) = x Calcular el segundo elemento de un par: Prelude snd :: (a,b) -> b snd (_,y) = y 11 / 24
  • 25.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 12 / 24
  • 26.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
  • 27.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
  • 28.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas (test1 xs) se verifica si xs es una lista de 3 caracteres que empieza por ’a’. test1 :: [Char ] -> Bool test1 ['a',_,_] = True test1 _ = False Construcción de listas con (:) [1,2,3] = 1:[2,3] = 1:(2:[3]) = 1:(2:(3:[])) (test2 xs) se verifica si xs es una lista de caracteres que empieza por ’a’. test2 :: [Char ] -> Bool test2 ('a':_) = True test2 _ = False 13 / 24
  • 29.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
  • 30.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
  • 31.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
  • 32.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Listas como patrones Definiciones con equiparación de patrones: Listas Decidir si una lista es vacía: Prelude null :: [a] -> Bool null [] = True null (_:_) = False Primer elemento de una lista: Prelude head :: [a] -> a head (x:_) = x Resto de una lista: Prelude tail :: [a] -> [a] tail (_:xs) = xs 14 / 24
  • 33.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Patrones enteros Tema 4: Definición de funciones 1. Definiciones por composición 2. Definiciones con condicionales 3. Definiciones con ecuaciones con guardas 4. Definiciones con equiparación de patrones Constantes como patrones Variables como patrones Tuplas como patrones Listas como patrones Patrones enteros 15 / 24
  • 34.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Patrones enteros Definiciones con equiparación de patrones: Enteros Predecesor de un número entero: Prelude pred :: Int -> Int pred 0 = 0 pred (n+1) = n Comentarios sobre los patrones n+k: n+k sólo se equipara con números mayores o iguales que k Hay que escribirlo entre paréntesis. 16 / 24
  • 35.
    IM Tema 4:Definición de funciones Definiciones con equiparación de patrones Patrones enteros Definiciones con equiparación de patrones: Enteros Predecesor de un número entero: Prelude pred :: Int -> Int pred 0 = 0 pred (n+1) = n Comentarios sobre los patrones n+k: n+k sólo se equipara con números mayores o iguales que k Hay que escribirlo entre paréntesis. 16 / 24
  • 36.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda Las funciones pueden construirse sin nombrarlas mediante las expresiones lambda. Ejemplo de evaluación de expresiones lambda: Prelude> (x -> x+x) 3 6 17 / 24
  • 37.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
  • 38.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
  • 39.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y parcialización Uso de las expresiones lambda para resaltar la parcialización: (suma x y) es la suma de x e y. Definición sin lambda: suma x y = x+y Definición con lambda: suma' = x -> (y -> x+y) 18 / 24
  • 40.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
  • 41.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
  • 42.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones como resultados Uso de las expresiones lambda en funciones como resultados: (const x y) es x. Definición sin lambda: Prelude const :: a -> b -> a const x = x Definición con lambda: const' :: a -> (b -> a) const' x = _ -> x 19 / 24
  • 43.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
  • 44.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
  • 45.
    IM Tema 4:Definición de funciones Expresiones lambda Expresiones lambda y funciones de sólo un uso Uso de las expresiones lambda en funciones con sólo un uso: (impares n) es la lista de los n primeros números impares. Definición sin lambda: impares n = map f [0..n-1] where f x = 2*x+1 Definición con lambda: impares' n = map (x -> 2*x+1) [0..n-1] 20 / 24
  • 46.
    IM Tema 4:Definición de funciones Secciones Secciones Los operadores son las funciones que se escriben entre sus argumentos. Los operadores pueden convertirse en funciones prefijas escribiéndolos entre paréntesis. Ejemplo de conversión: Prelude> 2 + 3 5 Prelude> (+) 2 3 5 Ejemplos de secciones: Prelude> (2+) 3 5 Prelude> (+3) 2 5 21 / 24
  • 47.
    IM Tema 4:Definición de funciones Secciones Expresión de secciones mediante lambdas Sea * un operador. Entonces (*) = x -> (y -> x*y) (x*) = y -> x*y (*y) = x -> x*y 22 / 24
  • 48.
    IM Tema 4:Definición de funciones Secciones Aplicaciones de secciones Uso en definiciones de funciones mediante secciones suma' = (+) siguiente = (1+) inverso = (1/) doble = (2*) mitad = (/2) Uso en signatura de operadores: Prelude (&&) :: Bool -> Bool -> Bool Uso como argumento: Prelude> map (2*) [1..5] [2,4,6,8,10] 23 / 24
  • 49.
    IM Tema 4:Definición de funciones Bibliografía Bibliografía 1. R. Bird. Introducción a la programación funcional con Haskell. Prentice Hall, 2000. Cap. 1: Conceptos fundamentales. 2. G. Hutton Programming in Haskell. Cambridge University Press, 2007. Cap. 4: Defining functions. 3. B. O’Sullivan, D. Stewart y J. Goerzen Real World Haskell. O’Reilly, 2008. Cap. 2: Types and Functions. 4. B.C. Ruiz, F. Gutiérrez, P. Guerrero y J.E. Gallardo. Razonando con Haskell. Thompson, 2004. Cap. 2: Introducción a Haskell. 5. S. Thompson. Haskell: The Craft of Functional Programming, Second Edition. Addison-Wesley, 1999. Cap. 3: Basic types and definitions. 24 / 24