NV
или за обычные юзкейсы и неформально?
О неформальностях можно спорить бесконечно, мне интересно четкое определение, чтобы потом построить вокруг него интуитивное понимание
Size: a a a
2020 April 29
SK
Повторить стоит, может мы в разных контекстах
производство утверждений о свойствах (здесь) куска кода
NV
производство утверждений о свойствах (здесь) куска кода
Хорошо, это определение понятно. В частности, понятно что введение зависимости от функтора влечет возможность использовать любые чистые функции. Тогда как это проявляется в ТФ?
V
внимание новый паттерн:
если вы инициализируете модуль, который не требует никаких эффектов при инициализации, на всякий случай запихните конструктор в Sync.delay
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/algebras/cart.scala#L22
если вы инициализируете модуль, который не требует никаких эффектов при инициализации, на всякий случай запихните конструктор в Sync.delay
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/algebras/cart.scala#L22
можешь пояснить подробнее?
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
AK
внимание новый паттерн:
если вы инициализируете модуль, который не требует никаких эффектов при инициализации, на всякий случай запихните конструктор в Sync.delay
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/algebras/cart.scala#L22
если вы инициализируете модуль, который не требует никаких эффектов при инициализации, на всякий случай запихните конструктор в Sync.delay
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/algebras/cart.scala#L22
Как раз сегодня взял его книгу
Oℕ
Vasiliy
можешь пояснить подробнее?
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
там куча таких
ΛВ
Vasiliy
можешь пояснить подробнее?
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
оно потом тут вызывается:
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/modules/Algebras.scala#L21
он в синк обернул чистый код
V
он в синк обернул чистый код
подозреваю, что рефакторил
ΛВ
да, в самой книжке вроде иначе
AK
Это код шейминг или что?
V
в книжке там просто = ???
ΛВ
Я поясняю чуток, а шеймить Олег начал
V
там куча таких
видимо, по шаблону делил на алгебры
ΛВ
Хорошо, это определение понятно. В частности, понятно что введение зависимости от функтора влечет возможность использовать любые чистые функции. Тогда как это проявляется в ТФ?
я не понимаю, почему какая-то идея ограничивать именно чистые функции?
ΛВ
эффекты можно ограничивать тоже
ΛВ
> производство утверждений о свойствах (здесь) куска кода
ну будет монадка и сильнее, ну и ладно. Мы же все равно сможем утверждения делать, пусть и по поводу эффектов только
ну будет монадка и сильнее, ну и ладно. Мы же все равно сможем утверждения делать, пусть и по поводу эффектов только
NV
я не понимаю, почему какая-то идея ограничивать именно чистые функции?
Потому что для меня этот пример понятен — мне как разработчику нейронок важно различать дифференциируемые функции и остальные, хоть и те и другие являются чистыми
SK
Хорошо, это определение понятно. В частности, понятно что введение зависимости от функтора влечет возможность использовать любые чистые функции. Тогда как это проявляется в ТФ?
ТФ он весь про параметризацию интерпретатором, в терминах Олега