什么是与haskell / coq相对应的面向对象？

Question

我有关于函数式程序设计的最新发展的详细资料。

我认为haskell是一种非常高级的编程语言。使用coq和agda，这变得更加复杂和先进。

使用“高级”和“高级”，我指的是许多不同的特性，它们只能在各自的语言中找到。

就像哈斯克尔

• 默认情况下，一切都是纯的和懒惰的。
• 支持高级概念，如GADT、Monad、函子等。

coq / agda

• 相依型系统

haskell和coq都被用于学术领域，这是一个很好的迹象，表明它们是“最先进的”。

然而，我不知道面向对象编程的类似发展是什么。

面向对象编程的一些最新发展是什么？

什么是最先进的OOP语言对应于haskell / coq？

(我甚至在google上搜索高级编程语言，但我发现了大部分与haskell相关的信息。我唯一能想到的语言是D2.0。对于我来说，Scala主要是与java兼容的haskell版本。)

Answer 1

子类型(即任何静态的面向对象的类型系统)比任何典型的功能语言中的“平面”类型系统都要复杂得多。要将其正式化几乎是不可能的。因此，我们还没有听说相关的面向对象类型系统也就不足为奇了。

很可能，这种尝试的一个早期例子就是本论文。

Answer 2

我想说C#可能是一种很好的语言，它是一种高级的、通用的、管理的、垃圾收集的和面向对象的编程语言。

当前版本有泛型、lambda表达式、内置并行结构等。

下一个版本应该添加异步结构。

Answer 3

“最先进”语言的概念很难定义。我们只能考虑语法，工具链(即c++不是最近的，而是有强大的编译器)，框架(c#和java正因为它们而流行)。

我不知道coq，但它看起来不像是一种通用语言。哈斯克尔的独特之处在于它的纯度。所以我的答案是: smalltalk，一种纯oop语言。

http://en.wikipedia.org/wiki/Smalltalk