В Scala я мог бы написать следующее trait: trait Consumer[A] { def apply(a: A): Unit } И scala...

Я пытаюсь построить каркас с иерархией Context с (которая содержит неизменяемые данные) и Module с,...

Предположим, у меня есть черта, определенная как trait SomeTrait[A] { def doSomething(): Seq[A] } и...

У меня есть экзистенциальный тип , определенный следующим образом: trait Collection { type Element;...

Предположим, я пытаюсь смоделировать сущности, метаданные и репозитории, используя наследование...

Этот надуманный пример иллюстрирует суть моей проблемы: trait Producer[X] {def make(): X } sealed...

Экзистенциальную количественную оценку легко получить, упаковав словари в конструкторы данных. {-#...

Есть ли удобный способ получить экземпляр Ord (или Eq) для сравнения любых двух значений GADT,...

В моем проекте у меня есть следующее созвездие: trait F trait X[A <: F] def test(x: X[_]): X[_...

Скажем, у меня есть тип trait Mode[T] trait MyType[T, M <: Mode[T]] Это компилируется val t:...

Можно ли написать extractT? {-# LANGUAGE ExistentialQuantification #-} import Data.Proxy data T =...

Я хотел бы использовать окна изображений существующего размера по нескольким причинам: Я хотел бы...

Я пытался написать следующий код: {-# LANGUAGE GADTs #-} module V where data V a where V :: (c...

Я сталкиваюсь с тем же шаблоном в моих проектах, где я начинаю с типа с несколькими конструкторами...

class Toto[F[_]]() val totos: Seq[Toto[_]] = Seq(new Toto[Future[_]], new Toto[IO[_]])...