Пролог и фанатизм в информатике

[beroal]

Присказка. Однажды я захотел создать файл в формате Low Level Virtual Machine Intermediate Representation (LLVM IR). В ходе работы выяснилось, что официальная документация неясна, неполна и некорректна. Не то, чтобы совсем бесполезна, но многие вещи пришлось выяснять с помощью экспериментов и чтения исходного кода парсера на C++, который я не

Comments

[ex_juan_gan]

Спасибо. Узнал много нового.

Нет, моноиды, концептуально - не частный случай категорий.

Про "структуры в смысле Бурбаки" первый раз слышу, кстати. В наших ебенях это называется теорией моделей; спасибо за хинт.

[beroal]

«Про "структуры в смысле Бурбаки" первый раз слышу, кстати.»
Подозреваю, я изобрёл этот термин. Просто чтобы этот термин не пересекался с терминами «структура данных» или «структурированный формат данных» в программировании. Ну, T-модель - это Σ-структура, удовлетворяющая Σ-теории T. Но под структурами я подразумеваю общую идею, что математика - это наука о структурах, и эта идея включает понятия «сигнатура», «структура», «теория», «модель». Бурбаки продвигал эту идею в образовании, но ясно, что не он её придумал. В его учебнике по теории множеств есть раздел о структурах в общем виде. Правда, там нет определения гомоморфизма, есть определение изоморфизма. Есть ещё статьи Бурбаки.

[ex_juan_gan]

Я Бурбаков не фанат; сейчас погуглил, да, у них есть такое. Но у них древняя ж математика, на теории множеств сидит.

[beroal]

Я тоже не фанат. Во-первых, потому что он не занимался информатикой, не говоря уже о программировании. ☺ Но Бурбаки - это известное имя, в отличие от моего. Если вы знаете более подходящего человека, я весь внимание.