【发布时间】：2011-03-08 21:15:37
【问题描述】：
是否可以在 C++ 中实现 Haskell 类型类？如果是，那么如何？
【问题讨论】：
-
什么是类似 Haskell 的类型类？
-
诺亚，对不起，我不知道该怎么表达。
标签： c++ haskell functional-programming typeclass
【发布时间】：2011-03-08 21:15:37
【问题描述】：
有几篇关于这方面的论文，可能对作为背景阅读有用：
- C++ templates/traits versus Haskell type classes, Sunil Kothari , Martin Sulzmann
- A Comparative Study of Language Support for Generic Programming, Ronald Garcia , Jaakko Järvi , Andrew Lumsdaine , Jeremy Siek , Jeremiah Willcock
【讨论】：
-
只有我一个注意到 OP 的名称与“C++ 模板/特征与 Haskell 类型类”的第一作者的名称相似吗？
-
+1 表示第二个链接，所需功能的分类确实非常有趣。
-
第一篇论文：“C++ 模板/特征与 Haskell 类型类”。第 9 页出现错误（示例 6），代码在
struct的正文中表示。在我看来，作者对 C++ 的知识只有大概的了解，这在示例中有所体现。
C++ 中类似的机制称为“概念”。这个想法是通过定义属于该类的任何类型的要求来定义一个类型类。 C++ 迭代器广泛使用概念，C++0x 原本打算支持它们的直接语法（而不是执行 C++ 当前使用的执行概念检查的间接模板技巧），但似乎这种支持已从标准中删除。
【讨论】：