Так никто и не зацикливается. Я возражаю точке зрения, что монады и профункторы с сопряжениями не нужны, вредны и бесполезны. Вполне себе адекватные инструменты в ситуациях, когда надо по-быстрому структурировать код (не обязательно на haskell).

Главное, почитать об этом прикладников, типа Спивака или Коновалова, у которых очень хорошо описано зачем это всё надо, и какая за конструкциями инженерная интуиция. Нубские толкования монад (сопряжений), конечно, вносят больше неразберихи, чем помогают.

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

Это работает, как арифметика над структурами кода. Это ж хорошо, когда на бумажке с минимумом напряжений можно вычислить организацию программы.

посоветуйте подходящую литературу от Коновалова, а то яндекс посоветовал только какую-то "Монада Коновалова в негативе"...

Вот, он бложик завёл https://alexknvl.com/ - на там ничего для Вас, наверное, интересного не будет. Начальный уровень

Просто он хорошо разжёвывает

спасибо

А такой уже интересный уровень - это Spivak и прикладная ТК. Там базы данных, автоматы, сети взаимодействия и тому подобное

MIT вот выложил курс лекций. https://m.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5 Я не говорю, что это прям волшебный пендель, но полезный взгляд на программистские дела.

И на компиляторные, кстати тоже. Оптимизировать выражения по их типу - это ж хорошо.

про средства разработки для АЭС: https://www.youtube.com/watch?v=IELvQ3nj_Mk

Соорудил статически типизированный скриптовый язык Umka. Комментарии всячески приветствуются. Вдруг у него есть шанс стать полезным?

https://github.com/vtereshkov/umka-lang

>статически типизированный
>скриптовый
уже интересно

но... это же не медвежонок :)

const b* = 2.38  // Exported identifier

странно

Совершенно верно. Язык назван в честь кота, названного в честь медвежонка :)

ну я хз что коментировать. не фп, поэтому не нравится. мои коментарии кончились :)

Вообще язык сильно вдохновлён Go. Пожалуй даже слишком сильно.

Не очень ясно, почему Вы отнесли свой ЯП к скриптовым.

Плохо, что не expression oriented

const b* = 2.38  // Exported identifier

Странный способ экспорта? Он взят из Оберона. В Go его не могли использовать, потому что взяли звёздочку для указателей и пожалели об этом.

https://blog.golang.org/declaration-syntax