АН
что такое детерминированность?
Когда можно определить результат по входным данным
getRandom — это значение, это даже не функция, там нет входных данныхSize: a a a
2019 December 30
NV
Каким входным данным?
NV
Нет ничего более детерминированного, чем свободное значение
АН
В начале любого гайда написано: Haskell is a PURE functional language. Слово PURE как раз и есть ответ на ваш вопрос: абсолютный детерминизм и функциональная чистота языка. Рантайм грязный, но язык чистый.
И что что написано? Мне нужно на слово поверить, а потом на задаваемые мне вопросы всех в жопу посылать что ли, как ты?
AB
Когда можно определить результат по входным данным
все, что не чистая функция - недетерминировано.
функция, про которую ты говоришь - не чистая по определению.
функция, про которую ты говоришь - не чистая по определению.
LW
И что что написано? Мне нужно на слово поверить, а потом на задаваемые мне вопросы всех в жопу посылать что ли, как ты?
Я отвечал на ваши вопросы аккуратно, пока вы не перешли на личности «то есть, вы не собираетесь». Задали бы вопрос корректно, получили бы корректный ответ. И получали!
АН
все, что не чистая функция - недетерминировано.
функция, про которую ты говоришь - не чистая по определению.
функция, про которую ты говоришь - не чистая по определению.
Какая именно?
AB
getRandom, вне зависимости, сетевой это рандом или системный
LW
все, что не чистая функция - недетерминировано.
функция, про которую ты говоришь - не чистая по определению.
функция, про которую ты говоришь - не чистая по определению.
Алекс, функция его чистая, не смущай народ. Она возвращает чистейший IO a
АН
Я отвечал на ваши вопросы аккуратно, пока вы не перешли на личности «то есть, вы не собираетесь». Задали бы вопрос корректно, получили бы корректный ответ. И получали!
Чел, можешь делать что хочешь. Я уже понял что ты агрессивный и объяснить что-то без агрессии не можешь. Не пиши мне больше, я не хочу с тобой общаться
NV
Какой избирательный
AK
"как взорвать эрланговый чатик какой-то оторванной от реальности псевдоакадемической хуитой, часть 1, избранное"
AB
Алекс, функция его чистая, не смущай народ. Она возвращает чистейший IO a
вот в этом месте начинаются такие тонкости отношений реального мира с чистыми функциями, что мне лично проще считать сразу ее не-чистой. =)
AB
Два вопроса, на которые величайшие учёные не могут ответить
1) как работает IO в чисто функциониональных языках
2) как работают суды при анкапе
1) как работает IO в чисто функциониональных языках
2) как работают суды при анкапе
😂😂
AB
вот в этом месте начинаются такие тонкости отношений реального мира с чистыми функциями, что мне лично проще считать сразу ее не-чистой. =)
как говорится, я не очень умный
ŹR
На самом деле, детерминированность IO это такая производная детерминированность, уровня «любая функция, исходный код которой не меняется во время работы программы детерминированна, потому что это набор инструкций для рантайма»
PG
"как взорвать эрланговый чатик какой-то оторванной от реальности псевдоакадемической хуитой, часть 1, избранное"
Вроде уже вторая часть
AB
но то, что монада IO по сути, языковое представление интерпретатора в рантайме - это я запомню, это хорошая иллюстрация