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

Ммм

01:34пожаловаться

А я думал, это мир берет IO

01:35пожаловаться

Main, точнее

01:35пожаловаться

Aldar in Haskell

функция Main наоборот осуществляет ввод вывод и возвращает unit ()

01:37пожаловаться

Мы тут как раз обсуждали же

01:38пожаловаться

Что мэйн ниче не дедает

01:38пожаловаться

Чо за наркомания тут происходит?!

01:38пожаловаться

Aldar in Haskell

как ничего не делает, main имеет тип IO ()

01:39пожаловаться

Ну и что

01:39пожаловаться

Aldar in Haskell

это значит что она может осуществлять ввод вывод и возвращает ()

01:39пожаловаться

Ну стой

01:40пожаловаться

Вот есть putStrLn "foo"

Оно ж ниче не делает

Байнд для IO не встроен, не надо тут врать

Заходите в сырцы base и смотрите определение

Так же как и заглянуть в IO можно, но в большинстве случаев не нужно и вредно, т.к. надо понимать, что делаешь

01:42пожаловаться

Не ходите дети за гаражи

01:42пожаловаться

Доберусь до сырц - загляну

01:43пожаловаться

А что там?

Vladislav 🇺🇸🚜🇷🇺 in Haskell

01:43пожаловаться

V🇺

http://stackoverflow.com/questions/9244538/what-are-the-definitions-for-and-return-for-the-io-monad

Stack Overflow

What are the definitions for >>= and return for the IO monad?

After seeing how the List and Maybe monads are defined, I naturally became curious about how
the operations >>= and return are defined for the IO monad.