A
+(3 :: Int)
Size: a a a
2021 February 15
к
если правый аргумент Integer, то и левый, значит read спарсит в Integer
A
ага
A
ну это в частности объяснение, почему если вообще ничего, то все равно работает - 3 это какой-нибудь Num и ghc выбрал такой, какой ему нравится.
A
И никакого мата "а я не знаю, какой вам нужен read" - такой, какой выбран для 3
T
Так. Я понимаю, что неправ с применением read, но не понимаю, почему неправ.
T
шакал, но вроде видно
к
getLine это IO String
read @Int <$> getLine это IO Int
read @Int <$> getLine это IO Int
к
а функция lucky принимает Int, а не IO Int
T
Точнее, я не понимаю, как IO Int превратить в Int
Какую волшебную палочку для этого нужно использовать?
Какую волшебную палочку для этого нужно использовать?
к
1. <- в ду-нотации
do
x <- read @Int <$> getLine
putStrLn (lucky x)
do
x <- read @Int <$> getLine
putStrLn (lucky x)
к
2. явно сделать бинд
(read @Int <$> getLine) >>= \x -> putStrLn (lucky x)
(первый вариант это сахар для второго)
(read @Int <$> getLine) >>= \x -> putStrLn (lucky x)
(первый вариант это сахар для второго)
к
3. вариант что выше кидали, просто =<< вместо >>=
(\x -> putStrLn (lucky x)) =<< read @Int <$> getLine
и то же самое
putStrLn . lucky x =<< read @Int <$> getLine
(\x -> putStrLn (lucky x)) =<< read @Int <$> getLine
и то же самое
putStrLn . lucky x =<< read @Int <$> getLine
T
1. <- в ду-нотации
do
x <- read @Int <$> getLine
putStrLn (lucky x)
do
x <- read @Int <$> getLine
putStrLn (lucky x)
А чем этот хрен слаще той редьки?
T
Разницу вижу, но не осознаю
к
той это какой?
к
<- это не "присваивание", это в данном случае выполнить дейстие типа "IO Int" и поместить в x результат типа Int
T
The Lord of Hypercomplex Numbers
Так. Я понимаю, что неправ с применением read, но не понимаю, почему неправ.
Ну
Если я правильно понял, то последняя строка аналогична чему-то типа
Или я снова неправ?
Если я правильно понял, то последняя строка аналогична чему-то типа
x = read @Int <$> getLine
putSTrLn $ lucky x
Или я снова неправ?
к
можно всегда считать, что
g = do
x <- y
f x
это то же самое что и
g = y >>= \x -> f x
g = do
x <- y
f x
это то же самое что и
g = y >>= \x -> f x
к
The Lord of Hypercomplex Numbers
Ну
Если я правильно понял, то последняя строка аналогична чему-то типа
Или я снова неправ?
Если я правильно понял, то последняя строка аналогична чему-то типа
x = read @Int <$> getLine
putSTrLn $ lucky x
Или я снова неправ?
нет, аналогично твоему коду будет
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