Haskell记录的进度如何?


18

最近,我再次迷失了Haskell记录的问题,尤其是字段名称的唯一性。(这很痛苦...)

我已经读过SPJ和Greg Morrisett的Haskell记录提案,但是最近一次更新是在2003年。SPJ和Mark Jones撰写的
另一篇名为《 Haskell的轻量可扩展记录》的论文甚至更老:它来自1999年Haskell研讨会。

现在,我想知道为Haskell提供新记录的过程是否取得了任何进展。
有人对此有所了解吗?有人可以指点我进一步阅读吗?


我也知道Haskell中Records,但未显示有关不同方法的讨论。
mmh 2012年

3
每个人都同意当前的记录不好,没有人同意确切地做什么。换句话说,照常营业。如果您想进一步阅读,那么在这个问题上当然不乏无休止的辩论,但是我现在没有时间挖掘链接...
CA McCann 2012年

您可能会有更好的运气在邮件列表上询问。
Rufflewind

Answers:


2

我的两个便士。

信不信由你,Haskell太多使用它来允许对现有软件进行重大更改。而且,即使不破坏该语言的重要组成部分,也很难添加记录。

更新:顺便说一句,我认为记录是一个很好的新功能。我最喜欢,没有让成员名称污染全局命名空间的成员。


您能否澄清添加记录会导致哪些问题?每个受欢迎的提议都涉及打破某些东西吗?

点(组成)运算符将在大多数建议中使用,因此: a.b会有所不同
Zhen

3
另一个问题是,如果添加新的记录系统,则可以摆脱当前的记录系统(这将是一个重大更改),或者同时拥有两个记录系统(这将是一团糟)。我认为这个a.b问题不太重要,因为A.b已经意味着不同于A . b(感谢模块系统)。当然,这是一项重大的变化,但这并不是特别糟糕的变化。
迪洪·耶维斯
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.