ЗП
а репрезентабл это изоморфизм из функтора в хом
Size: a a a
2021 January 17
ЗП
также есть такое же представление для профунктора в дихом
DB
1. сначала поставь ghcup, вместе с ним придёт всё что нужно.
2. затем — https://stepik.org/course/75/promo
2. затем — https://stepik.org/course/75/promo
Курс на степике по learnyouahaskell.com построен? Там по сложности ещё качели, с
seq и $! например. Очень уж сложное задание с несопоставимо простыми видосами.ЗП
есть какая-нибудь дерайвилка инстансов для Applicative на манер ZipList?
а разве тут Ap не хватит?
Oℕ
С помощью такой, например, дерайвилки нельзя было бы получить инстанс для зиплиста
Oℕ
Тут очевидно инстансы эквивалентные инстансам для (->) a только для представимых функторов
Oℕ
В принципе с любым уровнем автоматизации для параллельных апликативов, непонятно, что делать с типом данных, содержащим хотя бы два конструктора, содержащих ссылку на аргумент типа
AA
ничего
AA
как например вывод моноедов из пакета семигрупс с ними ниче не делает
ЗП
ну а
Ap f a не поможет?Oℕ
ну тогда если разрешается максимум два конструктора, и максимум один непустой, то понятно, что делать
Oℕ
ну а
Ap f a не поможет?ну фри аппликатив помогает для получения инстансов аппликативов, примерно так же, как список помогает для получения инстанса моноида
Oℕ
как бы и помогает и "спасибо, я сам"
ЗП
ну фри аппликатив помогает для получения инстансов аппликативов, примерно так же, как список помогает для получения инстанса моноида
я не про фри аппликатив
Oℕ
я не про фри аппликатив
а что тогда
YP
А это шутка такая, что ормолу из длинного data A | B | C | D | … делает высоченный столб?
ЗП
а там вроде форк был более-менее ок
ЗП
кто пробовал?