АХ
Есть фиговины, есть стрелочки между ними. Больше ничего нет
Size: a a a
2021 February 15
IP
Потому что терминология ради терминологии
Ну я согласен, что применений как таковых у теорката нет
IP
Но можно пугать нефункциональщиков.
АХ
почему ерунда
Не ерунда, просто очень абстрактная математика, с не очень большим кол-воп применений
IP
И пугать людей, которые думают, что для хаскеля нужно разобраться в теоркате
АХ
Вот Кметт тырит использует идеи из теорката для своих библиотек
AN
Ну я согласен, что применений как таковых у теорката нет
Ну почему нет. Примерно то же применение, что и у теории групп в физике частиц. Вы делаете модель вашей системы и при помощи этой модели ищете что-то новое. Но именно в инженерии (программировании) - это просто умные слова ради умных слов.
IP
Ну почему нет. Примерно то же применение, что и у теории групп в физике частиц. Вы делаете модель вашей системы и при помощи этой модели ищете что-то новое. Но именно в инженерии (программировании) - это просто умные слова ради умных слов.
А в физике частиц есть юзкейс для теоргрупп?
AN
А в физике частиц есть юзкейс для теоргрупп?
Еще как. Для теоретиков - это просто основной инструмент. Даже взаимодействия называются по типам групп, которыми они описываются
AN
Например SU3
IP
Например SU3
А, понял
AN
Но для инженеров это не нужно вообще
IP
Это стандартная модель
IP
Вот балда
AN
Это стандартная модель
Это кусок стандартной модели, так-то там какое-то произведение, но я его не помню, я не теоретик
IP
Это кусок стандартной модели, так-то там какое-то произведение, но я его не помню, я не теоретик
Я уже понял, про что вы
IP
Что там три группы симметрии - и вот эта фигня
AN
Тут же весь юмор в том, что особо воюют за теоркат как раз те ребята, которые его точно никогда не будут использовать. Вот мы KMath вероятно из всего чатика ближе всего к этой теме. Да и к теории типов тоже - со всеми алгебрами (вчера же говорили про структурную типизацию?). Но это не интересно обсуждать, это делать надо.
AN
А моноиды - это про "а поговорить"
IP
И пугать людей, которые думают, что для хаскеля нужно разобраться в теоркате
^