Shapeless имеет аккуратный класс типов механизм порождения , который позволяет вам определять классы типов и получать автоматические порождения для любого класса типов. Чтобы использовать механизм деривации в качестве пользователя класса типов, вы...

Я создаю общую функцию, которая принимает HList формы F[T1] :: ... :: F[Tn] :: HNil , преобразует ее в F[T1 :: ... :: Tn :: HNil] , а затем должна передать ее в переданный блок. Однако для того, чтобы это работало, мне нужно извлечь Тип HList в...

В настоящее время я пытаюсь определить модель языка синхронизированного потока данных в scala. Поток виртуально представляет собой бесконечную последовательность значений некоторого типа T, изменяемую некоторыми часами C (часы показывают, в какие...

Я только недавно начал изучать scala, и сегодня я решил, что хочу написать парсер CSV, который будет хорошо загружаться в классы case, но хранить данные в строках (списках) объекта HList Shapeless, чтобы я мог немного познакомиться с программированием...

Если посмотреть на исходный код некоторых библиотек Scala, например бесформенный , я часто нахожу черты с именем LowPriorityImplicits . Не могли бы вы объяснить эту закономерность? Какая проблема решается и как ее решает шаблон?

У меня проблема, когда у меня есть значение типа fun a , где fun является функцией, а a значением, которое не вычисляется при проверке типа и выдает ошибку объединения, когда я заставляю его быть результатом этой функции применение....

Я хотел бы иметь тип для представления многомерных массивов (тензоров) безопасным способом. поэтому я мог бы написать, например: zero :: Tensor (5,3,2) Integer , который будет представлять многомерный массив из 5 элементов, каждый из которых имеет 3...

До сих пор я предполагал, что GHC выполняет функцию уровня типа (семейство типов) во время компиляции. Поэтому сообщение об ошибке, вызванное семейством типов TypeError, должно быть выдано во время компиляции. В следующем примере я получаю ошибку...

Я пытаюсь создать некоторые функции для работы со следующим типом. В следующем коде используются одиночки и ограничения на GHC-8.4.1: {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE...

У меня есть реализации арифметики на уровне типов, способные выполнять некоторую арифметическую проверку времени компиляции, а именно <,>,= двумя способами: простая реализация строгая реализация С ними у меня может быть функция...

Учитывая пару классов case, Source и Target , которые имеют вложенные классы case, и на каждом уровне вложенности поля в Target являются невыровненными подмножествами полей в Source , есть ли способ написать универсальное преобразование на...

Мы можем кодировать сложение и умножение натуральных чисел в Scala. Но можно ли вычесть два натуральных числа на уровне типа? Я наполовину скопировал следующую кодировку натуральных чисел в Scala: sealed trait Natural { type Plus[That...

Я хотел бы смешать оцененные и неоцененные термины, используя программирование на уровне типов. Я сделал простой пример, где Sum не оценивается, а Const оценивается. Следующее работает нормально: {-# LANGUAGE DataKinds #-} {-#...

У меня есть семейство типов, определенное следующим образом: type family Vec a (n :: Nat) where Vec a Z = a Vec a (S n) = (a, Vec a n) Я хотел бы заявить, что результат применения этого семейства типов всегда соответствует ограничению...

scala.deriving.Mirror в Scala 3 имеет член типа MirroredElemLabels , который является кортеж строковых литералов. Какой стандартный способ получить этот тип в качестве значения? РЕДАКТИРОВАТЬ: вот код , который вызывает ошибку компилятора...