VB
Это решило проблему, после других языков это было немного неожиданным поведением)
Size: a a a
2021 March 06
AP
Это решило проблему, после других языков это было немного неожиданным поведением)
Каждый геттер для поля — функция в общей области видимости. Поэтому дубли и не разрешены без включения расширений
A
Рекорды это выходит просто сахарок над data MyRecord = MyRecord Int String?
AP
В оригинале — да
AP
Если включить DuplicateRecordFields, геттеры станут "как бы" полиморфными, но придётся явно говорить компилятору, к чему они применяются в каждом конкретном месте.
AP
Сейчас ещё есть OverloadedLabels, с включением которых обращение к полю означает вызов метода класса с именем поля в качестве параметра. И геттеры становятся вообще эфемерными: можно делать вычисляемые поля и всякое такое
JS
Сейчас ещё есть OverloadedLabels, с включением которых обращение к полю означает вызов метода класса с именем поля в качестве параметра. И геттеры становятся вообще эфемерными: можно делать вычисляемые поля и всякое такое
нет,
OverloadedLabels
Since: 8.0.1
Enable use of the #foo overloaded label syntax.JS
а такого расширения, как ты описал, вообще я не знаю
JS
Рекорды это выходит просто сахарок над data MyRecord = MyRecord Int String?
там очень много сахара
YS
нет,
OverloadedLabels
Since: 8.0.1
Enable use of the #foo overloaded label syntax.Алексей же про
IsLabel, нет? (по крайней мере я так его понял)JS
Алексей же про
IsLabel, нет? (по крайней мере я так его понял)IsLabel — это просто класс, он не меняет семантику обращения к полю
YS
ну там же
#foo преобразуется к fromLabel @"foo" или как тамYS
Алексей же кажется это и написал
YS
(просто хочу услышать где неточность, т.к. я понял именно так)
JS
а, вот, что Алексей хотел написать, наверно:
GHC.Records:
This module defines the HasField class used by the OverloadedRecordFields extension. See the <https://gitlab.haskell.org/ghc/ghc/wikis/records/overloaded-record-fields wiki page> for more details.
GHC.Records:
This module defines the HasField class used by the OverloadedRecordFields extension. See the <https://gitlab.haskell.org/ghc/ghc/wikis/records/overloaded-record-fields wiki page> for more details.
YS
А ну, если явно не задать
IsLabel для полей - то да, не будетJS
Алексей же кажется это и написал
нет, наоборот
JS
ну там же
#foo преобразуется к fromLabel @"foo" или как тамэто не имеет прямого отношения к рекордам
YS
это не имеет прямого отношения к рекордам
ну да, я сверху написал
YS
додумал видимо за Алексея