ЮБ
Не ну так тоже можно, но может есть какой-то тайпкласс для этого кайнда?
Size: a a a
2020 February 28
ЮБ
map2 по ходу
Oℕ
нет
λ
Это обычный map
Oℕ
это не обычный map
Oℕ
тайпкласса нет
Oℕ
есть оптика IndexedSetter
λ
Map же можно представить как сиквенс тьюплов
Oℕ
и что
λ
Ну поэтому это обычный map
Oℕ
Николай, а если подумать, прежде, чем говорить
Oℕ
mapWithKey производит только новые значения, если представить Map как сиквенс тюплов результатом должен быть сиквенс результатов, а не новая Map
Oℕ
можно придумать тайпкласс FunctorWithKey
Oℕ
если хотите
λ
Логично
λ
Ну в хошкеле да, это mapWithKey зовётся
ЮБ
На самом деле, там есть 3 варианта:
V => V2
(K, V) => V2
(K, V) => (K2, V2)
V => V2
(K, V) => V2
(K, V) => (K2, V2)
Oℕ
для третьего варианта невозможно придумать адекватных законов
Oℕ
поэтому такой тайпкласс не нужен
Oℕ
думаю, можно придумать законы для
mapItemsWith((K, V) => (K2, V2))((V2, V2) => V2)
mapItemsWith((K, V) => (K2, V2))((V2, V2) => V2)