Телеграмм чат группы scala

Ребят, мб кто знает как определять Refined для валидации даты? val year: Int = LocalDate.now.getYear type Year = Int Refined Interval.ClosedOpen[1930 , W.year ] - не работает

источник

15:42пожаловаться #7

Oℕ

Oleg ℕizhnik in Scala User Group

Привет. Буду благодарен если перешлешь в группу. Вопрос такой - не могу заставить код работать в методе класса. На вид тот же самый код в обычной функции компилируется нормально. Ошибка "pattern type is incompatible with expected type"

https://scastie.scala-lang.org/DDjrwrZlSX68jXCEkHUrdA

scastie.scala-lang.org

Scastie - An interactive playground for Scala.

sealed trait FnOutput[I, O];
case object NoOutput extends FnOutput[Any, Unit]; //SQL operation produces no output

trait OutputReceiver[O] {
def output(x: O): Unit
}

// Function works
def fn[T, O](output: FnOutput[T, O]) = {
def flush(c: OutputReceiver[O]): Unit = {
output match {
case NoOutput => ()
}
}
}

// Class doesnt work
class WriteFn[T, O](output: FnOutput[T, O]) {
def flush(c: OutputReceiver[O]): Unit = {
output match {
case NoOutput => ()
}
}
}

источник

15:43пожаловаться #8

Oℕ

Oleg ℕizhnik in Scala User Group

@yamlcoder похоже на баг
@sugakandrey @kai_neko мнение

источник

15:45пожаловаться #9

Let Eat Bee in Scala User Group

вот я везучий

источник

15:47пожаловаться #10

Kai in Scala User Group

Да, похоже

источник

15:48пожаловаться #11

Let Eat Bee in Scala User Group

Куда репортить? Гитхаб скалы? И можно ли как-то обойти?)

источник

15:49пожаловаться #12

Kai in Scala User Group

Да, в https://github.com/scala/bug

источник

15:50пожаловаться #13

Kai in Scala User Group

Можно обойти вынеся код в отдельную функцию - ты говоришь так работает - а метод редиректнуть на функцию

источник

15:51пожаловаться #14

Oℕ

Oleg ℕizhnik in Scala User Group

да, такой же баг я припоминаю с матчингом по this, всегда выносил в метод компаньона

источник

15:51пожаловаться #15

Vladislav Dolbilov in Scala User Group

а оно в отдельной функции должно работать?
там ведь тайп параметры у NoOutput зашиты, и они не обязательно совпадают с T и O

источник

15:52пожаловаться #16

Oℕ

Oleg ℕizhnik in Scala User Group

это нормально, это матчинг по GADT

источник

15:53пожаловаться #17

Andrey Sugak in Scala User Group

Должно.

источник

15:53пожаловаться #18

Let Eat Bee in Scala User Group

там несколько похожих с 2012 года висят. Видимо уже врят ли починят, сейчас все силы на Scala 3 наверняка уходят

источник

15:56пожаловаться #19

Andrey Sugak in Scala User Group

Почему-то в коде, который проверяет матчинг по GADT, когда собирают тайп параметры в expected type вставлена проверка typeParam.owner.isTerm, может просто не подумали о таком кейсе, а может там какие-то проблемы с этим.

источник

16:10пожаловаться #20