DS
Все операции с побочными эффектами делаются как тайпклассы над этим токеном
Size: a a a
2020 December 31
DS
не вижу смысла в таком если честно
Позволяет писать ссылочно прозрачный код и иметь информацию о побочных эффектах данной функции
DS
Собственно для чего и нужны системы эффектов
p
Позволяет писать ссылочно прозрачный код и иметь информацию о побочных эффектах данной функции
бойлерплейтно, для интеграции с экосистемой нужно писать адаптеры, везде писать этот дженерик
p
это конечно круто
p
но долго
DS
бойлерплейтно, для интеграции с экосистемой нужно писать адаптеры, везде писать этот дженерик
Пофигу, на этом можно строить некий аналог котов
p
я не пойму например почему для логгера используют просто log::foo!() а не пробрасывают логгер в сервисы и там не печатают
p
какого хрена
DS
И растовую ФП экосистему
p
Пофигу, на этом можно строить некий аналог котов
ябнаписал если бы шарил
DS
бойлерплейтно, для интеграции с экосистемой нужно писать адаптеры, везде писать этот дженерик
Тем, кто пишет в ФП стиле на языках для этого изначально не предназначенных на такие мелочи пофигу
p
я не пойму например почему для логгера используют просто log::foo!() а не пробрасывают логгер в сервисы и там не печатают
@DogeShibu ты также логируешь?
DS
@DogeShibu ты также логируешь?
Мне тоже это не очень нравится, но вся экосистема так живёт, так что я забил в расте.
В котах кто-то сделал FT тайпкласс под это
В котах кто-то сделал FT тайпкласс под это
H
@hirrolot @p0lunin @Psilon
А вообще в расте уже сейчас без особых проблем можно реализовать систему эффектов, если творчески своровать её из clean:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=cec2dd69faaab00fa85e7e70b44b3c5f
А вообще в расте уже сейчас без особых проблем можно реализовать систему эффектов, если творчески своровать её из clean:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=cec2dd69faaab00fa85e7e70b44b3c5f
но я всё ещё могу просто поставить
println!() и сломать эту конструкциюDS
но я всё ещё могу просто поставить
println!() и сломать эту конструкциюЭто везде так.
DS
Что в котах, что в том же хаскеле и т.д. и т.п.
H
в идрисе эффект пропагейтиться же и в сигнатуре будет висеть IO
H
как и в хаскелле
p
блять нужно НКТ