文件名称：pl-catalog：编程语言目录
文件大小：1.14MB
文件格式：ZIP
更新时间：2024-03-13 02:36:17
爱好者的编程语言 语言，环境和围绕它们的工具的目录。 如果我在这里缺少一些很棒的独立项目，请随时发送PR。 语言能力 Bolt是一种内置数据竞赛*的语言！ Soufflé是Datalog的变体，用于工具设计人员在Horn子句中进行分析。 Soufflé根据逻辑规范合成了本地并行C ++程序。 Mascarpone是Emmental风格的一种自我修改的编程语言。 Dafny是一种带有程序验证程序的编程语言。 当您键入程序时，验证程序会不断抬头并标记任何错误。 Irken是一种强类型的编译语言，具有可扩展为宏的类似lisp的语法。 与C / C ++之类的语言相比，它使用类型推断以及强大的类型系统来为您提供具有高级数据类型的编译语言的速度和更高的安全性。 Ur是ML和Haskell的传统编程语言，但具有明显丰富的类型系统。 Ur具有实用性，纯净性，静态类型和严格性。 Ur支持基于行类型的
【文件预览】：
pl-catalog-master
----cover-art.png(152KB)
----img()
--------kitten.png(9KB)
--------arend.png(54KB)
--------enso.gif(586KB)
--------darklang.gif(518KB)
----readme.org(15KB)