Я наткнулся на хорошую идею свободных теорем в функциональном языке. Однако единственным ресурсом, который я смог найти, является статья Вадлера "" Теоремы бесплатно". Это неплохо, но это определенно не учебник, и мне трудно пройти (я понял примерно половину этого, и мне потребовалось потратить довольно много времени). Можете ли вы порекомендовать мне еще одну статью или учебник, ориентированный на разработчика программного обеспечения, знакомого с функциональным программированием, а не с помощью научного исследователя функционального языка с твердым ядром?
Спасибо.
