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

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

Неформальная - потому что как ты будешь определять, есть ли побочные эффекты у конкретного параметризованного монадного трансформера? А ведь там все формально строго. Однако, параметризация может дать как код с побочными эффектами, так и без них.

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

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

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

Неформальная - потому что как ты будешь определять, есть ли побочные эффекты у конкретного параметризованного монадного трансформера? А ведь там все формально строго. Однако, параметризация может дать как код с побочными эффектами, так и без них.

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

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

Это удобная неформальная (!!) интерпретация для рассуждений о коде, но строго формально код с побочными эффектами может быть чистым (изучай).

Неформальная - потому что как ты будешь определять, есть ли побочные эффекты у конкретного параметризованного монадного трансформера? А ведь там все формально строго. Однако, параметризация может дать как код с побочными эффектами, так и без них.

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

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