Как продвигается работа над записями на 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(благодаря модульной системе). Конечно, это серьезное изменение, но это не особенно плохо.

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