Size: a a a

Scala User Group

2021 May 26

ΛВ

Λнтон Войцишевский... in Scala User Group
object MaxInt extends NewType(of[Int].derives[Numeric][Order])
источник

AS

Andrey Sugak in Scala User Group
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ты зачем имплиситную функцию воткнул
источник

ЮБ

Юрий Бадальянц... in Scala User Group
Ну короче с этим можно жить
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
точн, можно без нее, но все равно cryptic message
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
источник

ЮБ

Юрий Бадальянц... in Scala User Group
А зачем LB?
источник

ЮБ

Юрий Бадальянц... in Scala User Group
источник

Oℕ

Oleg ℕizhnik in Scala User Group
источник

Oℕ

Oleg ℕizhnik in Scala User Group
чтобы можно было LB
источник

Oℕ

Oleg ℕizhnik in Scala User Group
я так делаю иногда с ньютайпами
источник

Oℕ

Oleg ℕizhnik in Scala User Group
тут зависит если твой ньютайп работает как подмножество, полезен UB, если как тег - полезен LB
источник

Oℕ

Oleg ℕizhnik in Scala User Group
там, наверное, нужно воткнуть, конечно проверок
источник

ЮБ

Юрий Бадальянц... in Scala User Group
Я просто не представляю юзкейс, когда это надо
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ну теги
источник

ЮБ

Юрий Бадальянц... in Scala User Group
А зачем там lb?
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
странно, почему не работало с функцией в аргументах конструктора
источник

ЮБ

Юрий Бадальянц... in Scala User Group
То есть ub понятен - мой опак будет подтипом ub и все его методы будут мне доступны
источник

ЮБ

Юрий Бадальянц... in Scala User Group
А вот lb хз
источник

Oℕ

Oleg ℕizhnik in Scala User Group
object Meters extends Newt[_.Bound[Double, Any, Double][Numeric][Order]]
type Meters = Meters.T
val m: Meters = 2.0
источник