Согласен, ничего сверхинтересного в Charity нету (делая скидку на мой уровень понимания категорий). Я просто ответил первое, что пришло в голову по ключевым словам.
Зобавно, что чистаа по построению пост какой-то религиозный.
Если заменить "применение категорий в программировании" на 'использование арифметики в быту', получим явный абсурд, а вот с заменой 'применение бога в быту и жизни' - текст будет вполне себе смотреться.
> чистаа по построению пост какой-то религиозный Да, тут неявно постулируется, что категории в программировании полезны.
Мотив поста такой, что я бы и сам мог рассказать, но книжек никаких не помню. Как-то по-другому я изучал, не читал из таких книжек ни одну полностью с начала до конца, только куски выхватывал.
Помню, да. Но это именно вычислительные категории - как вычислять пределы итипатого... А каким боком категории используются в программировании, там ни слова.
Comments 155
Reply
Reply
Reply
Согласен, ничего сверхинтересного в Charity нету (делая скидку на мой уровень понимания категорий). Я просто ответил первое, что пришло в голову по ключевым словам.
А кто такой Хагин и что за вещи у него?
Reply
Если заменить "применение категорий в программировании" на 'использование арифметики в быту', получим явный абсурд, а вот с заменой 'применение бога в быту и жизни' - текст будет вполне себе смотреться.
Reply
Да, тут неявно постулируется, что категории в программировании полезны.
Мотив поста такой, что я бы и сам мог рассказать, но книжек никаких не помню.
Как-то по-другому я изучал, не читал из таких книжек ни одну полностью с начала до конца, только куски выхватывал.
Reply
А также есть книжка http://www.cambridge.org/gb/knowledge/isbn/item1141744/
Reply
Вторую книжку я и не видел.
Reply
Reply
А вот на смысл уже не осталось.
Reply
Не обижайтесь так, я же любя.
Reply
Reply
Reply
Но это именно вычислительные категории - как вычислять пределы итипатого...
А каким боком категории используются в программировании, там ни слова.
Reply
Leave a comment