JC
Хотя если это итератор, то возможно.
Size: a a a
2020 May 10
JC
Правда это если iter и collect обратные друг другу
S
Ну магии не существует
Тогда зачем это нужно вообще?
S
Чем просто (A) -> T не подходит
G
Чем просто (A) -> T не подходит
тем, что много меньше можно сказать о поведении такой функции
S
тем, что много меньше можно сказать о поведении такой функции
Так это и не нужно
G
для автореализаций на основе функториальных структур нужно
S
для автореализаций на основе функториальных структур нужно
Для каких ещё автореализаций?
S
Пояснили уже что автоматом оно ниче не генерит
G
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 и т.д. и т.п.
@ur_saviour выразишь это одной функцией в расте чтобы оно принимало на вход Option или Result и работало одинаково?
S
@ur_saviour выразишь это одной функцией в расте чтобы оно принимало на вход Option или Result и работало одинаково?
Опшон и результ разные типы
S
О чем ты говоришь вообще?
G
наезжаем на функтор, не знаем что такое функтор
p
Опшон и результ разные типы
ты типо никогда в одну функцию не передавал разные типы? и не использовал обобщенные параметры?
G
вообще зачем все эти ваши функторы
G
void *G
проблема решена
JC
Мажор
JC