AD
Товарищи, куда смотреть про подробности Tasty формата и прочей меты?
Size: a a a
2020 January 15
HV
на прошлогоднем scaladays была преза про tasty
AD
на прошлогоднем scaladays была преза про tasty
Спасиб
AO
кек, а еще бы вообще все ошибки сделать вменяемыми
Да хрен с ними, я просто пол года назад поставил issue, и там автор сказал, что у него лапки. И тут, внезапно, кто то это дело закрывает
Oℕ
да и в другом тоже, только потом наследников не видно
В другом запрещает
K
В другом запрещает
Что то у меня даж варнинг не бросило , когда я от силда в другом юните компиляции отнаследовался
Oℕ
Что то у меня даж варнинг не бросило , когда я от силда в другом юните компиляции отнаследовался
Ты унаследовался от силда или от его потомка?
AO
Boris
только до 0.12.6 везде обновил....
Надеюсь 12.7 быстро выкатят
AO
Ты унаследовался от силда или от его потомка?
С потомком, конечно, жёсткая дыра
Oℕ
С потомком, конечно, жёсткая дыра
не думаю, что дыра
AO
Хз конечно, но с моей колокольни выглядит как баг
Oℕ
sealed trait Freer[+F[+_], A]
final case class Pure[+A](a :A) extends Freer[Nothing, A]
trait Bind[+F[+_], +A] extends Freer[F, A]{
type Pin
def head: F[Pin]
def cont(a: Pin): Freer[F, A]
}
final case class Pure[+A](a :A) extends Freer[Nothing, A]
trait Bind[+F[+_], +A] extends Freer[F, A]{
type Pin
def head: F[Pin]
def cont(a: Pin): Freer[F, A]
}
Oℕ
Я намеренно определяю конструктор Bind как структуру из трёх компонент -
(type Pin, F[Pin], Pin => Freer[F, A])
(type Pin, F[Pin], Pin => Freer[F, A])
Oℕ
Инстансы с таким конструктором должны быть экземплярами конкретных наследников Bind, меня это устраивает, это не ломает GADT структуру Freer при этом
Oℕ
Иными словами, мне кажется иногда удобнее и/или эффективнее использовать trait вместо case class в качестве одного из конструкторов алг. типа
Oℕ
В этом случае пока не видно, почему это может быть принципиально лучше, но если структура содержала бы
какую-то полиморфную функцию (которых в скала 2 нет), стало бы очевидно, что нужно юзать трейт
какую-то полиморфную функцию (которых в скала 2 нет), стало бы очевидно, что нужно юзать трейт
EP
Посоветуйте работающий плагин Scala для VS Code
Oℕ
Посоветуйте работающий плагин Scala для VS Code
metals
NV
Подскажите пожалуйста, какие полезные юзкейзы есть у softwaremill tagging?
Oℕ
Подскажите пожалуйста, какие полезные юзкейзы есть у softwaremill tagging?
легковесные ньютайпы