a
Size: a a a
2020 November 11
AV
Без всех этих, а давайте запилим струкруру данных и для неё интерпретатор или большой тайпкласс и вы напишите 15 инстансов
AV
Хочу тип, который представляет натуральной число, которое может уместиться в 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? Его прелюд вроде можно в обычных программах юзать
1) Оно таки накладные расходы в рантайме? O(1) фиг с ним
2) Чего покурить по type level nats?
3) Или лучше пораскуривать clash? Его прелюд вроде можно в обычных программах юзать
finite-nums выглядит как то, что более-менее нормально будет работать
VD
finite-nums выглядит как то, что более-менее нормально будет работать
Что-то нету такого в хакадже
к
Хочу тип, который представляет натуральной число, которое может уместиться в 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? Его прелюд вроде можно в обычных программах юзать
1) Оно таки накладные расходы в рантайме? O(1) фиг с ним
2) Чего покурить по type level nats?
3) Или лучше пораскуривать clash? Его прелюд вроде можно в обычных программах юзать
сделай тупо одно семейство просто
VD
сделай тупо одно семейство просто
Вот сейчас непонятно
VD
Вообще произвольное, но их конечное кол-во. А с тайпфемили оно разве будет ругаться, если я попробую в WordN 16 засунуть 67000?
VD
Ну походу надо finite-typelits брать. И почитать что-нибудь type level nats чтоб понять как это работает
JS
Вообще произвольное, но их конечное кол-во. А с тайпфемили оно разве будет ругаться, если я попробую в WordN 16 засунуть 67000?
будет ругаться при попытке работать со значениями такого типа
к
будет ругаться при попытке работать со значениями такого типа
не, он про значение, чтобы 67000 :: Word16 падало
JS
ругаться надо в компиляции или в исполнении?
TZ
А написать свою обёртку и экспозить только смарт-конструктор пойдёт?
VD
ругаться надо в компиляции или в исполнении?
Желательно в компиляции. Отлавливать рантаймовую фигню в хаскелле я как-то не люблю
VD
А написать свою обёртку и экспозить только смарт-конструктор пойдёт?
По идее да, но с арифметикой геморно будет, мне кажется