G
Size: a a a
G
P
G
P
G
P
G
G
P
G

P
G
P
P
P
P
Т8

expression можно заменить на его значение без изменения работы программы. Чистая функция - та функция, вызов которой обладает ссылочной прозрачностью.print_something, our_main и print_really_big чистые (о чём свидетельствует const), т.к. всегда возвращается эквивалентный Future. Внутри себя Future делает I/O.main - это то, что творится в интерпретаторе функционального языка программирования. Он вызывает наш our_main и уже делает грязную работу.G
- Но I/O же всё равно делается!
Пусть делается, наша программа же должна как-то работать. Просто мы хотим от ФП языка одновременно и ссылочную прозрачность, и возможность полноценного I/O.
Т8
- Но I/O же всё равно делается!
Пусть делается, наша программа же должна как-то работать. Просто мы хотим от ФП языка одновременно и ссылочную прозрачность, и возможность полноценного I/O.
G