Шеймил Жиробасов звучит как имя и фамилия

Шамил же

Был такой чеченский лидер шамиль

Помню, когда ночью заказчику полиграфию подвозил году в 2004, набирал его и говорил "Шамиль... тротил подвёз", с акцентом... сейчас бы не стал так шутить...

Скажите, а у вас с аппликативными функторами и монадами как?

А со списочными компрехеншонами в пайтоне, например

Украинское село Малиновка в годы Гражданской войны живет от одной перемены власти до другой. Тяготы войны ничуть не мешают любви пастуха Андрейки и Яринки — дочери революционера, сосланного в Сибирь ещё при царе. В тихую деревню является банда «идейного атамана» и местного уроженца Грициана Таврического. Атаман задумал по обычаю того времени учредить в Малиновке «самостийную державу»; государственное строительство начинается, само собой, с грабежа и насилия. На глаза Грициану попадается Яринка, и он угрозами пытается добиться от неё согласия на свадьбу.

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

На свадьбу под видом белогвардейского офицера Чечеля — уполномоченного барона Врангеля - является сам Назар Дума. По его замыслу, красный отряд должен захватить банду врасплох, когда все основательно захмелеют, а пока блестящий штабс-капитан произносит патетические тосты, поражает публику великосветскими манерами и между делом выводит из строя бандитские пулемёты.

Пора начинать атаку, но условный сигнал запаздывает. Грициан домогается Ярины, врангелевский посланец уже вызывает у него подозрения, и поэтому Назару приходится одному вступить в бой против множества врагов. В критический момент приходит помощь, и бандиты терпят позорное поражение: с одной стороны их бьют конники Думы, а с другой — малиновский женский «гарнизон» под командованием Яшки-артиллериста. Наутро после этой «свадьбы» Назар Дума, который на самом деле приходится Яринке отцом, благословляет дочь и Андрейку.

Отличная история!
Что за книжка? Хочу прочитать!

Кино же Свадьба в Малиновке

Нюанс. Это задача на lists. Можно использовать только то, что во всех книгах есть около листов, то есть pattern matching и рекурсию. Лямбды можно с натяжкой.

Этот нехитрый тезис я многократно повторил в старте, но люди его почему-то пропускают.

не понял, какая задача на lists?

Та, в процессе обсуждения которой вы поинтересовались монадами.

я не помню этого момента, видать не осилил пока

Учитывая, что мы во флеймовом канале, скажу: ФП не взлетит. Люди не те, книги не те. Эзотерика. Так и будет нишей.

Так монада - это же просто lax-2-функтор из точечной категории в какую-то бикатегорию!
Что тут осваивать-то!

на applyOptional?

вообще есть подозрение, что я осилил монады во время чтения апликатив программинг виз эффектс, но не уверен

прикольно

я освоил монады когда увидел

Functor     f =>   (a -> b) -> f a -> f b
Applicative f => f (a -> b) -> f a -> f b
Monad       f => (a -> f b) -> f a -> f b