什么haskell主题需要以真实世界 – 哈斯克尔风格来解决?

What haskell topics need to be addressed in a Real-World-Haskell style?

现在已经有相当长的一段时间了,RWH问世了(近3年)。在网上完成了这本书的增量式写作之后(我认为这是写一本书的最佳方式之一),我渴望得到我的副本。在哈斯凯尔学生经常遇到的所有学术论文中,阅读这本书是多么的有意义啊!

在相当多的旅行中,它是一个结实的伴侣,我经常提到它。尽管如此,我的文章看起来还是很糟糕,即使大部分内容仍然有效,哈斯克尔世界也有很多新的话题值得以类似的方式来报道。

my battered copy of rwh

考虑到RWH的影响,我真诚地希望有一天会有续集。我马上就会想到续集的一些主题:

  • 迭代器
  • 关于haskell中并发编程的更多信息
  • 懒惰评价的优缺点
    • 可能覆盖了一些处理这个问题的公共库
    • 尤其是懒惰的IO
  • 新的GHC功能(例如新的I/O管理器、LLVM代码生成器)
  • 记忆化

Haskell社区需要对哪些主题进行RWH风格的解释?

这是迄今为止建议的摘要:

概念

  • 迭代/延迟IO
  • 箭头
  • GHC活动经理

技术

  • 仿制药(Uniplate,SYB)
  • 元编程(模板haskell)
  • 数据结构(使用功能数据结构、设计数据结构)
  • EDSL(设计EDSL)
  • 记忆化
  • 用单子设计
  • 命令式编程的最佳实践

工具

  • 螺纹镜
  • 高级FFI工具(c2hs,使用C中的haskell)
  • 阴谋集团
  • 黑线鳕
  • 胡格尔
  • 优化运行时,特别是GC标志
  • 迪金

图书馆

  • 数组和数组编程(vector、repa、hmatrix)
  • 数字(随机数)
  • 并行编程(par monad)
  • Unicode和区域设置(文本、文本ICU)
  • 解析(Attoparsec、Tagsoup)
  • 网络(snap、yesod)
  • Web资料(模板)
  • 持久性(尤其是没有SQL存储绑定)
  • 图形(cairo、sdl、opengl)
  • XML(HAXML)
  • 密码
  • 处理器和系统材料


这是我的看法,偏向于生态系统。

图书馆

  • 数组和数组编程:
    • 江户十一〔四〕号
    • 埃多克斯1〔5〕
    • 埃多克斯1〔6〕
  • 数值
    • 随机数
  • 并行程序设计
    • 江户十一〔七〕单子
  • Unicode和区域设置
    • texttext-icu
  • 正在分析
    • 埃多克斯1〔10〕
    • 江户十一〔11〕。
  • 网络
    • snap和/或yesod
  • 网络资料
    • 模板化
  • 持续性
    • hdbc以外的数据库
    • 没有SQL存储绑定
  • 绘图
    • 埃多克斯1〔15〕
    • 江户十一〔16〕号
    • 埃多克斯1〔17〕
  • XML
    • 埃多克斯1〔18〕
  • 密码
  • 处理器和系统材料

技术

  • 仿制药
    • 埃多克斯1〔19〕
    • 埃多克斯1〔20〕
  • 元程序设计
    • 模板haskell
  • 数据结构
    • 设计数据结构
  • EDSL
    • 设计EDSL
  • 记忆化
  • 用单子设计

工具

  • 江户十一〔21〕号
  • 高级FFI工具
    • 埃多克斯1〔22〕
    • 使用C中的haskell
  • 优化运行时,特别是GC标志


这些不是"真实世界",但我想看看有帮助的介绍(以及可能的真实世界应用程序?)到

  • 迪金
  • 模板haskell
  • 箭头


我很想看到:

  • cabal&hoogle&haddock(每日code-build-test-deploy工作流的最佳实践)
  • 可用的数据结构及其(实际)使用、性能和空间特性
  • 数据可视化
  • 命令式编程的最佳实践
  • 是和快照
  • 有关数据库连接(SQL和NoSQL)的详细信息
  • 关于网络编程的更多信息

不过,"更多关于……"也许最好放在"哈斯克尔食谱"里。


我希望看到一种"RWh方法"来实现功能性的反应式编程——这是RWh版本,可能涵盖了Yampa或类似的内容。但也许这个话题还不够"真实世界"…


我一直想问同样的问题!如果清单上有这些东西,我会买第二卷。我还想用真实世界的例子(没有特别的顺序)

  • 小精灵
  • 类型族
  • 异类列表技术
  • 标准类型的排版风格表示
  • 杨德华类型技术树的更全面解释
  • 记录/镜头


我最近才刚接触到哈斯克尔,只读过格雷厄姆·赫顿在哈斯克尔写的这本书和编程的几章。但是,我必须同意亚历山大的观点,我希望看到一本"哈斯克尔食谱"和一本更新版本的RWH(因为我还没有完成这本书,对我个人来说并没有那么重要!).

建议和样本代码与日期,生成随机数和最有效的代码执行关键算法(排序等)将是任何此类书籍的一个伟大的补充!