代码之家 › 专栏 › 技术社区 › Alex

用于处理公理的程序设计语言

symbolic-math programming-languages

Alex · 技术社区 · 15 年前

编辑:Prolog是答案。

2 回复 | 直到 15 年前

Larry Watanabe 15 年前

prolog适合处理公理。在sourceforge.net上有一个面向对象的Prolog开源扩展:

Jörg W Mittag 15 年前

我相信 Fortress Programming Language 工作方式与你描述的相似。它使用具有一般特性的面向对象类型系统来描述运算符的代数性质(如关联性、交换性、分布性、同一性、对称性、一元、零元等)。它需要知道所有这些,以便在集群中的节点之间自动分布计算。

推荐文章

Sudhanva c · 如何提高编码技能?[已关闭]

7 年前

Erik Campobadal Christophe Herreman · 创建编程语言的起点和帮助[关闭]

7 年前

alandawkins · 当今主流编程语言主要使用动态或静态(词法)作用域吗?

7 年前

hoffm · 为什么Ruby找不到调用方类中定义的常量?

7 年前

Tim unnamed eng · 垃圾收集是仅用于回收堆对象还是同时回收堆和堆栈中的对象?

7 年前

Thamme Gowda · “lambda”关键字的较短替代项?

7 年前

AlphaModder · 有没有带有“不寻常”访问修饰符的编程语言?

9 年前

lucasasecas · 有可能静态地使用动态语言吗?

10 年前

Eugenio Laghi · 仅由括号、加号和感叹号组成的语言

10 年前

dallin · 数组中的逗号运算符是否有名称?

11 年前