Definir la función
|
1 |
alfabetoDesde :: Char -> String |
tal que (alfabetoDesde c) es el alfabeto, en minúscula, comenzando en el carácter c, si c es una letra minúscula y comenzando en ‘a’, en caso contrario. Por ejemplo,
|
1 2 3 4 5 |
alfabetoDesde 'e' == "efghijklmnopqrstuvwxyzabcd" alfabetoDesde 'a' == "abcdefghijklmnopqrstuvwxyz" alfabetoDesde '7' == "abcdefghijklmnopqrstuvwxyz" alfabetoDesde '{' == "abcdefghijklmnopqrstuvwxyz" alfabetoDesde 'B' == "abcdefghijklmnopqrstuvwxyz" |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
import Data.Char (isLower, isAscii) import Test.QuickCheck -- 1ª solución alfabetoDesde1 :: Char -> String alfabetoDesde1 c = dropWhile (<c) ['a'..'z'] ++ takeWhile (<c) ['a'..'z'] -- 2ª solución alfabetoDesde2 :: Char -> String alfabetoDesde2 c = ys ++ xs where (xs,ys) = span (<c) ['a'..'z'] -- 3ª solución alfabetoDesde3 :: Char -> String alfabetoDesde3 c = ys ++ xs where (xs,ys) = break (==c) ['a'..'z'] -- 4ª solución alfabetoDesde4 :: Char -> String alfabetoDesde4 c | 'a' <= c && c <= 'z' = [c..'z'] ++ ['a'..pred c] | otherwise = ['a'..'z'] -- 5ª solución alfabetoDesde5 :: Char -> String alfabetoDesde5 c | isLower c = [c..'z'] ++ ['a'..pred c] | otherwise = ['a'..'z'] -- Comprobación de equivalencia -- ============================ -- La propiedad es prop_alfabetoDesde :: Property prop_alfabetoDesde = forAll (arbitrary `suchThat` isAscii) $ \c -> all (== alfabetoDesde1 c) [f c | f <- [alfabetoDesde2, alfabetoDesde3, alfabetoDesde4, alfabetoDesde5]] -- La comprobación es -- λ> quickCheck prop_alfabetoDesde -- +++ OK, passed 100 tests. |
El código se encuentra en GitHub.
La elaboración de las soluciones se muestra en el siguiente vídeo