s
Если, конечно, 144hz не брать.
Size: a a a
2021 April 27
ΑZ
то есть если заменить вызов System.Console.WriteLine на () то будет эквивалентно?
TK
Вот здесь, например, я заменю строку на какую-то известную мне до запуска (предполагается, что я бы её ввёл). Программа и дальше себя будет вести, как задумано, но что с консолью? В ней не пришлось ничего печатать и заполнять часть буфера. А что если я решил никогда не вводить? Тогда это bottom-тип. Можно ли сделать let s: String = loop {}? А = panic!()?
ΑZ
можно, прям как в хаскелле
TK
То есть это даже не IO из хаскеля, здесь грубо нарушается ссылочная прозрачность
X
Да ладно
ΑZ
если я в хачкеле сделаю
A = head [] то что дальше? А let s = mapM_ (const (pure "")) [1..]?X
А всякие сырые указвтели и заимствования ни разу её не нарушают, конечно же
X
Только лупы и паника
p
может если заменить эту хуйню на async wait и норм будет
p
но пока не - хуйня
DS
Хотя бы заинлайнив её тело за место вызова, т.к. хаскель язык ленивый, то передача RealWorld токена будет определять нужный порядок исполнения:
myIO :: IO IntСобственно мы можем заменить любой вызов myIO на полученную выше функцию из старого токена в новый + значение.
myIO = IO $ \token -> let (token1, x) = (unIO readInt) token, (token2, y) = (unIO readInt) token1 in (token2, x + y)
myIORuns :: IO Int
myIORuns = do
x <- myIO
y <- myIO
pure $ x + y
DS
Я там при копировании из поста ошибся, там очевидно функция из токена в пару
ΑZ
это вопрос тупо ду нотации
ΑZ
сути не меняет
ΑZ
но с ней куда удобнее, да
p
меняет
TK
Меняет
p
удобство использования самое главное
ΑZ
так ты тему не меняй