4
为什么不依赖输入？
我已经看到一些消息来源回应了这样的观点：“ Haskell正在逐渐成为一种依赖类型的语言”。这似乎意味着，随着越来越多的语言扩展，Haskell朝着这个总体方向发展，但是还不存在。 我基本上想知道两件事。首先，很简单，“成为依赖类型的语言”实际上是什么意思？（希望不要太过专业。） 第二个问题是...缺点是什么？我的意思是，人们知道我们正朝着这个方向前进，因此必须有一定的优势。但是，我们还没有到那儿，因此必须存在一些不利因素，阻止人们一路前进。我觉得问题是复杂性急剧增加。但是，我不确定是否真正了解依存类型是什么。 我所知道的是，每当我开始阅读有关依赖类型的编程语言的内容时，文本都是完全难以理解的……大概就是问题所在。（？）