Инхабитаты зашкаливающих порядков

[deni_ok]

Инхабитация 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

Comments

[max630]

> Частным случаем духовной одержимости является инхабитация диббука

(c) гугль по слову "инхабитация"

[deni_ok]

Бгг, и вызов джинна тоже в эту струю!

[nponeccop]

> Инхабитаты

прочитал "ихтамнеты"

[thesz]

Слабо использовать новомодный термин "населить"?

[deni_ok]

Населить звучит так, как будто тип пока пустует. Лучше уж так: найти законного обитателя. А инхабитат просто смешное слово.

[ulysses4ever]

Насилянт?

[deni_ok]

Нет-нет, на этом пути легко вляпаться в дистинкцию между гендером и полом! Вот тайпчекинг можно переводить как проверку прописки/регистрации. А Y-комбинатор - лицо без гражданства, но в некоторых версиях типов-пересечений получает нансеновский паспорт.

[akuklev]

Спасибо за развлечение. :-)

1) Минута, пока воткнул в сигнатуру и сообразил чего от меня требуется.
2) Пара секунд по аналогии.
3) Минуты две-три.
4) Минуты четыре-пять.

Не вижу причин, почему бы задание 4 было как-то существенно сложнее, чем 3: И там и там можно обойтись кроме аппликации и композиции всего одной лямбдой. Спойлеры не пишу, кто хочет может позвать джина.

[deni_ok]

Валера тут же предложил двинуться дальше и сделать монадой

((a -> r) -> a) -> s) -> a
и минуты за полторы написал на доске (>>=).

[akuklev]

Ачо, запросто. Осталось только понять, зачем это нужно. :-)

[deni_ok]

Чтобы понять как устроен мир, конечно же.

Вот, например, такой обобщенный вопрос: если взять подобный <<ступенчатый>> тип произвольного порядка, накидать разных констант в негативные позиции, а в позитивные - либо тоже константы, либо тип a возвращаемого значения, то всегда ли это будет монадой?