Ciencias de la Computación FAMAF

Herramientas de usuario

Herramientas del sitio

Traza:
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 12:04] – nicolaswintroalg:taller07_1 [2025/11/15 13:47] (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=====
- +
-===== Introducción =====+
  
 [[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 153: Línea 145:
 Esta maquinaria **impide** que escribamos cualquier expresión que esté mal tipada.   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)
  
  
Línea 165: Línea 175:
   Un año es bisiesto si es divisible por 4, excepto los principios de siglo (aquellos divisibles por 100),   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.    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 ''cap8.hs'' con el comando '':e''. Entonces podemos seguir agregando definiciones de funciones a nuestro archivo ''cap8.hs'' con el comando '':e''.
Línea 200: Línea 212:
  
  
-===== 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) 
  
 +===== Ejercicios =====
  
 +Para realizar en lo que resta de la clase.
  
 +  * 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.
  
-===== Ejercicios =====+  probar con (1,2) y (1,2), (1,4) y (1,4).
  
-Para realizar en lo que resta de la clase. 
  
- * Definir una función //ordena.(x,y)// //ordena : (Int,Int) -> (Int,Int)// que, dados dos enteros, los ordena de  menor a mayor.+  * 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).   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.+  * 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   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\\   * Ejercicio 8.7 del Apunte\\
-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+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).   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).
Línea 247: Línea 249:
  
 Completar la función //area.h.b.d// //area : Int -> Int -> Int -> Int// que calcula el área de un prisma rectangular: Completar la función //area.h.b.d// //area : Int -> Int -> Int -> Int// que calcula el área de un prisma rectangular:
-    
-      area.h.b.d = 2*frente + 2*lado + 2*arriba 
-           where 
-              frente = ...................           
-              lado = ..................... 
-              altura = ................... 
  
 +      area :: Int -> Int -> Int -> Int   
 +      area.h.b.d = 2*frente + 2*lado + 2*tapa
 +           where
 +              frente = ...
 +              lado   = ...
 +              tapa   = ...
introalg/taller07_1.1176217477.txt.gz · Última modificación: (editor externo)