Qual é o progresso nos registros Haskell?

18

Recentemente, tropecei mais uma vez nas questões dos registros de Haskell, em particular na singularidade dos nomes de campos. (É uma dor ...)

Eu já li Uma proposta de registros em Haskell do SPJ e Greg Morrisett, mas sua última atualização foi em 2003.
Outro artigo chamado Lightweight Extensible Records for Haskell do SPJ e Mark Jones é ainda mais antigo: é de um workshop de Haskell em 1999.

Agora, estou pensando se o processo de fornecer novos registros a Haskell fez algum progresso.
Alguém sabe alguma coisa sobre isso ou alguém pode me indicar uma leitura mais aprofundada?

haskell language-features mmh
fonte
Também estou ciente dos registros em Haskell, mas isso não mostra a discussão sobre as diferentes abordagens.
mmh
3
Todo mundo concorda que os registros atuais são ruins, ninguém concorda exatamente com o que fazer. Em outras palavras, negócios como sempre. Se você quiser ler mais, não há dúvida nenhuma escassez de debate interminável sobre o assunto, mas eu não tenho tempo para desenterrar ligações agora ...
CA McCann
Você pode ter mais sorte perguntando nas listas de discussão.
Rufflewind

Respostas:

2

Meus dois centavos.

Acredite ou não, Haskell é muito usado para permitir uma mudança de ruptura com o software existente. E é difícil adicionar registros sem interromper uma parte importante do idioma.

ATUALIZAÇÃO: BTW, acho que os registros são um bom recurso novo. Eu gosto mais, não tendo nomes de membros poluindo o espaço de nomes global.

Zhen
fonte
Você pode esclarecer o que seria quebrado adicionando registros? Toda proposta popular envolve quebrar alguma coisa?
O operador de ponto (compor) será usado na maioria das propostas, portanto: a.bserá diferente #
Zhen
3
A outra questão é que, se você adicionar um novo sistema de registro, poderá se livrar do atual, o que seria uma alteração ineficaz ou ter dois sistemas de registro simultaneamente, o que seria uma bagunça. Eu acho que a a.bquestão é menos importante, porque A.bjá significa algo diferente de A . b(graças ao sistema de módulos). Claro que é uma mudança radical, mas não é particularmente ruim.
Tikhon Jelvis