文件名称：Specs-on-Spec:语言规范的集合，这些规范不属于其他任何地方
文件大小：74KB
文件格式：ZIP
更新时间：2024-05-22 22:22:36
specifications specification programming-languages unimplemented
规格上的规格 这是尚未实现的编程语言规范的集合。 确实，其中许多可能完全无法实现。 它们中的大多数由Cat's Eye Technologies的Chris Pressey设计并编写了规格。 例外是： Startre和* W ，由John Colagioia设计和编写； 和 TURKEY BOMB （我断言）有一天在一家慈善商店的一堆Byte杂志下意外被发现。 另外，我说的是“编程语言”，但是这个词在这些部分周围当然很灵活： 麦迪逊是一种用于编写正式证明的语言。 MDPN是一种（二维）解析器定义语言； 和 Opus-2是一种“口语”语言，具有“说话”的某些特殊含义。 这些规范中的大多数都是“完成的”，因为显然没有更多要添加的内容了。 （当然，一个实现或某些真正的前瞻性思想实验总是会出现有关规范的问题。）可以被视为“进行中的工作”的例外是： 爱尔兰海（Irishsea） ，主要