для тех что в ghc.typelits?
Ну да. А то красивые типы дали, работать с ними не дали
а шо тебе конкрено нужно-то?
покажи что т ыне можешь сделать
Все страдания с числами Пеано в fixed-vector https://hackage.haskell.org/package/fixed-vector-1.2.2.1/docs/Data-Vector-Fixed-Cont.html#t:Arity
ты хочешь гадт индуктивный, в который экстрактится нужный нат?
Коньпилятор сможет надежно стирать гадт в ничего?
Ты хочешь получить циферку и чтоб когда по ней матчился, можно было размер вектора узнать?
Я хочу мочь писать инстансы вида instance Foo 0 + instance (Foo n) => Foo (S n), для некоторого волшебного S
Обсуждают сегодня