спасибо

есть еще conference talk https://www.youtube.com/watch?v=9fhnJpCgtUw

Привет. Я делаю библиотеку эффектов и у меня вопрос по именованию.
Библиотека делает перекомпиляцию кода, как core.async. В core.async есть go и <! или >!. Т.е. макрос go перекомпилирует вложенный код.
У меня тоже есть пара break, !.

(break
 (let [rnd (! (effect [:random]))]
   (- (* 2. x rnd)
      x)))

Вопрос. Правильно ли я подобрал название для макроса break? Или стоит назвать иначе?
Хочется какое-то простое и побудительное слово, как go в core.asyn.

(break
 (let [rnd (! (effect [:random]))]
   (- (* 2. x rnd)
      x)))

Не понятно что делает этот макрос и почему он назван break. То что он перекомпилирует код внутри это механизм, а смысл в чём?

(break
 (let [rnd (! (effect [:random]))]
   (- (* 2. x rnd)
      x)))

effectful, или with-effects

о with-effects я как-то не подумал, спасибо

Смысл в том, чтобы разделить побочные эффекты и логику принятия решений.
https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/core_test.cljc

в этом тесте есть пример как тот же код можно выполнять с синхронными или ассинхронными эффектами.

можно делать "монадки"
https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/middleware/context_test.cljc
https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/middleware/reduced_test.cljc

можно сериализовывать неоконченное вычисление
https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/middleware/log_test.cljc

пока кроме тестов нет никакой документации

что делает break?

и что делает !?

примерно то же, что и go в core.async - перекомпилирует код в SSA формы - стейт машину

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

тут вызывается эффект напрямую

https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/core_test.cljc#L65
вот тут другая функция

https://github.com/darkleaf/effect/blob/master/test/darkleaf/effect/core_test.cljc#L122
вот 3ий случай

Еще раз: это механизм, внутренности
Мне как пользователю этой либы не так уж важно как оно там работает под капотом, важно смысл этого break. И пока понятно не стало.
С go как раз понятно - внутри можно использовать некоторые “блокирующие” операции, которые на самом деле не блокируют трэд.

Как пользователю:
Если вы в своей фукнции оборачиваете код в break/with-effects, то внутри можете использовать !. ! - говорит, что тут какой-то побочный эффект.
Чтобы вызвать вашу функцию нужен интерпретатор эффектов, где описана реализация декларируемых в функции эффектов.
Эффект представляется любой clojure стркуктрой, у меня в примерах - это вектор.

делая так, вы получаете
1) детерминируемую тестируемость
вы знаете какие и в каком порядке функция запрашивает эффекты из внешнего мира
2) вы можете сделать неблокирующие обработчики эффектов
3) можете легко синхронно тестировать код для clojurescript на jvm
4) можете перебросить выполнение функции на другую машину/платформу, из jvm в браузер и наоборот
5) можете делать "монадки". Вроде глобального состояния или раннего возврата по аналогии с maybe/either

Break -> compile

пока break -> with-effects лучше подходит ИМХО