程序语言理论与抽象代数

抽象代数在编程语言理论中是否有任何应用？在语言设计和编译器实现中，有什么有用的东西吗？

代数运算中的“代数”一词具有经典意义，可用于计算效果的建模，例如，请参阅Gordon Plotkin的这些幻灯片，或者您可以阅读真实的 论文和博士学位。论文，如果您真的想问这个问题。

让我自己吹牛，看看Eff并阅读它，这是一种语言，其思想是计算效果是代数运算，而处理程序是代数同构。

我犹豫要回答，因为任何简单的“是”之外的答案都可以而且确实可以解决问题。编程语言的语义已经深深地影响了分类逻辑的发展，而分类逻辑的发展又深深地影响了分类逻辑的发展，这就是代数在逻辑中的应用。

但是我怀疑回答这个问题的最好方法是告诉您去学习Agda-学习依赖类型编程的经验在很大程度上影响了代数如何全面地渗透到计算机编程中。

实际上，这里有一个用于理论抽象代数的软件。该软件可以计算某些内容，例如动作组，同态等。它是岩浆：http : //magma.maths.usyd.edu.au/magma/

希望对您有所帮助。