Почему println считается нечистой функцией?

Я читаю книгу программирования в Scala, и там сказано:

... в этом случае его побочным эффектом является печать в стандартный поток вывода.

и я не вижу, где находится побочный эффект, так как для того же ввода println будет печатать один и тот же вывод (я думаю)
UPDATE,
например, каждый раз, когда мы вызываем:

println(5)

он напечатает 5 , я не вижу случая, когда вызов println(5)будет печатать значение, отличное от 5 !!

Вы можете сказать, имеет ли выражение побочный эффект, заменив выражение его результатом. Если программа меняет смысл , есть побочный эффект. Например,

println(5)

это другая программа

()

То есть побочный эффект - это любой наблюдаемый эффект, который не закодирован в результате вычисления выражения. Вот результат (), но в этом значении нет ничего, что кодировало бы тот факт, что 5 теперь появилось где-то на вашем экране.

Рассмотрим следующую аналогию

var out: String = ""
def myprintln(s: String) = {
  out += s // this non-local mutation makes me impure
  ()
}

Здесь myprintlnнечисто, потому что помимо возвращаемого значения ()оно также изменяет нелокальную переменную outв качестве побочного эффекта. Теперь представьте, outчто поток ванили printlnмутирует.

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

Хорошие ответы уже были даны на этот вопрос, но позвольте мне добавить два моих цента.

Если вы загляните внутрь printlnфункции по сути, это то же самое, что и java.lang.System.out.println()- когда вы вызываете стандартный библиотечный printlnметод Scala изнутри, он вызывает метод printlnдля PrintStreamэкземпляра объекта, который объявлен как поле outв Systemклассе (или, точнее, outVarв Consoleобъекте), что изменяет его внутреннее состояние. , Это можно рассматривать как еще одно объяснение, почему printlnэто нечистая функция.

Надеюсь это поможет!

Это связано с концепцией ссылочной прозрачности . Выражение является ссылочно прозрачным, если вы можете заменить его оцененным результатом без изменения программы .

Когда выражение не является ссылочно прозрачным, мы говорим, что оно имеет побочные эффекты .

f(println("effect"), println("effect"))
// isn't really equivalent to!
val x = println("effect")
f(x, x)

пока

import cats.effect.IO

def printlnIO(line: String): IO[Unit] = IO(println(line))

f(printlnIO("effect"), printlnIO("effect"))
// is equivalent to
val x = printlnIO("effect")
f(x, x)

Вы можете найти более подробное объяснение здесь: https://typelevel.org/blog/2017/05/02/io-monad-for-cats.html