AD
Коты в действии?
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/domain/checkout.scala
а как ети проверки работают на компайл тайме если я в рантайме впишу туда невалидные данные?
Size: a a a
2020 July 19
AD
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/domain/checkout.scala
а как ети проверки работают на компайл тайме если я в рантайме впишу туда невалидные данные?
а как ети проверки работают на компайл тайме если я в рантайме впишу туда невалидные данные?
Они работают не в компайлтайме. Это типы которые обеспечивают что то что их населяет подчиняется тому что указано
AD
В рантайме ты можешь их либо успешно создать либо получить ошибку.
Y
а похендлить нельзя потом ?
λ
в смысле нельзя?
AD
Можно конечно
AD
Смотри эпиай
λ
то refined создает безопасные конструкторы, и возвращает either если не unsafe делать
λ
Но вообще я бы предостерег от прям такого сочетания refined c newtype
λ
в некоторых местах можно нарваться на неправильный вывод из-за приоритета имплиситов
GP
у рефайнд еще конечно проблемы с репортом ошибок (не читаемое)
ΛВ
https://github.com/gvolpe/pfps-shopping-cart/blob/master/modules/core/src/main/scala/shop/domain/checkout.scala
а как ети проверки работают на компайл тайме если я в рантайме впишу туда невалидные данные?
а как ети проверки работают на компайл тайме если я в рантайме впишу туда невалидные данные?
Он на самом деле не дописал немного, у них есть сахарок и интеграции с серкой и подобными для создания из рантайм-значений, хотя сам гвпольпе предлагает использовать везде
Cахарок лежит вот тут и юзается как-то так:
refineV напрямую.Cахарок лежит вот тут и юзается как-то так:
scala> import eu.timepit.refined.api.{ Refined, RefinedTypeOps }
* | import eu.timepit.refined.numeric.Positive
*
* scala> type PosInt = Int Refined Positive
*
* scala> object PosInt extends RefinedTypeOps[PosInt, Int]
*
* scala> PosInt(1)
* res0: PosInt = 1
*
* scala> PosInt.from(2)
* res1: Either[String, PosInt] = Right(2)
ΛВ
а похендлить нельзя потом ?
там эйзер получить можно и делать что угодно
λ
Он на самом деле не дописал немного, у них есть сахарок и интеграции с серкой и подобными для создания из рантайм-значений, хотя сам гвпольпе предлагает использовать везде
Cахарок лежит вот тут и юзается как-то так:
refineV напрямую.Cахарок лежит вот тут и юзается как-то так:
scala> import eu.timepit.refined.api.{ Refined, RefinedTypeOps }
* | import eu.timepit.refined.numeric.Positive
*
* scala> type PosInt = Int Refined Positive
*
* scala> object PosInt extends RefinedTypeOps[PosInt, Int]
*
* scala> PosInt(1)
* res0: PosInt = 1
*
* scala> PosInt.from(2)
* res1: Either[String, PosInt] = Right(2)ну он и предлагает напрямую юзать, потому что с коэрсиблом можно конфликтовать
R
ну он и предлагает напрямую юзать, потому что с коэрсиблом можно конфликтовать
Запахло качкелем
IL
https://gitter.im/ZIO/Core?at=5ce6a1fc75d9a575a62f54a1
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
AS
https://gitter.im/ZIO/Core?at=5ce6a1fc75d9a575a62f54a1
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
Что именно у тебя не работает, то?
2020 July 20
AS
https://gitter.im/ZIO/Core?at=5ce6a1fc75d9a575a62f54a1
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
Джон здесь упоминает интересный синтаксис для параллельного запуска ZIO-эффектов, но не понимаю, как это должно работать, может изменились сигнатуры методов?
https://scastie.scala-lang.org/TfwzveDhQUW4v6RWChIHmQ
Я пытаюсь запустить параллельно 7 эффектов и сложить результаты в tuple.
IL
Спасибо! Не мог понять, как и откуда возникает <*>. Думал, что имеется в виду одноименный метод в трейте ZIO и запутался.