subSTR :: String -> String -> Bool
Eso es lo que llevo, pero no sé como comparar las posiciones de cada String.
El problema tiene enfoques diferentes. Lo primero es que se puede generalizar a cualquier lista, no sólo a strings (lista de caracteres). En el caso general, la signatura sería:
isInclude :: Eq a => [a] -> [a] -> Bool
El enfoque más típico de haskell es usar recursividad para ir reduciendo el problema en cada paso:
isInclude :: Eq a => [a] -> [a] -> Bool
isInclude [] _ = True
isInclude _ [] = False
isInclude xs ys | xs == take (length xs) ys = True
| otherwise = isInclude xs (tail ys)
En el primer caso, consideramos que la lista vacía siempre está incluida en cualquier otra lista. En el segundo caso, consideramos que en la lista vacía no hay ninguna lista incluida, con excepción de la propia lista vacía (que ya estaría considerada en el primer caso). En el tercer caso, chequeamos si la lista es igual al fragmento inicial de la misma longitud. Si no lo es, reiteramos el proceso con la cola.
Se puede hacer más corta usando la función tails
. Esta función la podríamos importar del módulo Data.List
, pero se puede expresar rápidamente de la siguiente manera:
tails :: [a] -> [[a]]
tails [] = [[]]
tails xs@(_:ys) = xs : tails ys
Por poner un ejemplo:
tails "Hola" --> ["Hola","ola","la","a",""]
Los elementos de esta lista los acortamos a la longitud de la lista a comparar:
[take (length xs) ys' | ys' <- tails ys]
Y añadimos la comparación:
[xs == take (length xs) ys' | ys' <- tails ys]
Lo último que falta es saber si alguna de estas comparaciones es True:
or [xs == take (length xs) ys' | ys' <- tails ys]
Si lo ponemos todo junto:
isInclude :: Eq a => [a] -> [a] -> Bool
isInclude xs ys = or [xs == take (length xs) ys' | ys' <- tails ys]
Refactorizando:
isInclude :: Eq a => [a] -> [a] -> Bool
isInclude xs ys = any (xs==) . map (take $ length xs) $ tails ys
Refactorizando un poco más:
isInclude :: Eq a => [a] -> [a] -> Bool
isInclude xs = any (xs==) . map (take $ length xs) . tails
String
como una lista y chequear si una lista está contenida en la otra.