deniok: (Рыжий)
deniok ([personal profile] deniok) wrote2016-01-17 01:19 am

Королевский экзамен в Зазеркалье

Маленький хаскеллист попал в Зазеркалье и, преодолев неисчислимые препятствия, дошел до последней горизонтали. Белая и Черная Королевы говорят, что для того, чтобы стать SPJ, ему нужно пройти «Королевский экзамен», ответив на Черный и Белый вопросы: всякий ли Functor является Rotcnuf? всякий ли Rotcnuf является Functor?
class Rotcnuf f where
  mfap :: f (a -> b) -> a -> f b

Помогите маленькому хаскеллисту стать SPJ.

[identity profile] sassa-nf.livejournal.com 2016-01-16 11:22 pm (UTC)(link)
ну там бы пруф предоставить. скажем, в первому понятно, а ко второму?

[identity profile] voidex.livejournal.com 2016-01-17 08:00 am (UTC)(link)
Не, я ошибся, просто типы сошлись, но я вчера не подумал