SP
Если ты на полном серьезе, то почитай что такое аутизм.
спасибо блядь, двух друзей с диагностированным РАС мне мало
Size: a a a
2020 June 26
p
спасибо блядь, двух друзей с диагностированным РАС мне мало
У меня тоже были знакомые с аутизмом. И они совсем иначе себя вели.
p
А на чем этот чувак пишет?
p
На го?
SP
я уже объяснял почему с монадкой такого бы не произошло (скорее всего офк, вероятность что я бы упал лицом в клавиатуру и все равно написал бы дичь остается)
как говно может произойти с ио монадой? да очень просто. снаружи монадки есть глобалка в виде файла. по ходу конфигурации программы эта монадка дрочится. нарушается последовательность и у тебя например меняется вторая строчка файла которая была не второй и все
SP
А на чем этот чувак пишет?
вобщем короче прочувствуй его боль. он хочет чего то очень упорядоченного и полного контроля причем нерационально, не понимая что тс даст ему больше контроля
SP
ну вот этот вот свой язык-подмножество жс
SP
у аутистов большой страх что если чтото пойдет не по плану им пизда
AZ
как говно может произойти с ио монадой? да очень просто. снаружи монадки есть глобалка в виде файла. по ходу конфигурации программы эта монадка дрочится. нарушается последовательность и у тебя например меняется вторая строчка файла которая была не второй и все
Ну во-первых функция остается чистой (снаружи её могут люди композировать и если они не захотят, то с файлом ничего не будет)
во-вторых ИО действительно слишком мощная монада, поэтому обычно пользуется специализированными попроще, а ИО только в мейне и есть
во-вторых ИО действительно слишком мощная монада, поэтому обычно пользуется специализированными попроще, а ИО только в мейне и есть
SP
всмысле функция останется чистой? если функция дописывает чтото в файл если ты вызовешь её два раза то в файл запишется два раза, не ?
SP
опять пошли эти сценарии "мы можем подсунуть вместо ои мок, и функции которые просят явного ио это сьедят"
AZ
всмысле функция останется чистой? если функция дописывает чтото в файл если ты вызовешь её два раза то в файл запишется два раза, не ?
нет
SP
а почему нет? это уже интригует
AZ
ну вот смотри:
writeInFile :: String -> IO ()
...
let x = writeInFile "Hello"
let y = writeInFile "Hello"
...
AZ
вот два вызова функции
AZ
(да, в ленивом хаскелле реального вызова нет, через банг-паттерны можешь сделать, в идрисе реально будет два вызова, но для нас это ничего не меняет)
SP
так это не вызов. ты каррируешь просто чтобы её вызвали потом
AZ
так это не вызов. ты каррируешь просто чтобы её вызвали потом
ну это на самом деле вызов
SP
ты давай как положено: x >== y
AZ
посмотрим такой пример на расте:
fn writeInFile() -> IO<()> {
println!("AHAHAHA");
IO::pure(());
}