G
И не нужно быть знатоком C++, это Си
Size: a a a
2020 March 05
λ
Вся суть этого дебильного спрора в том, что люди, которые умеют в ФП так же прекрасно умеют в оопе, но при этом прекрасно осознают его проблемы. Их оппоненты же имеют крайне опосредованное предоставление о ФП и пытаются со своим колхозным пониманием кого-то переспорить.
λ
как и ты
Нет
DS
но потом лямбду нужно вызвать
А вот эту нашу большую лямбду вызовет уже рантайм нашего языка.
P
Нет
ты там процедурщину писал и называл это "оопе"
λ
ты там процедурщину писал и называл это "оопе"
Нет
p
Теперь мы всю программу свою собираем из таких лямбд, каждая функция возвращает какое-то замыкание подобного типа.
Какое действие идёт по порядку за каким мы описываем через композицию подобных функций.
В итоге вся программа выглядит как гигансткая лямбда собранная из мелких копозицией.
И каждая функция в ней - ссылочно прозрачная, т.к. возвращает замыкание.
Какое действие идёт по порядку за каким мы описываем через композицию подобных функций.
В итоге вся программа выглядит как гигансткая лямбда собранная из мелких копозицией.
И каждая функция в ней - ссылочно прозрачная, т.к. возвращает замыкание.
не понимаю почему оборачивание одних функций в другие делает вложенные чистыми
а в чем преимущество такого подхода перед обычным вызовом извне?
а в чем преимущество такого подхода перед обычным вызовом извне?
DS
Вся суть этого дебильного спрора в том, что люди, которые умеют в ФП так же прекрасно умеют в оопе, но при этом прекрасно осознают его проблемы. Их оппоненты же имеют крайне опосредованное предоставление о ФП и пытаются со своим колхозным пониманием кого-то переспорить.
Суть спора в том, что не надо использовать термины "чистый" и "грязный" они путают людей и мешают из разобраться в ФП.
Надо использовать "ссылочно-прозрачный"
Надо использовать "ссылочно-прозрачный"
DS
не понимаю почему оборачивание одних функций в другие делает вложенные чистыми
а в чем преимущество такого подхода перед обычным вызовом извне?
а в чем преимущество такого подхода перед обычным вызовом извне?
Не чистыми, оно делает их ссылочно-прозрачными.
P
Нет
ну как же нет, если по твоим словам видно что ты не в курсе, как пишут в прод на ооп
DS
Вот то, свойство, что можно вызов каждой фукнции заменить на её значение
p
Не чистыми, оно делает их ссылочно-прозрачными.
замени чистая на ссылочно-прозрачная
P
не понимаю почему оборачивание одних функций в другие делает вложенные чистыми
а в чем преимущество такого подхода перед обычным вызовом извне?
а в чем преимущество такого подхода перед обычным вызовом извне?
в моках
p
Вот то, свойство, что можно вызов каждой фукнции заменить на её значение
если я заменю
foo <- read_line
на
foo = "a"
это будет неравноценно
foo <- read_line
на
foo = "a"
это будет неравноценно
DS
замени чистая на ссылочно-прозрачная
А делает тем, что теперь вызов каждой функции можно заменить на её значение.
Соответственно рефакторить становится сильно проще, т.к. не нужно включать мозг относительно того, какая функция, что именно внутри себя делает, можно безопасно заменить её вызов на то значение, что она возвращает и т.д.
Соответственно рефакторить становится сильно проще, т.к. не нужно включать мозг относительно того, какая функция, что именно внутри себя делает, можно безопасно заменить её вызов на то значение, что она возвращает и т.д.
λ
если я заменю
foo <- read_line
на
foo = "a"
это будет неравноценно
foo <- read_line
на
foo = "a"
это будет неравноценно
Но тут нет вызова read_line
P
Вся суть этого дебильного спрора в том, что люди, которые умеют в ФП так же прекрасно умеют в оопе, но при этом прекрасно осознают его проблемы. Их оппоненты же имеют крайне опосредованное предоставление о ФП и пытаются со своим колхозным пониманием кого-то переспорить.
s/ФП/ООП/
s/оопе/фпе/
s/оопе/фпе/
S
Вся суть этого дебильного спрора в том, что люди, которые умеют в ФП так же прекрасно умеют в оопе, но при этом прекрасно осознают его проблемы. Их оппоненты же имеют крайне опосредованное предоставление о ФП и пытаются со своим колхозным пониманием кого-то переспорить.
Вся суть этого дебильного спрора в том, что люди, которые умеют в ООП так же прекрасно умеют в фпе, но при этом прекрасно осознают его проблемы. Их оппоненты же имеют крайне опосредованное предоставление о ФП и пытаются со своим колхозным пониманием кого-то переспорить.
p
Но тут нет вызова read_line
<-
λ
Это не вызов функции