D
String = [Char]
Size: a a a
2021 January 13
АК
а насколько будет нормальным вместо [ 'ë', 'é', 'è', 'ê'] написать "ëéèê"?
у меня во втором случае пишет
Ambiguous type variable ‘t7’ arising from the literal ‘"ôö"’
prevents the constraint ‘(Data.String.IsString
(t7 Char))’ from being solved.
Ambiguous type variable ‘t7’ arising from the literal ‘"ôö"’
prevents the constraint ‘(Data.String.IsString
(t7 Char))’ from being solved.
AP
а насколько будет нормальным вместо [ 'ë', 'é', 'è', 'ê'] написать "ëéèê"?
Это одно и то же же. Нормально
AP
у меня во втором случае пишет
Ambiguous type variable ‘t7’ arising from the literal ‘"ôö"’
prevents the constraint ‘(Data.String.IsString
(t7 Char))’ from being solved.
Ambiguous type variable ‘t7’ arising from the literal ‘"ôö"’
prevents the constraint ‘(Data.String.IsString
(t7 Char))’ from being solved.
Потому что включили OverloadedStrings
AP
Теперь любой строковый литерал
"foo" — это не [Char], а IsString a => aAP
Используйте явный список символов
к
ну или указывать тип
("foo" :: String)
("foo" :: String)
A
ну в таком случае уже проще список. А есть ли возможность локально отключить расширение?
AP
Локально — нет. Только помодульно
AP
А касательно "проще", то кмк лучше сразу взять пакет вроде
unicode-transforms, нормализовать и отбросить модификаторы...AP
Пакет позволяет превратить
00C1 LATIN CAPITAL LETTER A WITH ACUTE
в
0041 LATIN CAPITAL LETTER A
0301 COMBINING ACUTE ACCENT
00C1 LATIN CAPITAL LETTER A WITH ACUTE
в
0041 LATIN CAPITAL LETTER A
0301 COMBINING ACUTE ACCENT
AP
А дальше нужно просто оставить вот эти вот LATIN
IK
Добрый день, можно ли в хаскеле как-то несколько паттернов на одной строчке уместить?
Те вместо
normalizeFrChar = \case
'ë' -> 'a'
'é' -> 'a'
'è' -> 'a'
'ê' -> 'a'
...
написать что-то вроде
...
case 'ë' | 'é' | 'è' | 'ê' => 'e'
...
Я провобал добавить https://wiki.haskell.org/MultiCase - но у меня ghc это расширение не подключает
Те вместо
normalizeFrChar = \case
'ë' -> 'a'
'é' -> 'a'
'è' -> 'a'
'ê' -> 'a'
...
написать что-то вроде
...
case 'ë' | 'é' | 'è' | 'ê' => 'e'
...
Я провобал добавить https://wiki.haskell.org/MultiCase - но у меня ghc это расширение не подключает
А у вас не возникнет проблемы с тем, что одна буква (é, например) не обязательно является одним Char?
AP
А у вас не возникнет проблемы с тем, что одна буква (é, например) не обязательно является одним Char?
Обычно является. Нужно очень постараться, чтобы не являлась.
AP
Французские буковки точно влезут
AP
А у вас не возникнет проблемы с тем, что одна буква (é, например) не обязательно является одним Char?
Проблемы могут быть со String, но может автор вопроса уже Text использует?
TA
Вопрос прозвучит как что-то не совсем конкретное,но есть ли способы в Haskell каким-то образом использовать две монады параллельно?
Что-то вроде такого:
pbind :: (m a,g b) -> (a -> b -> (m c,g d)) -> (m c,g d).
Есть вариант сделать m,g трансформерами с IO,и передавать a,b в IO,сначала сохранив их в IORef,а потом считывая их из переменных.
Но это такое себе,но даже если отбросить как таковую чистоту,то все равно это не очень хорошее решение ,как мне кажется будет по скорости,и хотелось бы вариант побыстрее.
Что-то вроде такого:
pbind :: (m a,g b) -> (a -> b -> (m c,g d)) -> (m c,g d).
Есть вариант сделать m,g трансформерами с IO,и передавать a,b в IO,сначала сохранив их в IORef,а потом считывая их из переменных.
Но это такое себе,но даже если отбросить как таковую чистоту,то все равно это не очень хорошее решение ,как мне кажется будет по скорости,и хотелось бы вариант побыстрее.
AP
Трансформеры работают достаточно быстро
AP
И это идиоматичный способ
AP
И что значит "параллельно"? Трансформеры и работают параллельно — оба эффекта сохраняются при биндинге