Definir la función
ciclo :: [a] -> [a]
tal que (ciclo xs) es la lista obtenida permutando cíclicamente los elementos de la lista xs, pasando el último elemento al principio de la lista. Por ejemplo,
ciclo [2,5,7,9] == [9,2,5,7] ciclo [] == [] ciclo [2] == [2]
Comprobar que la longitud es un invariante de la función ciclo; es decir, la longitud de (ciclo xs) es la misma que la de xs.
Definir la función
distancia :: (Double,Double) -> (Double,Double) -> Double
tal que (distancia p1 p2) es la distancia entre los puntos p1 y p2. Por ejemplo,
distancia (1,2) (4,6) == 5.0
Comprobar con QuickCheck que se verifica la propiedad triangular de la distancia; es decir, dados tres puntos p1, p2 y p3, la distancia de p1 a p3 es menor o igual que la suma de la distancia de p1 a p2 y la de p2 a p3.
Definir la función
intercambia :: (a,b) -> (b,a)
tal que (intercambia p) es el punto obtenido intercambiando las coordenadas del punto p. Por ejemplo,
intercambia (2,5) == (5,2) intercambia (5,2) == (2,5)
Las dimensiones de los rectángulos puede representarse por pares; por ejemplo, (5,3) representa a un rectángulo de base 5 y altura 3.
Definir la función
mayorRectangulo :: (Num a, Ord a) => (a,a) -> (a,a) -> (a,a)
tal que (mayorRectangulo r1 r2) es el rectángulo de mayor área entre r1 y r2. Por ejemplo,
mayorRectangulo (4,6) (3,7) == (4,6) mayorRectangulo (4,6) (3,8) == (4,6) mayorRectangulo (4,6) (3,9) == (3,9)
La disyunción excluyente de dos fórmulas se verifica si una es verdadera y la otra es falsa. Su tabla de verdad es
x | y | xor x y ------+-------+--------- True | True | False True | False | True False | True | True False | False | False
Definir la función
xor :: Bool -> Bool -> Bool
tal que (xor x y) es la disyunción excluyente de x e y. Por ejemplo,
xor True True == False xor True False == True xor False True == True xor False False == False
Definir la función
divisionSegura :: Double -> Double -> Double
tal que (divisionSegura x y) es x/y si y no es cero y 9999 en caso contrario. Por ejemplo,
divisionSegura 7 2 == 3.5 divisionSegura 7 0 == 9999.0
Definir la función
tresDiferentes :: Int -> Int -> Int -> Bool
tal que (tresDiferentes x y z) se verifica si los elementos x, y y z son distintos. Por ejemplo,
tresDiferentes 3 5 2 == True tresDiferentes 3 5 3 == False
Definir la función
tresIguales :: Int -> Int -> Int -> Bool
tal que (tresIguales x y z) se verifica si los elementos x, y y z son iguales. Por ejemplo,
tresIguales 4 4 4 == True tresIguales 4 3 4 == False
Definir la función
mediano :: Int -> Int -> Int -> Int
tal que (mediano x y z) es el número mediano de los tres números x, y y z. Por ejemplo,
mediano 3 2 5 == 3 mediano 2 4 5 == 4 mediano 2 6 5 == 5 mediano 2 6 6 == 6
Definir la función
extremos :: Int -> [a] -> [a]
tal que (extremos n xs) es la lista formada por los n primeros elementos de xs y los n finales elementos de xs. Por ejemplo,
extremos 3 [2,6,7,1,2,4,5,8,9,2,3] == [2,6,7,9,2,3]