在我的计算理论语言课上，我们得到了一个家庭作业，用一种只有 while 语句用于流控制（没有 if 语句）的语言实现一段代码。这主要是为了证明你可以用一个 while 循环来编写一门图灵完备的语言。 ...

为了练习 Idris，我一直在尝试将各种基本代数结构表示为接口。我最初想到的组织方式是让给定接口的参数成为集合和它上面的各种操作，方法/字段是各种公理的证明。例如，我正在考虑这样定义：Group G...

假设我有一个 D 维的 N 轴对齐超长方体的集合。 每个超长方体在原点有一个顶点，在正节点上有一个顶点（即所有坐标都严格为正）。后一个顶点定义了超立方体，因此超立方体的集合可以由顶点集合给出，每个超...

首先，这个问题是从这个问题中扯出来的。我这样做是因为我认为这部分比一个较长问题的子部分更大。如果它冒犯了，请原谅我。 假设您有一个生成随机性的算法。现在你如何测试它？ 或者更直接地说 - 假设你有一...

你已经编写了一个 yacc 语法（或者你选择的工具中的其他一些 LALR 语法），并且你已经决定要重构一些产品以提高效率、清晰度等等。例如，您有： xs : xs ';' x | xs ';' ...