Знание argot поля помогает мне много, тем более что это позволяет мне разумно общаться с теми, кто знает намного больше, чем я, поэтому я хотел бы найти хороший лексикон функциональных терминов программирования.
Например, я неоднократно сталкиваюсь с ними: Functor, Arrow, Category, Kleisli, Monad, Monoid, настоящий зоопарк морфизмов и т.д. Я также замечаю, что многие из них появляются с префиксами, такими как "ковариант", "со-", "endo-" и т.д.
Из них я могу сказать, что я действительно понимаю Моноид и Ковариант и вроде бы получаю Монаду, но все остальное по-прежнему тарабарщино для меня. (Обратите внимание, что я не имею в виду этот список как исчерпывающий, и я не хочу, чтобы эти определенные или описанные для меня здесь, я ищу учебные ресурсы.)
Может ли кто-нибудь указать мне на лексику FP? Это не обязательно быть в режиме онлайн, пока можно найти его (и это не редкий том, за который мне придется заплатить много десятков долларов).