Im a Haskell beginner, и я до сих пор изучаю теорию категории и ее практическое использование в информатике. Я провел последний день наблюдая за пару лекций из университета Беркли в о теории категорий
Например, предположим, что вы разрабатываете класс объектов под названием Car, которые поддерживают бинарную операцию, обозначенную знаком, +, то есть вы можете сделать car1 + car2 где car1 и car2 явл
Недавно я познакомился с функциональным программированием (в Haskell и Scala). Его возможности и элегантность довольно очаровательны. Но когда я встретил Монады, которые используют алгебраическую стру
Я пытаюсь изучить концепцию monad, я смотрю этот отличный video Брайан Беккенд пытается объяснить, что такое монада. Когда он говорит о monoid, это коллекция типов, то есть правило, композиции, и эта
Как вы используете GAP для определения имени группы из таблицы умножения? Я знаю, что вы можете определить группу из множества генераторов, а затем искать группы в наборе внутренних таблиц gap> g := G
Я работаю над проблемой и надеюсь, что кто-то может мне помочь с этим (возможно, это уже изучено, я не знаю). Для данного и числам м и п, являются ли какие-либо специальные условия для равенства (а (м