Tag: 型系统

为什么不从属地input？

我已经看到了几个消息来源，认为“Haskell正逐渐成为一种依赖型语言”。 这意味着，随着越来越多的语言扩展，Haskell正朝着这个大方向漂移，但还没有到来。 基本上有两件事情我想知道。 第一，很简单，“作为一种依赖型语言”实际上是什么意思 ？ （希望不要过于技术性） 第二个问题是…缺点是什么？ 我的意思是，人们知道我们正在走这条路，所以一定有一些优势。 但是，我们还没到，所以肯定会有一些不利因素阻止人们一路走来。 我觉得问题是复杂性急剧增加。 但是，并不真正了解什么依赖types，我不知道。 我所知道的是，每当我开始阅读一个依赖types的编程语言，文本是完全不可理解的……可能是这个问题。 （？）

在Scala中`＃`运算符是什么意思？

我在这个博客中看到了这个代码： Scala中的Type-Level Programming ： // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA // this is the implementation type X[R <: Recurse] = R#X[R#Next] } […]