概念=类型类

在过去几年中,我们探讨了C++所称的“概念”和Haskell所称的”类型类“。基本结论是它们是一样的(详情如下)。

使用C++概念和Haskell类型类的泛型编程——比较

J.-P.Bernardy、P.Jansson、M.Zalewski、S.Schupp

概念最终草案JFP.pdf.

Bibtex条目:

@文章{bernardy_generic_2010,author={Jean-Philippe Bernardy和Patrik Jansson以及Marcin Zalewski和Sibylle Schupp},title={使用{C++}概念和{Haskell}类型类的泛型编程——比较},journal={函数编程杂志},体积={20},数字={3--4},页数={271--302},年份={2010},doi={10.1017/S095679681000016X},URL={http://dx.doi.org/10.1017/S095679681000016X},eprint={http://journals.cambridge.org/article_S095679681000016X}}
2010-08-13
联合部队计划认可的更新版本(JFP第二轮审查后)
2010-03-15
JFP审查后提交的更新版本
2009-10-01
提交了关于通用编程的JFP特刊的扩展版本。

摘要

早期的研究引入了一系列高级评估标准来评估语言对泛型编程的支持程度。符合所有标准的语言包括Haskell,因为它有类型类,以及带有概念特性的C++。我们将这些标准细化为一种分类法,该分类法可以捕获Haskell中类型类和C++中概念之间的共性和差异,并讨论哪些差异是偶然的,哪些差异是由其他语言特性引起的。分类法有助于更好地理解泛型编程的语言支持,这种比较对于语言设计者和两种语言的用户之间正在进行的讨论非常有用。

实用信息:

  • 吉特回购:ssh://remote12.chalmers.se/chalmers/groups/cse-set/gitroot
  • Paper+代码位于ConceptsJFP/子目录中
  • 以下介绍了早期车间版本。

C++概念与Haskell类型类的比较

J.-P.Bernardy、P.Jansson、M.Zalewski、S.Schupp、A.Priesnitz

在程序中发布。2008年通用编程研讨会

CPL公司:http://publications.lib.chalmers.se/cpl/record/index.xsql?pubid=72479短讯服务:http://sms.cs.chalmers.se/wiki/index.php?title=专题:出版物&id=Year/2008.html

“编译”LaTeX源代码所需的Ubuntu包(如果出现类似文件beramono.sty未找到的错误)

sudo apt-get安装texlive-fonts-extra