singlepost

Теория категорий << На главную или назад  

Господа те-кто-знаком-с-ней, скажите пожалуйста, в каких областях программирования вы видели ее применение?
Я подробно видел только в области функциональных языков – семантика, системы типов, "бесплатные теоремы" и т.п.
Слышал, что она используется для формализации моделей данных – реляционных и не только – но у меня пока не хватает знаний, чтобы понимать статьи на эти темы.
Сам хочу писать диплом по теме "Применение теорката к оптимизации SQL-запросов", но пока не очень ясно представляю, о чем именно мне там удастся рассказать.

PS Большая просьба отвечать только по теме – я позволю себе деспотизм удалять все остальное. Т.е. не надо спрашивать "что такое теория категорий" – посмотрите сами в гугле – и не надо говорить "чувак ты обкурился" – как говорится, у нас не курят, мы и так ебнутые :)

20 ответов в теме “Теория категорий”

  1. 8
    Александр Летов ответил:

    В ЖЖ? gabriel_irk. На моей странице есть прямая ссылка на ЖЖ. Но в ru_declarative я не слишком активен по причине малой компетентности…

  2. 7
    Жека Кирпичев ответил:

    А у тебя какой ник?

  3. 6
    Александр Летов ответил:

    Нда, что в ru_declarative, что здесь – одни и те же лица… ;) ))

  4. 5
    Виталий Слободин ответил:

    хм… надо поискать – мож где-нибудь и завалялась статья с теоркатом….
    Отдельная тема – это да =) тут много споров будет…

  5. 4
    Жека Кирпичев ответил:

    Не, я имею в виду именно статью про нормализацию с использованием теории категорий – про обычную нормализацию я и сам могу найти :)

    Про понимание естесственного языка – категорически не согласен. Язык запросов развивать бесспорно надо, но уж точно не в этом направлении; применение естесственных языков для формальных нужд – это зло, пример тому COBOL и SQL. Математическая нотация не просто так пришла к нынешнему виду, а потому, что она гораздо лучше, чем естесственный язык, подходит для выражения любых формальных концепций, в т.ч. и запросов. Однако это лучше обсуждать в отдельной теме :)

  6. 3
    Виталий Слободин ответил:

    насчет нормализации конечно подкину =) правда там нет вообще теории категорий…можешь посмотреть на Википедии мож там есть… для нормализации – дай мыло – я скину =)
    ну да, я тоже не раз видел как БД не может обработать запрос…
    Одно из важнейших развитий БД – это понимание естественного языка, то бишь облегчение запросов и самой БД

  7. 2
    Жека Кирпичев ответил:

    Я абсолютно уверен, что для оптимизации запросов можно применять, как минимум, "бесплатные теоремы" – поскольку они верны для произвольных отношений, а не только функций. Главное – найти среди операций реляционной алгебры экспоненциальные объекты и естесственные трансформации. Мне кажется, это возможно.
    Кроме того, я не раз видел, как БД не справлялась с оптимизацией запроса, который совершенно явно можно было оптимизировать, если бы БД, к примеру, знала, что такое мономорфизм.
    В общем, мне кажется, что эта область широка и плодотворна.

    А насчет нормализации – не подкинешь какую-нибудь статью?

  8. 1
    Виталий Слободин ответил:

    я с теорией категорий не очень дружу =) но знаю, что при помощи нее составляют БД, причем в в западных обр. учреждениях это является обязательным предметом для тех, кто так или иначе будет делать БД.
    Еще теоркат используют и для нормализации БД.
    Кстати, я тоже не очень представляю о чем именно будет речь при защите диплома на эту тему =)
    может лучше взять темучто-то наподобие "Теория категорий и базы данных"?

Клуб программистов работает уже ой-ой-ой сколько, а если поточнее, то с 2007 года.