gpt4 book ai didi

scala - 为什么 Scala 的类型推断不如 Haskell 强大?

转载 作者:行者123 更新时间:2023-12-03 06:31:11 24 4
gpt4 key购买 nike

Haskell 的类型推理引擎比 Scala 的类型推理引擎强大得多。在 Haskell 中,我很少需要显式编写类型,而在 Scala 中,类型只能在表达式中推断,而不能在方法定义中推断。

例如,请参阅以下 Haskell 代码片段:

size xs = loop xs 0
where
loop [] acc = acc
loop (_ : xs) acc = loop xs (acc+1)

它返回列表的大小。 Haskell 编译器可以识别使用什么类型以及函数定义是什么。等效的 Scala 代码:

def size[A]: List[A] => Int = xs => {
def loop: (List[A], Int) => Int = {
case (Nil, acc) => acc
case (_ :: xs, acc) => loop(xs, acc+1)
}
loop(xs, 0)
}

或者使用方法定义:

def size[A](xs: List[A]) = {
def loop(xs: List[A], acc: Int): Int = xs match {
case Nil => acc
case _ :: xs => loop(xs, acc+1)
}
loop(xs, 0)
}

我的问题是:为什么我不能像下面这样写?

def size = xs => {
def loop = {
case (Nil, acc) => acc
case (_ :: xs, acc) => loop(xs, acc+1)
}
loop(xs, 0)
}

再次使用方法定义:

def size(xs) = {
def loop(xs, acc) = xs match {
case Nil => acc
case _ :: xs => loop(xs, acc+1)
}
loop(xs, 0)
}

是因为还没有人实现吗? Scala 的类型系统是否没有达到本例所需的功能?还是还有其他原因?

最佳答案

主要原因是Scala的类型系统允许子类型化,Hindley-Milner type inference algorithm不支持。

Haskell 没有子类型,因此该算法在那里工作得更好,尽管 GHC 支持的许多流行类型系统扩展会导致类型推断再次失败,迫使您为某些表达式提供显式类型签名。

最后,这是类型系统的功能和可以完成的类型推断量之间的权衡。 Scala 和 Haskell 只是做了不同的权衡。

关于scala - 为什么 Scala 的类型推断不如 Haskell 强大?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7234095/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com