Я недавно узнающий о функциональном программировании (в Haskell и Scala). Это - возможности, и элегантность довольно очаровательна. Но когда я встретил Монады, который использует алгебраическую структуру...
Это известно, что моноиды потрясающе повсеместны в программировании. Они так повсеместны и так же полезны, что я, как 'проект хобби', работаю над системой, которая является полностью на основе их...
С помощью hammar я создал бит шаблона Haskell, который компилирует $ (zModP 5) в новый тип Z5 = Z5 Int
экземпляр Additive.C Z5, где (Z5 x) + (Z5 y) = Z5 $ (x + y) `mod` 5
... Теперь я столкнулся с ...
Как вы используете GAP для определения имени группы из ее таблицы умножения? Я знаю, что вы можете определить группу из набора генераторов, а затем искать группу в наборе внутренних таблиц.
...
Теория категорий и абстрактная алгебра имеют дело с тем, как функции могут быть объединены с другими функциями. Теория сложности имеет дело с тем, насколько сложно вычислить функцию. Мне странно, что я не...