我要开始学习抽象代数——群、环等。我有兴趣了解任何编程语言(如果有的话)可以帮助我学习/尝试我在理论上学到的概念。
编辑:我并没有真正在看实施我学到了什么。我有兴趣了解任何已经支持它们的语言。
也许对你的问题的看法略有不同,但仍然......函数式语言 Haskell 使用代数(特别是范畴论)中的概念,例如单子、幺半群、箭头等等。
使用 Haskell 的类型类,您还可以将任何对象放入一个组或一个环中,例如,只需在它们上定义操作(运算符)即可。然而,保证您定义的操作实际上符合群/环公理将是您的责任。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)