История изменений

Все под контролем.

Поэтому в haskell обычно используют понятие о ссылочной прозрачности, которая является достаточным условием для формальной чистоты, а также является обоснованием для ленивости. Революционность языка состоит в том, что практически все функции (за редким исключением тех функций, что используются в отладке, и пары единиц корявых функций) являются ссылочном-прозрачными, даже те, что создают побочные эффекты, например, оперируя с вводом-выводом в файлы, а также меняя содержимое ссылок.

Поэтому нет особой необходимости использовать термин формальной чистоты, поскольку он уже замещен более сильным понятием. И тогда ничего плохого нет в том, чтобы вольно трактовать чистоту.

Короче говоря, читайте книги, друзья, и практикуйтесь, чтобы не делать ляпов, изобретая собственную «терминологию» из-за непонимания существующей!

Все под контролем.

Поэтому в haskell обычно используют понятие о ссылочной прозрачности, которая является достаточным условием для формальной чистоты, а также является обоснованием для ленивости. Революционность языка состоит в том, что практически все функции (за редким исключением тех функций, что используются в отладке, и пары единиц других корявых функций) являются ссылочном-прозрачными, даже те, что создают побочные эффекты, например, оперируя с вводом-выводом в файлы, а также меняя содержимое ссылок.

Поэтому нет особой необходимости использовать термин формальной чистоты, поскольку он уже замещен более сильным понятием. И тогда ничего плохого нет в том, чтобы вольно трактовать чистоту.

Короче говоря, читайте книги, друзья, и практикуйтесь, чтобы не делать ляпов, изобретая собственную «терминологию» из-за непонимания существующей!

Все под контролем.

Поэтому в haskell обычно используют понятие о ссылочной прозрачности, которая является достаточным условием для формальной чистоты, а также является обоснованием для ленивости. Революционность языка состоит в том, что практически все функции (за редким исключением тех функций, что используются в отладке, и пары единиц других корявых функций) являются ссылочном-прозрачными, даже те, что создают побочные эффекты, например, оперируя с вводом-выводом в файлы, а также меняя содержимое ссылок.

Поэтому нет особой необходимости использовать термин формальной чистоты, поскольку он уже замещен более сильным понятием. И тогда ничего плохого нет в том, чтобы вольно трактовать чистоту.

Короче говоря, читайте книги, друзья, и практикуйтесь, чтобы не делать ляпов, изобретаю собственную «терминологию» из-за непонимания существующей!