Definir la funci\u00f3n<\/p>\n
\n frecuencias :: Ord a => [a] -> Map a Int\n<\/pre>\ntal que (frecuencias xs)<\/code> es el diccionario formado por los elementos de xs<\/code> junto con el n\u00famero de veces que aparecen en xs<\/code>. Por ejemplo,<\/p>\n\n \u03bb> frecuencias \"sosos\"\n fromList [('o',2),('s',3)]\n \u03bb> frecuencias (show (10^100))\n fromList [('0',100),('1',1)]\n \u03bb> frecuencias (take (10^6) (cycle \"abc\"))\n fromList [('a',333334),('b',333333),('c',333333)]\n \u03bb> size (frecuencias (take (10^6) (cycle [1..10^6])))\n 1000000\n<\/pre>\nSoluciones<\/h4>\n\nimport Data.List (foldl')\nimport Data.Map (Map, empty, insertWith, fromList, fromListWith, size)\nimport Test.QuickCheck\n\n-- 1\u00aa soluci\u00f3n\n-- ===========\n\nfrecuencias1 :: Ord a => [a] -> Map a Int\nfrecuencias1 [] = empty\nfrecuencias1 (x:xs) = insertWith (+) x 1 (frecuencias1 xs)\n\n-- 2\u00aa soluci\u00f3n\n-- ===========\n\nfrecuencias2 :: Ord a => [a] -> Map a Int\nfrecuencias2 = foldl' (\\d x-> insertWith (+) x 1 d) empty\n\n-- 3\u00aa soluci\u00f3n\n-- ===========\n\nfrecuencias3 :: Ord a => [a] -> Map a Int\nfrecuencias3 xs = fromListWith (+) (zip xs (repeat 1))\n\n-- Equivalencia de las definiciones\n-- ================================\n\n-- La propiedad es\nprop_frecuencias :: [Int] -> Bool\nprop_frecuencias xs =\n all (== frecuencias1 xs)\n [ frecuencias2 xs\n , frecuencias3 xs]\n\n-- La comprobaci\u00f3n es\n-- \u03bb> quickCheck prop_frecuencias\n-- +++ OK, passed 100 tests.\n\n-- Comparaci\u00f3n de eficiencia\n-- =========================\n\n-- La comparaci\u00f3n es\n-- \u03bb> frecuencias1 (take (10^6) (cycle \"abc\"))\n-- fromList [('a',333334),('b',333333),('c',333333)]\n-- (0.89 secs, 453,842,448 bytes)\n-- \u03bb> frecuencias2 (take (10^6) (cycle \"abc\"))\n-- fromList [('a',333334),('b',333333),('c',333333)]\n-- (0.54 secs, 274,181,128 bytes)\n-- \u03bb> frecuencias3 (take (10^6) (cycle \"abc\"))\n-- fromList [('a',333334),('b',333333),('c',333333)]\n-- (0.29 secs, 313,787,976 bytes)\n \n-- \u03bb> size (frecuencias1 (take (10^6) (cycle [1..10^6])))\n-- 1000000\n-- (3.76 secs, 2,651,926,024 bytes)\n-- \u03bb> size (frecuencias2 (take (10^6) (cycle [1..10^6])))\n-- 1000000\n-- (1.03 secs, 1,640,678,448 bytes)\n-- \u03bb> size (frecuencias3 (take (10^6) (cycle [1..10^6])))\n-- 1000000\n-- (0.88 secs, 1,672,678,536 bytes)\n<\/pre>\n