У меня есть класс типов со связанным типом: class Foo a where type Bar a :: * ... Теперь я хотел бы...
Я создаю некоторую инфраструктуру для выполнения удаленных вызовов процедур в Haskell, и по...
Я пишу рамки.Интерфейсы написаны и скомпилированы в коде Java.Клиент использует Scala и эти...
Рассмотрим следующую структуру данных, представляющую дерево с уровнями, которые увеличиваются, но...
Я бы хотел получить следующий пример для проверки типов: {-# LANGUAGE AllowAmbiguousTypes #-} {-#...
Давайте возьмем этот пример кода: trait DataProcessor[D] { def computeData(): D } case class...
При наличии кортежа с элементами типа A и другого типа, параметризованного в A: trait Writer[-A] {...
Например, List[T] forSome { type T } эквивалентно List[_], но верно ли это для каждого возможного...
У меня есть общее представление о том, что такое экзистенциальное количественное определение для...
Учитывая некоторые типы с более высоким родом: trait Impl [S] trait Event[S, A] trait Key [A] Как я...
Контекст: я пытаюсь создать монаду об ошибке, которая также отслеживает список предупреждений,...
Скажем, у меня есть класс: class C a where reduce :: a -> Int Теперь я хочу упаковать его в тип...
Минимальный пример кода: class IntegralAsType a where value :: (Integral b) => a -> b class...
Я борюсь с экзистенциальными типами в моей программе.Я думаю, что пытаюсь сделать что-то очень...
Я смотрю на HaskellWiki> Экзистенциальный тип # Механизм динамической отправки . И я думаю, в...
Я должен запрограммировать (C ++) и найти истинное значение следующего. Я не уверен, что именно это...
Первая попытка Трудно сделать этот вопрос содержательным, но чтобы привести минимальный пример,...
Я хочу реализовать какую-то систему компонентов в Java. Есть интерфейс под названием Form interface...
Предположим, у меня составной тип данных - data M o = M (String,o) Теперь я могу определить функцию...
Я пытаюсь обернуть свой мозг вокруг экзистенциальных типов Хаскелла, и мой первый пример - это...
Я хочу использовать карту разных типов на неизвестном A: val map: Map[Foo[A], Bar[A]] = ... ... val...
Редактировать : Благодаря тому, что Дерек указал на критическую часть сообщения об ошибке, я смог...
Я пытаюсь сделать что-то вроде следующего: trait MyData trait MyId trait MyDataType[T <: MyData]...
(ОБНОВЛЕНИЕ: упрощен код, а также показано, почему он должен работать) Как я могу исправить этот...
Мне нужно получить значение перечисления Java из строки, заданной экземпляром класса Enum. Я...