Как заменить пару символы на драгие пары символов в строке?

Question

[Антон @ Лялин]

Вводится строка, нужно в этой строке заменить пару символов на другую пару символов, например,
Такая строка "ababbbbaaa"
И заменить ab на ba на языке Haskell

Answer 1

[youngmysteriouslight]

Однострочник

f :: String -> String -> String -> String
f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b

Свойства решения: ленивое, работает с бесконечными строками, заменяет первое вхождение подстроки a на b в случае неоднозначной замены (напр., f "aaa" "a" "b" == "ba"), временная сложность O(N) по N = length(str).
Что можно улучшить: 1) обработка хвоста длины < length(b), 2) оформить код как многострочную читаемую функцию, 3) выделить функцию \s -> f s a b как локальную или даже поменять исходных порядок аргументов.

Comments

[Антон @ Лялин]

Пишет следующее, как я понял, не подключены модули. Что подключить?
Haskell стал изучать недавно
Ambiguous occurrence ‘length’
It could refer to either ‘Prelude.length’,
imported from ‘Prelude’ at src/Main.hs:1:1
(and originally defined in ‘Data.Foldable’)
or ‘Data.Text.length’,
imported from ‘Data.Text’ at src/Main.hs:1:1-16
|
5 | f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b
| ^^^^^^

src/Main.hs:5:36: error:
Ambiguous occurrence ‘take’
It could refer to either ‘Prelude.take’,
imported from ‘Prelude’ at src/Main.hs:1:1
(and originally defined in ‘GHC.List’)
or ‘Data.Text.take’,
imported from ‘Data.Text’ at src/Main.hs:1:1-16
|
5 | f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b
| ^^^^

src/Main.hs:5:65: error:
Ambiguous occurrence ‘drop’
It could refer to either ‘Prelude.drop’,
imported from ‘Prelude’ at src/Main.hs:1:1
(and originally defined in ‘GHC.List’)
or ‘Data.Text.drop’,
imported from ‘Data.Text’ at src/Main.hs:1:1-16
|
5 | f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b
| ^^^^

src/Main.hs:5:112: error:
Ambiguous occurrence ‘head’
It could refer to either ‘Prelude.head’,
imported from ‘Prelude’ at src/Main.hs:1:1
(and originally defined in ‘GHC.List’)
or ‘Data.Text.head’,
imported from ‘Data.Text’ at src/Main.hs:1:1-16
|
5 | f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b
| ^^^^

src/Main.hs:5:126: error:
Ambiguous occurrence ‘tail’
It could refer to either ‘Prelude.tail’,
imported from ‘Prelude’ at src/Main.hs:1:1
(and originally defined in ‘GHC.List’)
or ‘Data.Text.tail’,
imported from ‘Data.Text’ at src/Main.hs:1:1-16
|
5 | f str a b = let n = length a in if take n str == a then b ++ f (drop n str) a b else if str == "" then "" else head str : f (tail str) a b

[youngmysteriouslight]

Ambiguous occurrence ‘length’

Неоднозначность: две разные сущности названы одним именем. Более точно, есть стандартные (т.е. из пакета Prelude) функции length, take, head, tail и из подключенного пакета Data.Text. Хаскель не умеет делать overload, как, скажем, Pascal, поэтому либо пишите Prelude.length в теле функции, либо подключите модуль Data.Text так, как написано в документации к модулю:
hackage.haskell.org/package/text-1.2.2.2/docs/Data...
import qualified Data.Text as T
и к её функциям обращайтесь через T.tail, T.head и т.п.

К слову, поскольку мы работаем с текстом, имеет смысл использовать именно а time and space-efficient implementation of Unicode text.

P.S. а зачем Вам Data.Text потребовался? Если задача учебная, то лучше бы её решить стандартными средствами.