Привет. Считается ли хотя бы одна из этих функций "чистой"? Они

Question

Привет. Считается ли хотя бы одна из этих функций "чистой"? Они

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

Это не Хаскель, а Go, но я подумал, что вы тут в этом разбираетесь лучше.

#haskell #programming #russian

0

12.06.2022

15 ответов

22 просмотра

ㅤ Атеист

Наверное, кто-то спросит, а что вообще такое "чистая функция" (в Go)?

0

12.06.2022

Self.

Первая функция недетерминированная, свойство ссылочной прозрачности не соблюдается, поэтому функция не является чистой

0

12.06.2022

ㅤ Атеист

(ну, там производится вызов time.Now(). думаю, в Haskell без грязных хаков из чистой функции получить текущее время нельзя)

0

12.06.2022

synalice Автор вопроса

ㅤ Атеист
Наверное, кто-то спросит, а что вообще такое "чист...

Если без сложных формулировок, мне кажется, что что-то, что не меняет окружающее состояние и всегда при выполнении выдаёт на один и тот же вход один и тот же выход. А такое, в общем-то, в любом языке провернуть можно.

0

12.06.2022

ㅤ Атеист

synalice
Если без сложных формулировок, мне кажется, что чт...

> Если без сложных формулировок, мне кажется, что что-то, что не меняет окружающее состояние и всегда при выполнении выдаёт на один и тот же вход один и тот же выход. исходя из этой формулировки — нет, потому что time.Now() будет возвращать разное значение (выход разный), хотя входные данные одинаковые

0

12.06.2022

synalice Автор вопроса

ㅤ Атеист
> Если без сложных формулировок, мне кажется, что ...

Угу.

0

12.06.2022

Nutritional Rabbit

нет

0

12.06.2022

Cheese Syrowiecki

ㅤ Атеист
(ну, там производится вызов time.Now(). думаю, в H...

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

0

12.06.2022

TOV_MULTIMASSO

Ни одна. Что в первой, что во второй, r переданый в функцию, после её вызова будет изменён. Первая ещё и .Now() вызывает, которая не является чистой, потому что каждый раз возвращает разный результат.

0

12.06.2022

Aleksei (astynax) Pirogov

Ссылочная прозрачность подразумевает, что любой вызов функции с заранее известным аргументом можно заменить на результат вызова раз и навсегда и смысл программы при этом не поменяется. Ни первую, ни вторую функции заменить нельзя. Первая не деретминирована, замена второй перестанет менять внешнее состояние

0

13.06.2022

Nutritional Rabbit

Aleksei (astynax) Pirogov
Ссылочная прозрачность подразумевает, что любой вы...

Ты попался на кликбейт

0

13.06.2022

Pafa Leonov

Вот "каждый раз возвращает разный результат" - враки же? Не так определение даете или натягиваете сову на глобус? Func a b = a+b чистая ?

0

13.06.2022

Nutritional Rabbit