G
нет
IO Int это что?
так рантйм это программа
то есть ты в программе вызываешь грязную функцию
Size: a a a
2020 March 05
G
Да, в чем проблема?
G
Я этого не вижу
p
Да, в чем проблема?
то что фп подразумевает чистые функции
G
то что фп подразумевает чистые функции
Да
G
Не вижу противоречий
DS
мистика
Потому что у любой функции, которая возвращает IO a, возвращаемое значение - это как раз IO a.
Тут всё норм. Из этих IO a ты собираешь их комбинаторами большое IO, которые возвращаешь в мейне.
Тут всё норм. Из этих IO a ты собираешь их комбинаторами большое IO, которые возвращаешь в мейне.
p
то есть у тебя пол программы фп а половина нет
P
хз, я вижу обычное разделение слоёв, а не какой-то особый "фп принцип"
G
то есть у тебя пол программы фп а половина нет
Грязную половину я не вижу
p
а какую-то gui это и все 100% грязных функций
P
environment boundary так сказать
λ
тоесть его не заменить?
IO в функциональной программе это значение. При чём значение структура которого скрыта от пользователя. Взаимодействовать ты с ним можешь только через определённый интерфейс, который не даёт возможности тебе нарушить ссылочную прозрачность.
p
Грязную половину я не вижу
io не видишь?
G
io не видишь?
IO вижу, оно чистое
G
IO в функциональной программе это значение. При чём значение структура которого скрыта от пользователя. Взаимодействовать ты с ним можешь только через определённый интерфейс, который не даёт возможности тебе нарушить ссылочную прозрачность.
^
DS
хз, я вижу обычное разделение слоёв, а не какой-то особый "фп принцип"
Тут разница в том, что ты не можешь словить проблем из-за каких-то неявных побочных действий.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
Потому что IO само по себе ничего не делает, пока не выполнено через main.
p
IO вижу, оно чистое
оно по умолчанию грязное, так как при разных входных данных возвращает разные значения
P
IO в функциональной программе это значение. При чём значение структура которого скрыта от пользователя. Взаимодействовать ты с ним можешь только через определённый интерфейс, который не даёт возможности тебе нарушить ссылочную прозрачность.
тоесть у тебя не может быть своей реализации IO?
G
оно по умолчанию грязное, так как при разных входных данных возвращает разные значения
Нет, оно чистое