Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
Haskell:如何为依赖于参数的东西编写“Monoid”实例
我正在为大学开发一个小型图书馆 它可以在循环群 像 3 11 10 11 gt 2 11 整数 n 在加法下清楚地形成一个幺半群 0 n 作为单位元 然而 只有当相加的两个操作数的模相同时 加法才有意义 a n b n 有道理 同时a n
Haskell
dependenttype
monoids
Agda:用数字解析字符串
我正在尝试用 Agda 中的自然数解析字符串 例如 结果stringListTo 1 2 3 应该Just 1 2 3 我当前的代码不太正确 或者无论如何都不太好 但它可以工作 但是它返回类型 Maybe List Maybe 问题是 功能
agda
dependenttype
«
1
2
3