Может ли кто-нибудь объяснить это поведение и предоставить обходной путь?Scala 2.12.7,...
Я хотел расширить идею fst и snd для типов классов.Итак, я написал классы типов class Fstable f...
У меня есть простой тип данных data Label = LabelK String , объявляющий: тип Label вида Type...
Я пытаюсь реализовать векторы уровня типа. Все работало хорошо, пока я не попытался реализовать...
Как мне показать, что что-либо следует из значения типа без конструкторов в Scala?Я хотел бы...
Следующие проверки типов определения Idris с помощью Idris 1.3.0: foo : (xs : List Nat) -> xs =...
Я пытаюсь реализовать полиморфную функцию, которая по существу пересекает тип, накапливая значение...
У меня есть сложный алгоритм игрушек, который я хотел бы представить исключительно на уровне типа:...
РЕДАКТИРОВАТЬ: Вот гораздо более простая формулировка проблемы, используя Foo в качестве примера...
Для простоты чтения я хотел бы использовать значения тактовой частоты в качестве моих индексов...
Я хотел бы получить доступ к тактовой частоте (в Гц) в качестве значения уровня термина, чтобы я...
Что является уникальным для концепции "конструктора типов" в Haskell по сравнению с другими...
TL; DR: Я хочу реализовать объединение для полиморфизма строк, используя type family RIso (a ::...
Я построил гетерогенный Список в Haskell, используя некоторое программирование на уровне типов....
Я пытался реализовать целые числа на уровне типов в Haskell.Для начала я реализовал натуральные...
У меня есть реализации арифметики на уровне типов, способные выполнять некоторую арифметическую...
В Scala значения и объекты имеют одноэлементные типы, назначаемые им индивидуально.Таким образом,...
Я написал свою собственную реализацию гетерогенных списков (сначала я прочитал о гетерогенных...
Играя с бесформенными натуральными числами в волнении, мне интересно, что может быть лучшим...
Многое из того, что делает haskell действительно хорошим для использования, на мой взгляд, это...
Первая попытка Трудно сделать этот вопрос содержательным, но чтобы привести минимальный пример,...
Можно ли создать тип с числовым аргументом? , т.е. если я хочу создать тип целых чисел с...
Предположим, что я закодировал натуральные числа в типах Haskell, и у меня есть способ сложения и...