MK
Я думал об этом, но он тут причем?
Ты используешь
<$>Size: a a a
2020 December 25
MK
Который просто другое имя для fmap
MK
Применяет formatTime к тому, что лежит в ИО, и стринг обратно в ИО остаётся
JD
Ты используешь
<$>
Я сначала попытался сделать так, но оно ошибками гадит и выглядит как-то не очень
JD
Применяет formatTime к тому, что лежит в ИО, и стринг обратно в ИО остаётся
Спасибо за совет
MK
Ошибка непонятная из-за излишнего полиморфизма
MK
Напиши сигнатуру date :: IO String
MK
Увидишь более понятную ошибку
MK
(кажется)
MK
А может и нет
JD
Напиши сигнатуру date :: IO String
Ошибка та же
MK
Жаль
MK
Не beginner-friendly получается
MK
Но все же, спасибо за наводку. Пойду поищу сам
Суть в том, что formatTime, как ты и сказал, возвращает String
MK
А надо IO String
MK
К счастью способ сделать второе из первого есть и ты наверняка про него знаешь
JD
К счастью способ сделать второе из первого есть и ты наверняка про него знаешь
+- Помню
MK
В данном случае мне нужен именно String, а не IO
Как было сказано выше, что попало в ИО, там и останется