Tiến trình trên hồ sơ Haskell là gì?

Gần đây, tôi lại vấp ngã một lần nữa về các vấn đề trong hồ sơ của Haskell, đặc biệt là tính độc đáo của tên trường. (Đó là một nỗi đau ...)

Tôi đã đọc Đề xuất về các bản ghi trong Haskell từ SPJ và Greg Morrisett, nhưng bản cập nhật cuối cùng của nó là vào năm 2003.
Một bài báo khác có tên Bản ghi mở rộng nhẹ cho Haskell từ SPJ và Mark Jones thậm chí còn cũ hơn: Đó là từ một hội thảo Haskell năm 1999.

Bây giờ tôi đang tự hỏi liệu quá trình cung cấp cho Haskell hồ sơ mới có tiến triển gì không.
Có ai biết điều gì về nó hoặc bất cứ ai có thể chỉ cho tôi đọc thêm?

haskell language-features

— mmh
nguồn

Tôi cũng biết về Records in Haskell nhưng nó không hiển thị các cuộc thảo luận về các phương pháp khác nhau.

— mmh

Mọi người đều đồng ý rằng các hồ sơ hiện tại là xấu, không ai đồng ý chính xác những gì cần làm thay thế. Nói cách khác, kinh doanh như bình thường. Nếu bạn muốn đọc thêm, chắc chắn không thiếu những cuộc tranh luận bất tận về vấn đề này, nhưng tôi không có thời gian để tìm hiểu các liên kết ngay bây giờ ...

— CA McCann

Bạn có thể có may mắn hơn hỏi về danh sách gửi thư.

— Rufflewind

Hai đồng xu của tôi.

Dù bạn có tin hay không, Haskell được sử dụng quá nhiều để cho phép thay đổi đột phá với phần mềm hiện có. Và thật khó để thêm các bản ghi mà không phá vỡ một phần quan trọng của ngôn ngữ.

CẬP NHẬT: BTW, tôi nghĩ rằng hồ sơ là một tính năng mới tốt. Tôi thích nhất, không có tên thành viên gây ô nhiễm không gian tên toàn cầu.

— Chân
nguồn

Bạn có thể làm rõ những gì sẽ bị phá vỡ bằng cách thêm hồ sơ? Có phải mọi đề xuất phổ biến liên quan đến việc phá vỡ một cái gì đó?

Toán tử điểm (soạn thảo) sẽ được sử dụng trong hầu hết các đề xuất, vì vậy: a.bsẽ khác

— Zhen

Vấn đề khác là nếu bạn thêm một hệ thống bản ghi mới, bạn có thể loại bỏ hệ thống bản ghi hiện tại, đó sẽ là một thay đổi đột phá hoặc có hai hệ thống bản ghi đồng thời, sẽ là một mớ hỗn độn. Tôi nghĩ rằng a.bvấn đề ít quan trọng hơn vì A.bđã có nghĩa là một cái gì đó khác A . b(nhờ hệ thống mô-đun). Chắc chắn đó là một sự thay đổi đột phá, nhưng nó không phải là một thay đổi đặc biệt xấu.

— Tikhon Jelvis