6
Как определить новое вычисление по типам типов GHC.TypeLits.Nat
? Я надеюсь, чтобы иметь возможность определить семейного типаОпределение семейств нестандартного типа над видом Nat
type family WIDTH (n :: Nat) :: Nat
таким образом, что WIDTH 0 ~ 0
и WIDTH (n+1) ~ log2 n
Как насчет 'log2 0'? –