Там товарищ порекомендовал Маклейна. Книжка хорошая и правильная, но только нужно предупредить — программистской специфики там нет совсем, абсолютно. И возможно, что _покажется_, что изобилует кучей примеров, которые вообще непонятно, зачем нужны. То есть, на самом деле, примеры там хорошие, но показаться так может (и не относятся примеры к программистскому почти нигде никак). Нужно быть к этому готовым.
В качестве более простое чтива (и ближе к программизму), можно перекомендовать, для начала, наавеерное, учёбник Георгия... Там расжёвывается довольно-таки сильно, и как я считаю, это неплохо.
Ну а если хочется поизучать хотябы какую-то одну тему, использующую категорный язык, но не относящуюся к программизму, то книжка Маклейна, это уже просто "must read".
no subject
Книжка хорошая и правильная, но только нужно предупредить —
программистской специфики там нет совсем, абсолютно.
И возможно, что _покажется_, что изобилует кучей примеров, которые вообще непонятно, зачем нужны.
То есть, на самом деле, примеры там хорошие, но показаться так может (и не относятся примеры к программистскому почти нигде никак).
Нужно быть к этому готовым.
В качестве более простое чтива (и ближе к программизму), можно перекомендовать, для начала, наавеерное, учёбник Георгия...
Там расжёвывается довольно-таки сильно, и как я считаю, это неплохо.
Ну а если хочется поизучать хотябы какую-то одну тему, использующую категорный язык, но не относящуюся к программизму, то книжка Маклейна, это уже просто "must read".