Diferencias

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

--- introalg:taller07_1 [2007/04/10 15:04] – nicolasw
+++ introalg:taller07_1 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 1: / Línea 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]]. \\
@@ Línea 153: / Línea 145: @@
 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)
+  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),
   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''.
@@ 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)
-  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).
-  * 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
   * 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).
@@ 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:
-      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   = ...