Телеграмм чат группы haskellru страница 15583

»=
это вот, ага

03:04пожаловаться #1

например Set - не функтор, потому что там первое равенство не выполняется, там структура очень от элементов зависит, дерево, двойной мап поменяет структуру два раза

03:05пожаловаться #2

[

Кстати, тут хлс доёбывается до того, что код можно красивее сделать

03:07пожаловаться #3

Misha Puzanov in Haskell

это хлинт кажется

03:07пожаловаться #4

можно, да

лучше всего просто через do написать

03:07пожаловаться #5

[

это получается так, да?
f result =
do
a <- next resurlt
f a

03:09пожаловаться #6

ага

03:10пожаловаться #7

можно и однострочно всегда

f result = do a <- next result; f a

03:10пожаловаться #8

Misha Puzanov in Haskell

ну в данном случае нормальный совет же: next >=> f явно проще

03:11пожаловаться #9

ну, лично я бы не стал

мне нравится >=> когда есть явно однородные функции типа

checkA >=> checkB

а тут ну просто так совпало скорее

03:12пожаловаться #10

[

кстати, у тебя там ещё и импорт лишний

03:14пожаловаться #11

[

liftM

03:14пожаловаться #12

ну, может быть, liftM лучше вообще на liftA заменить, я просто не уверен был, как там определения выведутся все

03:15пожаловаться #13

liftM и ap это легаси функции сейчас, которые разве что вот для таких инстансов и можно использовать

03:16пожаловаться #14

[

не тип ты его в принципе в коде не заюзал😅

03:17пожаловаться #15

а, да, я функтор сдерайвил

03:17пожаловаться #16

там сначала было

instance Functor MyIO where
fmap = liftM

03:17пожаловаться #17

[

а вот тут MyIO a для Print и GetLine показывают, что после стринги идёт ещё элемент из этого типа?

03:24пожаловаться #18

[

Типа чтоб вот тут с next сматчилось, да?

03:25пожаловаться #19

в print пара из строки и следующего действия. "что вывести, и что делать дальше после этого". Колбек без параметров

в getline только следующее действие, но которое зависит от какой-то строки. "взять ввод и сделать что-то дальше с этим вводом". Колбек с параметром