Ciencias de la Computación FAMAF

Herramientas de usuario

Herramientas del sitio

Traza: • taller09_soluciones
introalg:taller07_1

Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión		Revisión previa
introalg:taller07_1 [2007/04/10 14:13] – nicolaswintroalg:taller07_1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
Línea 1: Línea 1:
 ====== Clase 1 ====== ====== Clase 1 ======
  
-Plan para hoy 
  
-  * Introducción al uso de Hugs 
-  * Cómo escribir programas Haskell 
-  * Escribiendo los primeros programas 
-    * Análisis por casos 
-    * Manejo de tuplas 
  
- +===== Introducción al uso de Hugs=====
-===== Clase =====+
  
 [[http://haskell.org/hugs/|Hugs]] es un intérprete del lenguaje funcional puro [[http://haskell.org/|Haskell]]. \\ [[http://haskell.org/hugs/|Hugs]] es un intérprete del lenguaje funcional puro [[http://haskell.org/|Haskell]]. \\
Línea 58: Línea 51:
 A manera de ejemplo realicemos un ciclo de **creación-carga-prueba-modificación-recarga**, con el Ejercicio 8.3 del apunte [[http://cs.famaf.unc.edu.ar/introalg/calculo_extracto.pdf|Extracto del Cálculo de Programas]]. A manera de ejemplo realicemos un ciclo de **creación-carga-prueba-modificación-recarga**, con el Ejercicio 8.3 del apunte [[http://cs.famaf.unc.edu.ar/introalg/calculo_extracto.pdf|Extracto del Cálculo de Programas]].
  
-Para crear un //script// basta con invocar el comando para editar un (nuevo) archivo '':e ejercicios8.hs''.+Para crear un //script// basta con invocar el comando para editar un (nuevo) archivo '':e cap8.hs''.
 Una posible solución para el problema de la función signo es la siguiente: Una posible solución para el problema de la función signo es la siguiente:
  
Línea 69: Línea 62:
 Luego de salvar el programa y cargarlo, el intérprete indica un error pues ''='' es el símbolo de definición, mientras que la comparación es ''==''. Luego de salvar el programa y cargarlo, el intérprete indica un error pues ''='' es el símbolo de definición, mientras que la comparación es ''==''.
  
-  Hugs.Base> :e ejercicios8.hs +  Hugs.Base> :e cap8.hs 
-  Hugs.Base> :l ejercicios8.hs +  Hugs.Base> :l cap8.hs 
-  ERROR "ejercicios8.hs":4 - Syntax error in input (unexpected `=')+  ERROR "cap8.hs":4 - Syntax error in input (unexpected `=')
  
 Las traducciones son más o menos directas, de todas formas preparamos una tabla de [[http://cs.famaf.unc.edu.ar/introalg/PDF/traduccion.pdf|Traducción de "Cálculo de Programas" a Haskell]]. Las traducciones son más o menos directas, de todas formas preparamos una tabla de [[http://cs.famaf.unc.edu.ar/introalg/PDF/traduccion.pdf|Traducción de "Cálculo de Programas" a Haskell]].
  
-Volvemos a editar el script con '':e'' (el nombre ya no lo necesitamos ya que tenemos cargado este script) y corregimos ''x=0'' por ''x==0''.+Volvemos a editar el script con '':e'' (el nombre ya no lo necesitamos ya que tenemos cargado este script) y corregimos ''x=0'' por ''x==0''. \\
 Podemos probar la nueva función con //casos de test// para ganar confianza en su **corrección**. Podemos probar la nueva función con //casos de test// para ganar confianza en su **corrección**.
  
Línea 102: Línea 95:
   Main> sgn (-1   Main> sgn (-1
   ERROR - Syntax error in expression (unexpected end of input)   ERROR - Syntax error in expression (unexpected end of input)
 +  
   Main> sgn "hola"   Main> sgn "hola"
   ERROR - Type error in application   ERROR - Type error in application
Línea 112: Línea 105:
   Main> map sgn [-10..10]   Main> map sgn [-10..10]
   [-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,1,1,1,1,1,1,1,1,1,1]   [-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,1,1,1,1,1,1,1,1,1,1]
 +
  
 Notamos los distintos tipos de errores que se producen por problemas de Notamos los distintos tipos de errores que se producen por problemas de
Línea 118: Línea 112:
   * Sintáxis (''sgn (-1'')   * Sintáxis (''sgn (-1'')
  
-A manera de ejemplo veamos el ejercicio 8.7, donde tenemos que definir una función muy útil para cualquier aparato que maneje un calendario (relojes, celulares, PDAs, computadoras, DVD-R, etc.).+ 
 +===== Inferencia de tipos ===== 
 + 
 +Hugs tiene una maquinaria para //inferir// tipos, tanto los declarados 
 + 
 +  Main> :t sgn 
 +  sgn :: Int -> Int 
 + 
 +Como expresiones en general 
 + 
 +  Main> :t 1 + 2.1 
 +  1 + 2.1 :: Fractional a => a 
 +   
 +  Main> :t 1+ sqrt 64 
 +  1 + sqrt 64 :: Floating a => a 
 +   
 +  Main> :t 1+ "a" 
 +  ERROR - Cannot infer instance 
 +  *** Instance   : Num [Char] 
 +  *** Expression : 1 + "a" 
 +   
 +  Main> :t "hola" ++ "que" ++ "tal" 
 +  "hola" ++ "que" ++ "tal" :: [Char] 
 +   
 +  Main> :t reverse 
 +  reverse :: [a] -> [a] 
 +   
 +  Main> :t map 
 +  map :: (a -> b) -> [a] -> [b] 
 + 
 + 
 +Esta maquinaria **impide** que escribamos cualquier expresión que esté mal tipada.   
 + 
 + 
 +===== Tuplas ===== 
 + 
 +Haskell maneja n-uplas de manera directa. 
 +Incorporamos a ''cap8.hs'' las siguientes definiciones: 
 + 
 +  suma3upla :: (Int,Int,Int) -> Int 
 +  suma3upla (x,y,z) = x+y+z 
 +   
 +  sumaYResta :: Int -> Int -> (Int,Int) 
 +  sumaYResta x y = (x+y, x-y) 
 + 
 +Y las probamos desde el //prompt//. 
 + 
 +  Main> suma3upla (2,3,4) 
 +  9 
 +  Main> sumaYResta 2 3 
 +  (5,-1) 
 + 
 + 
 + 
 +===== Ejemplo: la función bisiesto ===== 
 + 
 +A manera de ejemplo veamos el ejercicio 8.7 del apunte, donde tenemos que definir una función muy útil para cualquier aparato que maneje un calendario (relojes, celulares, PDAs, computadoras, DVD-R, etc.).
 La signatura ((Signatura es el nombre de la función junto al tipo de sus parámetros y resultado)) es //bisiesto: Int -> Bool//, y es un predicado que devuelve //true// si el año es bisiesto y //false// en caso contrario. La signatura ((Signatura es el nombre de la función junto al tipo de sus parámetros y resultado)) es //bisiesto: Int -> Bool//, y es un predicado que devuelve //true// si el año es bisiesto y //false// en caso contrario.
 Recordemos cuando un año es [[http://es.wikipedia.org/wiki/Bisiesto|bisiesto]]: Recordemos cuando un año es [[http://es.wikipedia.org/wiki/Bisiesto|bisiesto]]:
  
-  La regla completa para los años bisiestos según el calendario Gregoriano es: +  La regla para los años bisiestos según el calendario gregoriano es: 
-    Un año es bisiesto si es divisible por 4, excepto aquellos divisibles por 100 pero no por 400.+  Un año es bisiesto si es divisible por 4, excepto los principios de siglo (aquellos divisibles por 100), 
 +  que para ser bisiestos, también deben ser divisibles por 400.  
 + 
 +Una definición matemática concisa sería //bisiesto n = 4|n /\ (100|n => 400|n)//.
  
-Entonces podemos seguir agregando definiciones de funciones a nuestro archivo ''ejercicios8.hs'' con el comando '':e''.+Entonces podemos seguir agregando definiciones de funciones a nuestro archivo ''cap8.hs'' con el comando '':e''.
 Veamos tres versiones distintas ((Esto es una mala copia de [[http://www.willamette.edu/~fruehr/haskell/evolution.html|The Evolution of a Haskell Programmer]])). Veamos tres versiones distintas ((Esto es una mala copia de [[http://www.willamette.edu/~fruehr/haskell/evolution.html|The Evolution of a Haskell Programmer]])).
  
Línea 157: Línea 210:
  
 Vemos que las tres funciones operan correctamente en el rango de números dados ((No queremos decir que sean correctas en su totalidad, solo decimos que en ese rango no tienen fallas)). Vemos que las tres funciones operan correctamente en el rango de números dados ((No queremos decir que sean correctas en su totalidad, solo decimos que en ese rango no tienen fallas)).
 +
 +
 +
 +
 +
 +
  
 ===== Ejercicios ===== ===== Ejercicios =====
Línea 162: Línea 221:
 Para realizar en lo que resta de la clase. Para realizar en lo que resta de la clase.
  
-  * Ejercicio 8.7 +  * Definir la función //sumaRat (a,b) (c,d)//, //sumaRat : (Int,Int) -> (Int,Int) -> (Int,Int)// que suma dos números racionales.\\ No es necesario realizar ninguna simplificación al resultado. 
-Definir la función //edad : (Nat, Nat, Nat) -> (Nat, Nat, Nat) -> Int// que dadas dos fechas indica los años transcurridos entre ellas. Por ejemplo edad.(20,10,1968).(30,4,1987) = 18 + 
-  * Ejercicio 8.8+  probar con (1,2) y (1,2), (1,4) y (1,4). 
 + 
 + 
 +  * Definir una función //ordena.(x,y)//, //ordena : (Int,Int) -> (Int,Int)// que, dados dos enteros, los ordena de  menor a mayor. 
 + 
 +  probar con (0,1), (2,2), (3,1). 
 + 
 +  * Definir una función //ambospositivos.x.y//, //ambospositivos : Int -> Int -> Bool//, que dados dos enteros devuelve //True// si los dos son positivos. 
 + 
 +  probar con 5 y 9, con -8 y 9, con -10 y -1, con 0 y 0 y con 0 y 3 
 + 
 +  * Ejercicio 8.7 del Apunte\\ 
 +Definir la función //edad : (Int, Int, Int) -> (Int, Int, Int) -> Int// que dadas dos fechas indica los años transcurridos entre ellas. Por ejemplo edad.(20,10,1968).(30,4,1987) = 18. 
 +Suponer que las fechas están siempre bien formadas y que la primera es menor o igual a la segunda. 
 + 
 +  probar con (16,4,1980) y (17,5,1992), (16,4,1980) y (14,5,1992), (16,4,1980) y (15,4,1992) y con (16,4,1980) y (17,5,1972). 
 + 
 + 
 +  * Ejercicio 8.8 del Apunte.\\
 En un prisma rectangular, llamemos //h// a la altura, //b// al ancho y //d// a la profundidad. Completar En un prisma rectangular, llamemos //h// a la altura, //b// al ancho y //d// a la profundidad. Completar
 la siguiente definición del área del prisma: \\ la siguiente definición del área del prisma: \\
 //area.h.b.d = 2 ∗ frente + 2 ∗ lado + 2 ∗ arriba// \\ //area.h.b.d = 2 ∗ frente + 2 ∗ lado + 2 ∗ arriba// \\
 //|[   ...aca va la definicion...   ]|// \\ //|[   ...aca va la definicion...   ]|// \\
-donde //frente//, //lado// y //arriba// son las caras frontal, lateral y superior del prisma respectivamente.+donde //frente//, //lado// y //arriba// son las caras frontal, lateral y superior del prisma respectivamente.\\ 
 + 
 +Completar la función //area.h.b.d// //area : Int -> Int -> Int -> Int// que calcula el área de un prisma rectangular:
  
 +      area :: Int -> Int -> Int -> Int   
 +      area.h.b.d = 2*frente + 2*lado + 2*tapa
 +           where
 +              frente = ...
 +              lado   = ...
 +              tapa   = ...
introalg/taller07_1.1176214427.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)