Результаты поиска по запросу "type-level-computation"
работать с имплицитами очень некрасиво, потому что это должно быть естественно описано как конструктор типов, и только методы могут иметь импликации, а не конструкторы типов. Так что я хотел бы переключиться обратно на уровень типа от последствий это на самом деле возможно
ите за неописательное название. Вычисления на уровне типов - не слишком распространенная тема в Интернете, чтобы установить точные термины. Я пытался использовать вычисления уровня типа и внезапно получал ложные ошибки время от времени. Я просто ...
Карта в HList в методе с Poly1 на основе параметра типа класса
У меня есть класс, параметризованный с
Ошибка неявного разрешения?
Я работал над реализацией "бесформенного стиля"Плотная двоичная система счисления Окасаки, Это просто связанный список битов на уровне типов; своег...
Почему техника Aux требуется для вычислений на уровне типов?
Я почти уверен, что чего-то здесь не хватает, так как я довольно новичок в Shapeless и учусь, но когда на самом деле техника Auxтребуется? Я вижу, что это ис...
и неявное не может быть разрешено.
ps://jto.github.io/articles/typelevel_quicksortМы подвержены [https://jto.github.io/articles/typelevel_quicksort] : тип чейSum выглядит так:applyТеперь мы можем использовать уточнение типа напрямую вместо Aux, но остается вопрос: почему это ...
Карта в HList в методе с Poly1 на основе параметра типа класса
У меня есть класс, параметризованный сHList и какой-то другой тип. Как я могу использоватьmap наHList в одном из его методов? Компиляция этого кода бросаетjava.lang.AssertionError: class Test[L <: HList, P](l: L, p: P) { type Cont[T] = (P, T) ...
Понимание этого определения HList
Я относительно новичок в Хаскеле, и я пытаюсь понять одно из определенийHList.
Существуют ли «комбинаторы уровня типа»? Будут ли они существовать в будущем?
Многое из того, что делает haskell действительно хорошим для использования, на мой взгляд, это комбинаторы, такие как(.), flip, $ <*> и т. д. Такое ощущение, что я могу создать новый синтаксис, когда мне нужно. Некоторое время назад я делал ...
Страница 1 из 2