0

或者只是有时很难证明一个类型是一个共归纳类型？

我说的是一种完全的编程语言，这意味着它不是图灵完备的，递归都是有根据的，核心递归都是有效的。图灵完备是否真的带来了比这种语言更多的东西？

4

0 回答 0