• 阿格达

  • 引用182篇文章[SW099号文件]
  • 家庭,类似于哈斯克尔的家庭GADTs公司,但它们可以按值索引。。。
  • 幽灵杀手

  • 1条引用[sw19981]
  • Ghostbuster:简化和转换的工具GADTs公司. 广义代数数据类型,或者简单地说GADTs公司... 这个工具是Ghostbuster,它可以生成GADTs公司它省略了所选的类型参数,从而削弱了。。。Haskell的原型工具GADTs公司在黑客软件包数据库中找到的,生成。。。
  • 谢尔洛克

  • 1条引用[sw22670]
  • Glasgow-Haskell编译器(GHC)(带类型类,GADTs公司,和类型族)。既可满足又不可满足。。。
  • GHC公司

  • 在102篇文章中引用[sw06691]
  • 格拉斯哥-哈斯克尔编译器内联线的秘密。较高的。。。
  • 复制

  • 引用9篇文章[sw13304]
  • RepLib:可派生类型类的库。一些。。。
  • 标准

  • 引用5篇文章[sw13658]
  • 这个库提供了一个强大但简单的方法。。。
  • 引用18条【sw13680】
  • Haskell对象观察调试器(HOOD)是一个小。。。
  • 链接

  • 引用23条[sw28847]
  • Links是一种函数式编程语言,旨在。。。