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

Question

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

n бит. А-ля Data.Word16, только WordN и шоб по рукам било, если out of bounds. Нашел https://hackage.haskell.org/package/finite-typelits - но есть некоторое ощущение что будет тупить-тормозить и с type-level nats я не умею.
1) Оно таки накладные расходы в рантайме? O(1) фиг с ним
2) Чего покурить по type level nats?
3) Или лучше пораскуривать clash? Его прелюд вроде можно в обычных программах юзать

#haskell #programming #russian

0

11.11.2020