type-level-computation

4зной

2ответ

Я относительно новичок в Haskell, и я пытаюсь понять одно из определений HList. data instance HList '[] = HNil newtype instance HList (x ': xs) = HCons1 (x, HList xs) pattern HCons x xs = HCons1 (x,

19зной

2ответ

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

Я пытаюсь использовать dfold определенного here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1)) -> (p @@ 0) -> Ve

5зной

1ответ

Ускорение типа ржавчины

Я пытаюсь реализовать умножение на уровне типа в Rust. Дополнение уже работает, но у меня возникли проблемы с переменной типа «временный». Код: use std::marker::PhantomData; //Trait for the type lev

4зной

1ответ

Избегайте ограничения класса на уровне naturals

Я использую Nat типа из модуля GHC.TypeLits, который, по общему признанию, должен быть определен в отдельной библиотеке. В любом случае GHC.TypeLits имеет класс KnownNat с функцией класса natVal, кото