АХ
Как удалить из него пустые, т. е. те, которые получены через return()?
Никак
Size: a a a
2020 July 08
PL
:(
PL
А как превратить его в список String?
A
Есть IO String, есть IO ()
А как у тебя в одном списке IO String и IO () ?
A
Ты лучше опиши задачу, которую пытаешься решить.
֍֎
Есть IO String, есть IO ()
В
В данном примере можно сделать так:
Haskell списки могут содержать только значения одного и того же типа, для значений разных типов придуманы такие обертки, как Either.В данном примере можно сделать так:
doSomeComputations :: [IO (Either String ())]
stripEmpty :: [IO (Either String ())] -> [IO String]
stripEmpty [] = []
stripEmpty (x:xs) = do
val <- x
case val of
Left str -> return str : xs'
Right empty -> xs'
where
xs' = stripEmpty xs
PL
У меня есть функция, которая печатает строку, либо печатает пустую строку (return ())
֍֎
У меня есть функция, которая печатает строку, либо печатает пустую строку (return ())
Какой ее тип?
PL
containTranslation :: String -> String -> String -> IO()
֍֎
containTranslation :: String -> String -> String -> IO()
Она всегда возвращает
()PL
Вот, и есть другая функция, которая должна собрать вывод для нескольких функций containTranlsation
АБ
IO a -- не Eq
֍֎
Вот, и есть другая функция, которая должна собрать вывод для нескольких функций containTranlsation
Имеется в виду то, что
containTranslation напечатала?PL
Да.
PL
let ioArray = map (\i -> containTranslation word (list !! i) (dictionary !! i)) indexArray
АБ
Сравнить два
IO нельзя (по крайней мере без unsafe)֍֎
Да.
Тогда
containTranslation должен не печатать, а возвращать строку, а если он ее не всегда возвращает - есть MaybePL
Тогда
containTranslation должен не печатать, а возвращать строку, а если он ее не всегда возвращает - есть MaybeПотом я собираю вывод вот так: mconcat $ intersperse (putStr ", ") ioArray
֍֎
Потом я собираю вывод вот так: mconcat $ intersperse (putStr ", ") ioArray
Гораздо проще будет возвращать строку
PL
Да, я знаю, что проще...