AV
magick here естественно может цеплять локальные аргументы
Size: a a a
2020 November 11
AV
Мне уже пора на приём к врачу?
KV
Мне уже пора на приём к врачу?
Диагноз: хаскелист
AV
Диагноз: хаскелист
Хаскелисты такое не любят
KV
Хаскелисты такое не любят
Любят, но тщательно это скрывают
AV
Это хаскелисты изгои
AV
Из башни
AV
Осталось понять почему я хочу именно модуль, а не структуру данных
AV
Да, кстати
NI
Мне уже пора на приём к врачу?
Дане. Хорошая фича.
Как в агде ;-)
Как в агде ;-)
a
Мне уже пора на приём к врачу?
Может ещё рекорды из модулей распаковывать захочешь?
VD
Хочу тип, который представляет натуральной число, которое может уместиться в 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? Его прелюд вроде можно в обычных программах юзать
AV
Может ещё рекорды из модулей распаковывать захочешь?
м?
a
record R : Set where
field
x : X
y : Y
z : Z
module M where
x = ...
y = ...
r : R
r = record { M; z = ... }
AV
Ну я ж начал с того, что я хочу модули 1-st class, через рекорды или как
AV
Чтобы их и собрать и разобрать и поменять можно было
AV
Добавить функциям кеширование например!