Questions tagged «type-theory»

在回答前一个问题时，围绕特定结构的正确术语展开了一场小型辩论。由于我没有找到一个清楚地解决这个问题的问题（除了this或that，那不是很正确的事情），因此我正在提出一个新的问题。 可疑的术语及其关系是：类型，类型构造函数，类型参数，种类或种类以及值。 我还检查了维基百科上的类型理论，但这也没有太多说明。 因此，为了获得良好的参考答案并检查我自己的理解： 这些东西如何正确定义？ 这些东西之间有什么区别？ 它们如何相互关联？

14 type-systems  data-types  type-theory 

来自JavaScript / Ruby世界之后，我才开始学习Haskell。我遇到过https://github.com/HoTT和Homotopy类型理论书，我非常想读。 但是，我将在学习过程中学习数学和类型理论的概念，因此，我似乎需要很长时间才能了解同构类型理论对程序员的意义。 对于外行来说，您能否描述同型类型理论对编程的影响？例如，这会使某些内容更容易编写吗？如果是这样，那件事呢？还是会允许您在编程中做以前不可能做的新事情？如果是这样，那件事呢？ 谢谢，非常期待能在更基本的层面上解决问题。

11 type-theory