Инхабитаты зашкаливающих порядков
Инхабитация fmap для монад Cont и Sel - мой любимый дополнительный вопрос на экзамене. Справитесь?
? :: (a -> b) -> ((a -> r) -> r) -> ((b -> r) -> r) ? :: (a -> b) -> ((a -> r) -> a) -> ((b -> r) -> b) Чтобы помучить студентов посильнее я предлагаю проинхабитировать (<*>) для Cont:
? :: (((a -> b) -> r) -> r) -> ((a -> r) -> r) -> ((b -> r) -> r) А вот (<*>) для Sel я студентам на экзаменах не даю. Может стоило бы?
? :: (((a -> b) -> r) -> (a -> b)) -> ((a -> r) -> a) -> ((b -> r) -> b) (Те, кто вызывает джинна, заведомо считаются проигравшими.)
Originally posted at http://deniok.dreamwidth.org/64820.html. Feel free to comment here or there.
? :: (a -> b) -> ((a -> r) -> r) -> ((b -> r) -> r) ? :: (a -> b) -> ((a -> r) -> a) -> ((b -> r) -> b) Чтобы помучить студентов посильнее я предлагаю проинхабитировать (<*>) для Cont:
? :: (((a -> b) -> r) -> r) -> ((a -> r) -> r) -> ((b -> r) -> r) А вот (<*>) для Sel я студентам на экзаменах не даю. Может стоило бы?
? :: (((a -> b) -> r) -> (a -> b)) -> ((a -> r) -> a) -> ((b -> r) -> b) (Те, кто вызывает джинна, заведомо считаются проигравшими.)
Originally posted at http://deniok.dreamwidth.org/64820.html. Feel free to comment here or there.