Как продвигается работа над записями на Haskell?

Недавно я еще раз наткнулся на вопросы записей Хаскелла, в частности на уникальность имен полей. (Это боль ...)

Я уже прочитал предложение о записи в Haskell от SPJ и Грега Моррисетта, но его последнее обновление было в 2003 году.
Другая статья под названием Lightweight Extensible Records для Haskell от SPJ и Марка Джонса еще старше: это из мастерской Haskell в 1999 году.

Теперь мне интересно, продвинулся ли процесс выдачи новых записей на Haskell.
Кто-нибудь знает что-нибудь об этом или кто-то может указать мне на дальнейшее чтение?

haskell language-features ММХ
источник

Мне также известны записи в Haskell, но они не показывают дискуссии о различных подходах.

ммч

Все согласны с тем, что текущие записи плохие, никто не согласен, что именно делать. Другими словами, бизнес как обычно. Если вы хотите больше читать, то, конечно, нет недостатка в бесконечных дебатах по этому вопросу, но у меня нет времени, чтобы копать ссылки прямо сейчас ...

CA McCann

Возможно, вам больше повезет, спрашивая в списках рассылки.

Rufflewind

Ответы:

Мои две копейки.

Хотите верьте, хотите нет, но Haskell слишком часто используется, чтобы позволить существенные изменения в существующем программном обеспечении. И трудно добавлять записи, не нарушая важную часть языка.

ОБНОВЛЕНИЕ: Кстати, я думаю, что записи - это хорошая новая функция. Мне нравится больше всего, не имея имен членов, загрязняющих глобальное пространство имен.

Zhen
источник

Можете ли вы уточнить, что будет нарушено, добавив записи? Каждое популярное предложение подразумевает нарушение чего-либо?

Оператор точки (составить) будет использоваться в большинстве предложений, поэтому: a.bбудет другим

Жен

Другая проблема заключается в том, что если вы добавляете новую систему записей, вы можете либо избавиться от текущей системы, что будет серьезным изменением, либо одновременно иметь две системы записей, что приведет к путанице. Я думаю, что a.bпроблема менее важна, потому что A.bуже означает что-то отличное от A . b(благодаря модульной системе). Конечно, это серьезное изменение, но это не особенно плохо.

Тихон Джелвис