Я использую библиотеку JSON платформы Play, которая использует класс типов для реализации Json.toJson функция . (Я могу решить использовать другой метод с менее статической типизацией, такой как отражение, но сейчас я хочу использовать эту...

Мне нужно реализовать общий стек для того, над чем я работаю. Этот стек должен содержать элементы разных типов. Например, (1, 'c', True, "Strings"). Поддерживаемые функции: top, pop и push. Кортежи - самая естественная идея для этого. push x...

Прочитав эту страницу , посвященную экзистенциальным системам в Haskell, я был вынужден проверить пределы такого поведения, поэтому я написал следующий фрагмент кода: {-# LANGUAGE ExistentialQuantification #-} data Showable = forall a. Show a...

У меня есть тип данных, чей (единственный) конструктор содержит экзистенциально квантифицированную переменную типа: data LogEvent = forall a . ToJSON a => LogEvent { logTimestamp :: Date , logEventCategory...

Почему приведенный ниже код не компилируется? trait B[T <: B[T]] case class A[T <: B[T]](t: T) class C() extends B[C] val c: C = new C() val r2: A[_] = A(c) //compiles val r3: A[_] = A(c) //compiles...

У меня есть пользовательский тип значения Value , помеченный своим типом ValType : data ValType = Text | Bool data Value (tag :: ValType) where T :: Text -> Value 'Text B :: Bool -> Value 'Bool и я хотел бы определить функцию,...

Итак, это продолжение моей саги о системе объектов (часть 1 , часть 2 ). Эта часть по существу сводится к следующему. {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE KindSignatures #-} import...

type GenericElement<T> = { set: Setter<T>; state: T; } type Setter<T> = (state: T) => void type GenericElements = Array< GenericElement<string> | GenericElement<number>> const genericElements = [{...