Господа те-кто-знаком-с-ней, скажите пожалуйста, в каких областях программирования вы видели ее применение?
Я подробно видел только в области функциональных языков – семантика, системы типов, "бесплатные теоремы" и т.п.
Слышал, что она используется для формализации моделей данных – реляционных и не только – но у меня пока не хватает знаний, чтобы понимать статьи на эти темы.
Сам хочу писать диплом по теме "Применение теорката к оптимизации SQL-запросов", но пока не очень ясно представляю, о чем именно мне там удастся рассказать.
PS Большая просьба отвечать только по теме – я позволю себе деспотизм удалять все остальное. Т.е. не надо спрашивать "что такое теория категорий" – посмотрите сами в гугле – и не надо говорить "чувак ты обкурился" – как говорится, у нас не курят, мы и так ебнутые 
5 июня 2008 в 18:04
В ЖЖ? gabriel_irk. На моей странице есть прямая ссылка на ЖЖ. Но в ru_declarative я не слишком активен по причине малой компетентности…
4 июня 2008 в 22:01
А у тебя какой ник?
4 июня 2008 в 21:02
Нда, что в ru_declarative, что здесь – одни и те же лица…
))
4 июня 2008 в 13:05
хм… надо поискать – мож где-нибудь и завалялась статья с теоркатом….
Отдельная тема – это да =) тут много споров будет…
4 июня 2008 в 12:05
Не, я имею в виду именно статью про нормализацию с использованием теории категорий – про обычную нормализацию я и сам могу найти
Про понимание естесственного языка – категорически не согласен. Язык запросов развивать бесспорно надо, но уж точно не в этом направлении; применение естесственных языков для формальных нужд – это зло, пример тому COBOL и SQL. Математическая нотация не просто так пришла к нынешнему виду, а потому, что она гораздо лучше, чем естесственный язык, подходит для выражения любых формальных концепций, в т.ч. и запросов. Однако это лучше обсуждать в отдельной теме
4 июня 2008 в 11:04
насчет нормализации конечно подкину =) правда там нет вообще теории категорий…можешь посмотреть на Википедии мож там есть… для нормализации – дай мыло – я скину =)
ну да, я тоже не раз видел как БД не может обработать запрос…
Одно из важнейших развитий БД – это понимание естественного языка, то бишь облегчение запросов и самой БД
4 июня 2008 в 10:02
Я абсолютно уверен, что для оптимизации запросов можно применять, как минимум, "бесплатные теоремы" – поскольку они верны для произвольных отношений, а не только функций. Главное – найти среди операций реляционной алгебры экспоненциальные объекты и естесственные трансформации. Мне кажется, это возможно.
Кроме того, я не раз видел, как БД не справлялась с оптимизацией запроса, который совершенно явно можно было оптимизировать, если бы БД, к примеру, знала, что такое мономорфизм.
В общем, мне кажется, что эта область широка и плодотворна.
А насчет нормализации – не подкинешь какую-нибудь статью?
4 июня 2008 в 10:00
я с теорией категорий не очень дружу =) но знаю, что при помощи нее составляют БД, причем в в западных обр. учреждениях это является обязательным предметом для тех, кто так или иначе будет делать БД.
Еще теоркат используют и для нормализации БД.
Кстати, я тоже не очень представляю о чем именно будет речь при защите диплома на эту тему =)
может лучше взять темучто-то наподобие "Теория категорий и базы данных"?