Apa kemajuan pada catatan Haskell?

Baru-baru ini saya tersandung sekali lagi pada masalah catatan Haskell, khususnya keunikan nama-nama bidang. (Ini menyebalkan ...)

Saya sudah membaca proposal untuk catatan di Haskell dari SPJ dan Greg Morrisett, tetapi pembaruan terakhir adalah pada tahun 2003.
Makalah lain yang disebut Lightweight Extensible Records untuk Haskell dari SPJ dan Mark Jones bahkan lebih tua: Ini dari lokakarya Haskell pada tahun 1999.

Sekarang saya bertanya-tanya apakah proses memberikan catatan baru Haskell membuat kemajuan.
Adakah yang tahu sesuatu tentang itu atau adakah yang bisa mengarahkan saya ke bacaan lebih lanjut?

haskell language-features

— mmh
sumber

Saya menyadari Records di Haskell juga, tetapi tidak menunjukkan diskusi tentang pendekatan yang berbeda.

— mmh

Semua orang setuju bahwa catatan saat ini buruk, tidak ada yang setuju apa yang harus dilakukan. Dengan kata lain, bisnis seperti biasa. Jika Anda ingin membaca lebih lanjut, tentu saja tidak ada kekurangan perdebatan tanpa akhir tentang masalah ini, tapi saya tidak punya waktu untuk menggali tautan sekarang ...

— CA McCann

Anda mungkin lebih beruntung bertanya di milis.

— Rufflewind

Dua uang saya.

Percaya atau tidak, Haskell terlalu banyak digunakan untuk memungkinkan perubahan melanggar dengan perangkat lunak yang ada. Dan sulit untuk menambahkan catatan tanpa merusak bagian penting dari bahasa tersebut.

PEMBARUAN: BTW, saya pikir catatan adalah fitur baru yang bagus. Saya paling suka, tidak memiliki nama anggota yang mencemari namespace global.

— Zhen
sumber

Bisakah Anda mengklarifikasi apa yang akan rusak dengan menambahkan catatan? Apakah setiap proposal populer melibatkan pelanggaran sesuatu?

Operator titik (menulis) akan digunakan di sebagian besar proposal, jadi: a.bakan berbeda

— Zhen

Masalah lainnya adalah bahwa jika Anda menambahkan sistem rekaman baru, Anda bisa menyingkirkan yang sekarang, yang akan menjadi perubahan besar, atau memiliki dua sistem rekaman secara bersamaan, yang akan berantakan. Saya pikir a.bmasalahnya kurang penting karena A.bsudah berarti sesuatu yang berbeda dari A . b(berkat sistem modul). Tentu itu adalah perubahan yang menghancurkan, tapi itu tidak terlalu buruk.

— Tikhon Jelvis