JS
да, проблемы могут быть, но решаются дополнительным слоем абстракции
Size: a a a
2020 November 10
JS
если вносить изменения сразу в обе коллекции
ЗП
а есть ли где-то конвертер в разные кодировки?
ЗП
я имею в виду Черча, Скотта и тд
KV
а есть ли где-то конвертер в разные кодировки?
ЗП
там есть church, но для рекурсивности он уже какую-то чушь генерит
ЗП
> :kind! forall a b r. ChurchRep (a, b) r
forall a b r. ChurchRep (a, b) r :: *
= (a -> b -> r) -> r
> :kind! forall a b r. ChurchRep (Either a b) r
forall a b r. ChurchRep (Either a b) r :: *
= (a -> r) -> (b -> r) -> r
> :kind! forall a b r. ChurchRep Nat r
forall a b r. ChurchRep Nat r :: *
= church-0.1.0.0:Church.ToChurch.ChurchSum
(church-0.1.0.0:Church.ToChurch.ToList
(church-0.1.0.0:Church.TF.StripMeta (Rep Nat ()))
(church-0.1.0.0:Church.TF.ListTerm ()))
r
к
а есть ли где-то конвертер в разные кодировки?
я где-то писал функцию, которая генериками генерирует элиминатор для любого adt, в том числе и рекурсивного (то есть для списка автоматически сгенерируется foldr например, maybe, either, для пары, да и для всего остального, с чем генерики справятся)
ЗП
такое подойдет?
может
к
https://gist.github.com/kana-sama/9ac177974949a92804515ac84b087c15
блин не, апи у рекурсии там неудобно сделано, но наверняка можно было сделать лучше
блин не, апи у рекурсии там неудобно сделано, но наверняка можно было сделать лучше
YS
Хочу вернуть значение с квантификатором, хаскель ругается на импредикативный полиморфизм. Насколько плохим решением будет включить
ImpredicativeTypes?YS
мне итак стыдно, хватит тровить новичка(
YS
помогает
YS
играюсь просто
YS
забыл
MK
В пакете ленс есть ReifiedLens специально для этих целей
MK
По идее
YS
для того, чтобы возвращать линзы?
MK
Ну во-первых чтобы в контейнерах хранить