S
Хаерордер
Size: a a a
2020 May 10
S
То она будет нерабочая
S
А это растовый синтаксис? Или вообще?
Это кайндоф суифт
G
Кстати у меня появился вопрос относительно map'a. Какова вот эта залупа (А<Т>, (T) -> L) -> A<L> считается не unsound?
это лишь функтор с dom = cod, т.е. эндофунктор, ты что хотел?
G
в названии тайп класса так и написано - функтор (решили сократить, убрав приставку)
G
конкретная семантика определяется реализацией
JC
Ну тащемта можно дернуть от A.iter(), прогнать функцию по всем частям, собрать в A::collect() и вроде как map
ГС
это лишь функтор с dom = cod, т.е. эндофунктор, ты что хотел?
а почему эндо, если в общем случае T != L?
JC
В питоне примерно так и работает
G
а почему эндо, если в общем случае T != L?
потому что в Hask же работаем
G
емнип можно определить свои категории в Idris, но я не особо с этим знаком
JC
То она будет нерабочая
Если добавить констрейнтов, то будет рабочая
ГС
потому что в Hask же работаем
не уверен, что нормально считать, что мы работаем в Hask по умолчанию, ну да ладно
G
не уверен, что нормально считать, что мы работаем в Hask по умолчанию, ну да ладно
ну так по-умолчанию и считают 🤷♀️
p
Всё ещё мой вопрос остаётся неотвеченным
add1: Functor t, Num a => t a -> t a
add1 xs = map (+1) xs
Благодаря hkt ты можешь выразить такую функцию которая к элементам любой коллекции реализующей map и у которой элементы цифры прибавить ко всем элементам 1. Таким образом ты в эту функцию можешь засунуть Vec, Array, Tree, Graph, Option, Result и т.д. и т.п.
add1 xs = map (+1) xs
Благодаря hkt ты можешь выразить такую функцию которая к элементам любой коллекции реализующей map и у которой элементы цифры прибавить ко всем элементам 1. Таким образом ты в эту функцию можешь засунуть Vec, Array, Tree, Graph, Option, Result и т.д. и т.п.
p
А для нынешнего раста такую функцию не выразишь
p
Придется копипастить для каждой структуры
JC
Мне кажется, он имел ввиду, что в мейнстримном языке саму функцию map не выразить
JC
Коллекция map может реализовать, а вот чтоб сразу map для всех колекций?
p
Ну магии не существует