AS
При том, что легко сделать компайл тайм.
Size: a a a
2021 April 30
λ
Транзакт никакой магии не делает особо. Там особая фри манадка, которая фолдится с дополнительным менеджментом коннекшена.
ММ
Компайл и нужен. А в скасти - костыль на =:= из нета с рантайм проверкой.
Нужно, чтобы на этапе компиляции чекалось что типы не равны.
Нужно, чтобы на этапе компиляции чекалось что типы не равны.
TT
И по феншую ее надо в программе объявлять, так?
λ
Кого?
TT
Транзакт, его
λ
Примеров много. Не очень понял, что тебя именно интересует
ММ
Наоборот в том, что нужно неравенство вместо рав-ва, а не рантайм вместо компайла.
По разному поняли друг друга.
По разному поняли друг друга.
AS
trait =!=[A, B]
object =!= {
implicit def neq[A, B]: A =!= B = null
implicit def neqAmbig1[A]: A =!= A = null
implicit def neqAmbig2[A]: A =!= A = null
}
object =!= {
implicit def neq[A, B]: A =!= B = null
implicit def neqAmbig1[A]: A =!= A = null
implicit def neqAmbig2[A]: A =!= A = null
}
AS
В скале 3 можно просто через NotGiven и =:= сделать.
ММ
Спасибо. Пока речь о 2 версии.
AS
Ну вот вам рецепт во второй версии.
ММ
А версии ambig1 и 2 - для какой цели?
ΛВ
чтобы на одинаковых типах выпал конфликт имплиситов
ΛВ
а на разных выберется конкретный более точный neq
ΛВ
AS
Так делают отрицание на имплиситах во второй скалке.
ММ
Спасибо, Антон.
ММ
Понял. Некоторые моменты на имплиситах пока ещё вводят в состояние "подумать, почитать и поискать"