Types 现代类型理论包括规范和实现吗？_Types

Types 现代类型理论包括规范和实现吗？

types

Types 现代类型理论包括规范和实现吗？,types,Types,良好的编程实践区分规范（在API级别）和实现。我本以为在类型理论中也会发现同样的区别。也许我只是不明白我在读什么，但我看不到如果我完全不懂，我很抱歉（也很感谢你的更正），但在类型理论中，似乎有人添加了新的计算规则（通常是简化规则），实际上是在实现级别，也就是说，他们计算了一些东西。我不明白如何添加规范之类的内容感谢您帮助澄清这一点。也许最好在cs.stackexchange.com中提问。谢谢。我已经做到了。到目前为止没有答案。cs.stackexchange中有一个不错的答案：

良好的编程实践区分规范（在API级别）和实现。我本以为在类型理论中也会发现同样的区别。也许我只是不明白我在读什么，但我看不到

如果我完全不懂，我很抱歉（也很感谢你的更正），但在类型理论中，似乎有人添加了新的计算规则（通常是简化规则），实际上是在实现级别，也就是说，他们计算了一些东西。我不明白如何添加规范之类的内容

感谢您帮助澄清这一点。

也许最好在cs.stackexchange.com中提问。谢谢。我已经做到了。到目前为止没有答案。cs.stackexchange中有一个不错的答案：