Ну вот как аппликативный функтор поможет мне реализовывать чужой бинарный протокол без ошибок или доказывать liveness алгоритма в распределённой системе?

если при формализации реализации протокола у вас вылезет (вы увидите) аппликатив, то сможете опереться на его законы и возможности. если нет, то определенно никак - равно как и при ловле рыбы или какой-нибудь другой деятельности

Мой тезис в том, что эти законы и возможности практически всегда бесполезны.

Если не доказатель теорем арифметики писать.

Ну у вас и макросы тоже были бесполезны )

Если писать пиксель влево-пиксель вправо или расчет скидки от объема, то наверное ничего не надо, даже Кложи - сойдет и Питон и ЖС

Надо отойти в реал - если интересно, позже можем продолжить

Очень хорошо, почти как если бы на джава был код

Настолько же быстро, насколько гуглится ответ на этот вопрос

С опытом простые структуры типа моноидов/колец/монад/функторов интуитивно замечаются и доказываются очень просто - там нужно пару равенств проверить. Это как паттерны из GoF, только опираются на формальные определения.
Помогает писать dsl и переиспользовать множество трюков из std lib.
Не сказать, что без этих знаний кода не напишешь, но они определенно дают свои плюсы к тому, что тебе не приходится каждый раз переизобретать решения проблем заново

А где-то есть прям список или видеосет докладов Рича? Или только гуглить?

В Ютубе 10 видео Рича, все посмотреть и все ясно

ok

пасиб)

Если бы эту вещь расширить roman01la/javascript-to-clojurescript: JavaScript to ClojureScript translator
https://github.com/roman01la/javascript-to-clojurescript

https://github.com/matthiasn/talk-transcripts/tree/master/Hickey_Rich
Мне в таком виде больше всего нравиться

Где-то не хватает производительности?

Жутко это процентов 30% ? )