呼
никак. Но эффект же можно вытащить из основного потока прогаммы (сделать асинхронным, например. И даже если он будет выполняться 100 лет то программа просто будет ждать или пойдет дальше)
Size: a a a
2019 July 02
呼
а не будет крашется при неудачном вызове console
E
Можете пояснить про Validation? Вот эта реализация же не может считаться Apply?
https://github.com/folktale/data.validation#readme
https://github.com/folktale/data.validation#readme
it also allows one to easily aggregate failures and successes as an Applicative Functor.Вл
асинхронные вызовы тоже эффекты
呼
так, хорошо. А как в этом случае следует поступать?
К
it also allows one to easily aggregate failures and successes as an Applicative Functor.Это написано так. В то время как validation.ap принимает совсем не функцию.
呼
если я хочу обезопасить себя от эффектов
К
Посмотри на код примера.
Вл
перестать боятся эффектов
Вл
если нацелен на эффективную работу (бада бум тц)
呼
ЗП
SK это аксиомы из логики, Y комбинатор это реализация парадокса. Но мое любимое это (x -> x x)(x -> x x) или же M M (вроде так) я на пляже и не проверю)
ЗП
Вообще к меня в списке о фп есть о комбинаторах
ЗП
Ещё комбинаторы это самый маленький Тьюринг полный язык
ЗП
Ну и поинтфри тоже о них
ЗП
Они как набор в Лего, есть разные компоненты (аксиомы) и их можно собирать вместе только тогда когда все отверстия (аргументы) совпадают, ибо в КИ нет ничего кроме применения и аксиом
ЗП
Самый маленький вариант это аксиоматика по X - всего одна аксиома в базисе
ЗП
Есть SK, SKI, X и другие
呼
Они как набор в Лего, есть разные компоненты (аксиомы) и их можно собирать вместе только тогда когда все отверстия (аргументы) совпадают, ибо в КИ нет ничего кроме применения и аксиом
теория категорий не об этом?
呼
о том как камбинировать разные "кубики"