ЗП
Size: a a a
2018 August 15
2018 August 16
AK
https://github.com/chjj/blessed лучше вот это спортируй
AK
VY
интересно, зачем такое может понадобиться:
coerce :: forall f a b. Contravariant f => Functor f => f a -> f b
coerce a = absurd <$> (absurd >$< a)
VY
т.е. понятно как это работает
но не понятно зачем)
(Void -> a) ((Void -> a) -> f a -> f Void) (f a)
(Void -> b) <$> f Void
f b
но не понятно зачем)
AP
А больше никак нельзя получить
f b из f a :)AP
Потому что нельзя сконструировать
f b из ничегоAP
Но такая функция иногда нужна - просто чтобы была и её можно было вставить
AP
Иногда есть дырка
(f a -> f b) и вставить в неё нечего. Такую функцию даже не сконструируешь тотальной. Если не использовать абсурд :)VY
хм, ну да
единственный вариант еще:
единственный вариант еще:
map unsafeCoerceAP
А coerce - safe
VY
да, в целом понял, спасибо
AP
В профункторных линзах как раз coerce используется. И не вызывается :)
AP
У coerce ещё и констреинт интересный: Contravariant + Functor
VY
т.е. тут
f бивариантный, как и любой фантомAP
Поэтому и safe
AP
Захочешь - не вызовешь :)
ЗП
еще его
phantom называют)