Результаты поиска по запросу "type-level-computation"

1 ответ

Карта в HList в методе с Poly1 на основе параметра типа класса

У меня есть класс, параметризованный с

0 ответов

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

ите за неописательное название. Вычисления на уровне типов - не слишком распространенная тема в Интернете, чтобы установить точные термины. Я пытался использовать вычисления уровня типа и внезапно получал ложные ошибки время от времени. Я просто ...

2 ответа

Как вы отлаживаете код уровня типа?

ТОП публикаций

5 ответов

Проверка утверждения о том, что что-то не должно компилироваться

ПроблемаКогда я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим ...

5 ответов

Проверка утверждения о том, что что-то не должно компилироваться

Эта проблемаКогда я'я работаю с библиотеками, которые поддерживают программирование на уровне типов, я часто пишу комментарии, подобные следующим (изприм...

1 ответ

Карта в HList в методе с Poly1 на основе параметра типа класса

У меня есть класс, параметризованный сHList и какой-то другой тип. Как я могу использоватьmap наHList в одном из его методов? Компиляция этого кода бросаетjava.lang.AssertionError: class Test[L <: HList, P](l: L, p: P) { type Cont[T] = (P, T) ...

1 ответ

Ошибка неявного разрешения?

Я работал над реализацией &quot;бесформенного стиля&quot;Плотная двоичная система счисления Окасаки, Это просто связанный список битов на уровне типов; своег...

1 ответ

и неявное не может быть разрешено.

ps://jto.github.io/articles/typelevel_quicksortМы подвержены [https://jto.github.io/articles/typelevel_quicksort] : тип чейSum выглядит так:applyТеперь мы можем использовать уточнение типа напрямую вместо Aux, но остается вопрос: почему это ...

1 ответ

Почему техника Aux требуется для вычислений на уровне типов?

Я почти уверен, что чего-то здесь не хватает, так как я довольно новичок в Shapeless и учусь, но когда на самом деле техника Auxтребуется? Я вижу, что это ис...

2 ответа

Понимание этого определения HList

Я относительно новичок в Хаскеле, и я пытаюсь понять одно из определенийHList.