T
<- это не "присваивание", это в данном случае выполнить дейстие типа "IO Int" и поместить в x результат типа Int
Ух ты
Это со всеми IO X работает?
Это со всеми IO X работает?
Size: a a a
2021 February 15
к
да
T
нет, аналогично твоему коду будет
do
let x = read @Int <$> getLine
но тут x это все еще IO Int
нужно сделать
do
let x = read @Int <$> getLine
putSTrLn $ lucky xно тут x это все еще IO Int
нужно сделать
do
let x = read @Int <$> getLine
y <- x
putSTrLn $ lucky yблин, let
12
<- это не "присваивание", это в данном случае выполнить дейстие типа "IO Int" и поместить в x результат типа Int
типа flatmap что ли?
к
да, он и есть
T
да
Спасибо, постараюсь запомнить
к
The Lord of Hypercomplex Numbers
Ух ты
Это со всеми IO X работает?
Это со всеми IO X работает?
даже больше, это работает со всеми m a, если для m есть инстанс Monad
12
The Lord of Hypercomplex Numbers
Ух ты
Это со всеми IO X работает?
Это со всеми IO X работает?
кароче это то, что снимает магию IO и просто возвращает результат
T
кароче это то, что снимает магию IO и просто возвращает результат
о, ты и тут
JS
The Lord of Hypercomplex Numbers
Обрезать морочно, извинити
скриншоть окно (Alt+PrScr или через приложение)
JS
The Lord of Hypercomplex Numbers
Мы одинаково мыслим
Я тоже 10 вбил
Я тоже 10 вбил
42 уже не в чести
T
42 уже не в чести
Увы
JS
кароче это то, что снимает магию IO и просто возвращает результат
не снимает, а наоборот, втягивает следующий за ним код в IO
T
не снимает, а наоборот, втягивает следующий за ним код в IO
Так, вы меня не путайте
к
вот это рассахаривание должно помочь понять
к
Переслано от кана
можно всегда считать, что
g = do
x <- y
f x
это то же самое что и
g = y >>= \x -> f x
g = do
x <- y
f x
это то же самое что и
g = y >>= \x -> f x
к
g = y >>= (\x -> f x)
к
тут видно, что y никак не распаковывается, мы просто делаем что-то вроде колбека
JS
The Lord of Hypercomplex Numbers
Так, вы меня не путайте
вы не обрайте внимания. лучше сначала научиться пользоваться do-блоками, а потом переходить к монадам
T
Синтаксический сахар влияет на скорость работы кода? Будет ли "рассахаренный" код работать быстрее? Или я неверно представляю себе его суть?