Definir la funci\u00f3n<\/p>\n
\n igualesAlSiguiente :: Eq a => [a] -> [a]\n<\/pre>\ntal que (igualesAlSiguiente xs) es la lista de los elementos de xs que son iguales a su siguiente. Por ejemplo,<\/p>\n
\n igualesAlSiguiente [1,2,2,2,3,3,4] == [2,2,3]\n igualesAlSiguiente [1..10] == []\n<\/pre>\nSoluciones<\/h4>\n\nimport Data.List (group)\nimport Test.QuickCheck (quickCheck)\n\n-- 1\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente1 :: Eq a => [a] -> [a]\nigualesAlSiguiente1 xs =\n [x | (x, y) <- consecutivos1 xs, x == y]\n\n-- (consecutivos1 xs) es la lista de pares de elementos consecutivos en\n-- xs. Por ejemplo,\n-- consecutivos1 [3,5,2,7] == [(3,5),(5,2),(2,7)]\nconsecutivos1 :: [a] -> [(a, a)]\nconsecutivos1 xs = zip xs (tail xs)\n\n-- 2\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente2 :: Eq a => [a] -> [a]\nigualesAlSiguiente2 xs =\n [x | (x,y) <- consecutivos2 xs, x == y]\n\n-- (consecutivos2 xs) es la lista de pares de elementos consecutivos en\n-- xs. Por ejemplo,\n-- consecutivos2 [3,5,2,7] == [(3,5),(5,2),(2,7)]\nconsecutivos2 :: [a] -> [(a, a)]\nconsecutivos2 (x:y:zs) = (x,y) : consecutivos2 (y:zs)\nconsecutivos2 _ = []\n\n-- 3\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente3 :: Eq a => [a] -> [a]\nigualesAlSiguiente3 (x:y:zs) | x == y = x : igualesAlSiguiente3 (y:zs)\n | otherwise = igualesAlSiguiente3 (y:zs)\nigualesAlSiguiente3 _ = []\n\n-- 4\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente4 :: Eq a => [a] -> [a]\nigualesAlSiguiente4 xs = concat [ys | (_:ys) <- group xs]\n\n-- 5\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente5 :: Eq a => [a] -> [a]\nigualesAlSiguiente5 xs = concat (map tail (group xs))\n\n-- 6\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente6 :: Eq a => [a] -> [a]\nigualesAlSiguiente6 xs = tail =<< group xs\n\n-- 7\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente7 :: Eq a => [a] -> [a]\nigualesAlSiguiente7 = (tail =<<) . group\n\n-- 8\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente8 :: Eq a => [a] -> [a]\nigualesAlSiguiente8 xs = concatMap tail (group xs)\n\n-- 9\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente9 :: Eq a => [a] -> [a]\nigualesAlSiguiente9 = concatMap tail . group\n\n-- 10\u00aa soluci\u00f3n\n-- ===========\n\nigualesAlSiguiente10 :: Eq a => [a] -> [a]\nigualesAlSiguiente10 xs = aux xs (tail xs)\n where aux (u:us) (v:vs) | u == v = u : aux us vs\n | otherwise = aux us vs\n aux _ _ = []\n\n-- Equivalencia de las definiciones\n-- ================================\n\n-- La propiedad es\nprop_igualesAlSiguiente :: [Int] -> Bool\nprop_igualesAlSiguiente xs =\n all (== igualesAlSiguiente1 xs)\n [igualesAlSiguiente2 xs,\n igualesAlSiguiente3 xs,\n igualesAlSiguiente4 xs,\n igualesAlSiguiente5 xs,\n igualesAlSiguiente6 xs,\n igualesAlSiguiente7 xs,\n igualesAlSiguiente8 xs,\n igualesAlSiguiente9 xs,\n igualesAlSiguiente10 xs]\n\nverificacion :: IO ()\nverificacion = quickCheck prop_igualesAlSiguiente\n\n-- La comprobaci\u00f3n es\n-- \u03bb> verificacion\n-- +++ OK, passed 100 tests.\n\n-- Comparaci\u00f3n de eficiencia\n-- =========================\n\n-- La comparaci\u00f3n es\n-- > ej = concatMap show [1..10^6]\n-- (0.01 secs, 446,752 bytes)\n-- \u03bb> length ej\n-- 5888896\n-- (0.16 secs, 669,787,856 bytes)\n-- \u03bb> length (show (igualesAlSiguiente1 ej))\n-- 588895\n-- (1.60 secs, 886,142,944 bytes)\n-- \u03bb> length (show (igualesAlSiguiente2 ej))\n-- 588895\n-- (1.95 secs, 1,734,143,816 bytes)\n-- \u03bb> length (show (igualesAlSiguiente3 ej))\n-- 588895\n-- (1.81 secs, 1,178,232,104 bytes)\n-- \u03bb> length (show (igualesAlSiguiente4 ej))\n-- 588895\n-- (1.43 secs, 1,932,010,304 bytes)\n-- \u03bb> length (show (igualesAlSiguiente5 ej))\n-- 588895\n-- (0.40 secs, 2,016,810,320 bytes)\n-- \u03bb> length (show (igualesAlSiguiente6 ej))\n-- 588895\n-- (0.32 secs, 1,550,409,984 bytes)\n-- \u03bb> length (show (igualesAlSiguiente7 ej))\n-- 588895\n-- (0.34 secs, 1,550,410,104 bytes)\n-- \u03bb> length (show (igualesAlSiguiente8 ej))\n-- 588895\n-- (0.33 secs, 1,550,410,024 bytes)\n-- \u03bb> length (show (igualesAlSiguiente9 ej))\n-- 588895\n-- (0.33 secs, 1,550,450,968 bytes)\n-- \u03bb> length (show (igualesAlSiguiente10 ej))\n-- 588895\n-- (1.54 secs, 754,272,600 bytes)\n<\/pre>\n