KV
barbies-th нормальное решение предлагает, мне понравилось
Size: a a a
2021 February 09
ЗП
а как же https://github.com/i-am-tom/higgledy ?
KV
а как же https://github.com/i-am-tom/higgledy ?
Это тоже подходит, но нафига мне то же самое на дженериках, когда есть тх
KV
Мб в хигглди есть какие-то фичи, которых нет на тх, но это не мой случай
KV
ну, когда я делал, я оставил просто
type family Map f xs where
Map _ '[] = '[]
Map f (x:xs) = f x : Map f xs
f :: NP I (Map f xs) -> NP f xs
f = unsafeCoerce
type family Map f xs where
Map _ '[] = '[]
Map f (x:xs) = f x : Map f xs
f :: NP I (Map f xs) -> NP f xs
f = unsafeCoerce
Вот это я понимаю боринг хаскель
KV
Расскажите, почему у мапы нет аппликатива?
KV
А, потому что там не написать pure без извращений
KV
Но мне не нужно pure, мне нужно только strength
KV
Да
KV
Т. е. интуитивно pure x должно быть мапой, которая на любой ключ даёт x
KV
Но это дурь какая-то
KV
Не, ну так-то почему бы и нет. Можно сделать тип
data AMap k v = PureMap v | ProperMap (Map k v)
data AMap k v = PureMap v | ProperMap (Map k v)