p
Разница в том, что в отличие от верхнего примера, конструктор IO - это ссылочно прозрачная штука, она ничего не стартует, никаких задач.
она все равно стартанет рано или поздно
Size: a a a
2020 March 05
p
а кто запустит пофиг,
p
главное что она сработает
λ
та код страшный и непонятный
субъективщина
p
Требует не делать I/O напрямую, а инкапсулировать I/O в объект
он все равно исполнится...
λ
она все равно стартанет рано или поздно
или не стартанёт, если никаким образом не будет связана с IO в main
G
он все равно исполнится...
И хорошо, тебе же нужна работающая программа
p
или не стартанёт, если никаким образом не будет связана с IO в main
тогда эта программа бесполезная
p
И хорошо, тебе же нужна работающая программа
и тогда произойдет грязная операция, и результат ио подставится в место в твоем коде
G
и тогда произойдет грязная операция, и результат ио подставится в место в твоем коде
Грязная операция в интерпретаторе
G
Наш код ссылочное прозрачный
DS
и тогда произойдет грязная операция, и результат ио подставится в место в твоем коде
Разница в том, что у тебя весь твой код будет ссылочно прозрачным.
А раз он ссылочно прозрачный, то ты сможешь его рефакторить не боясь каких-то побочных эффектов, неявных зависимостей, глобальных переменных и т.п.
То, что делает за тебя рантайм - это уже не важно.
А раз он ссылочно прозрачный, то ты сможешь его рефакторить не боясь каких-то побочных эффектов, неявных зависимостей, глобальных переменных и т.п.
То, что делает за тебя рантайм - это уже не важно.
P
Грязная операция в интерпретаторе
найс, подмели комнату загнав всю грязь в угол
G
найс, подмели комнату загнав всю грязь в угол
В чем проблема?
p
по сути ты вместо:
"напечатай мне слово"
говоришь
"интерпретатор, напечатай мне слово"
а интепретатор говорит системе
"напечатай мне слово"
то есть все равно ио происходит, инициатором ИО являешься ты, просто кто-то другой выполнил эту функцию
"напечатай мне слово"
говоришь
"интерпретатор, напечатай мне слово"
а интепретатор говорит системе
"напечатай мне слово"
то есть все равно ио происходит, инициатором ИО являешься ты, просто кто-то другой выполнил эту функцию
DS
найс, подмели комнату загнав всю грязь в угол
Разница в том, что мы сохранили при этом все хорошие свойства ссылочной прозрачности у себя в коде.
P
В чем проблема?
в том, что все и так так делают
G
в том, что все и так так делают
Нет, код не ссылочно прозрачный на большинстве яп
P
Разница в том, что мы сохранили при этом все хорошие свойства ссылочной прозрачности у себя в коде.
так а при чём тут фп?
p
Разница в том, что мы сохранили при этом все хорошие свойства ссылочной прозрачности у себя в коде.
я не вижу ссылочной прозрачности в коде с ио