DF
Кажется страуструп че-то писал про «кристаллы». Типа объект, у которого можно в определенном состоянии запросить определённый интерфейс (view). Как бы смотришь на него с определенного ракурса.
Size: a a a
2021 November 24
DF
И возможность получить этот ракурс контролируется самим обьектом. Если он готов, у него состояние подходящее, то получишь.
ST
doto сразу говорит, здесь у нас side effect
DF
И типа так можно кодить контракты. Самый простой: нельзя пользоваться сразу обьектом, который создан, но не инициализирован.
ST
а cond-> намекает, что сделает это, если мы будем хорошо себя вести
DF
Ну и короче попробовал я как-то эту идею на очень простых кошечках. И такая мутотень получилась, что я подумал, что я совсем дурак.
DF
Не знает кто-нить сервис «написать себе в прошлое»?
Щас же все есть в инете.
Щас же все есть в инете.
DF
А вот мне не говорит.
Там же могут быть только set-теры
Там же могут быть только set-теры
KC
(doto 1 (Inc)) где тут сайдэфект?)
ST
это и есть side effect
ST
а этот код ничего и не сделает 😊
ND
Изменение стейта тоже сайдэфект
KC
Ещё как делает, дебаг натрави на inc, увидишь.
DF
А я думал, что я зануда…
ST
мы против нуда 😊
IG
Называется "тетрадка". Пишешь на странице: считаю правильным кодить так-то и так-то. Через год читаешь и сжигаешь, пока никто не увидел.
DF
Ок я надел трусы, считай, что пошёл навстречу.
Объясни мне, почему
А вот
Объясни мне, почему
(-> imutable-structure
form-1
…
form-n)
А вот
(doto mutable-object
setFieldA
…
setFieldZ)
ST
Не намекает тебе на side effectв отношении меня это неверное утверждение
если это обращено к кому-то другому, то уточни получателя 😊
ND
а что тебе не намекает на сайдэфект в дуту?
DF
Т.е. тебе не только doto, но и все thread-macro кричат про side effects?