MK
вкусно
Ещё не очень понял. Вот есть у меня data Foo = Bar { f :: Int } | Baz
Если я далее напишу
foobar :: Foo -> Int
foobar = f
Разве не должен компилятор это отловить и потребовать реализовать отдельно foobar Bar и foobar Baz ?
Size: a a a
2020 July 31
AF
AF
Не очень понятно, почему это не поведение по умолчанию
MK
нет, он тебе сделает частичную функцию
JS
а как извлечь без геттера? паттерн матчингом?
да
JS
Да, RecordWildCards
не только
JS
Не очень понятно, почему это не поведение по умолчанию
f уже реализована для Bar и Baz (частично)
YR
если поля не имеют имен, как может помочь RecordWildCard? Только паттерн-матчинг же, нет?
JS
Yuki Rito
если поля не имеют имен, как может помочь RecordWildCard? Только паттерн-матчинг же, нет?
RecordWildCards — это и есть сопоставление с образцом. один из вариантов
JS
Yuki Rito
если поля не имеют имен, как может помочь RecordWildCard? Только паттерн-матчинг же, нет?
то есть да, если нет имён, только позиционные образцы
JS
кстати, пустые фигурные скобки можно писать, даже когда нет имён, например,
Just{}, чтобы не зависеть от внезапных изменений в полях (чтобы не переписывать A _ _ _ _ _ _ на A _ _ _ _ _ _ _)YR
да, это оч. удобно.
χλ
Dmitry Ivanov
Сейчас же 13:00?
DI
11
χλ
Понял
χλ
Значит 13 будет в 14, спасибо
EP
кстати, пустые фигурные скобки можно писать, даже когда нет имён, например,
Just{}, чтобы не зависеть от внезапных изменений в полях (чтобы не переписывать A _ _ _ _ _ _ на A _ _ _ _ _ _ _)Это наверное также имеет смысл когда имя подставляется в Template Haskell, я правильно понял ?
JS
Emelian Piker (Евгений)
Это наверное также имеет смысл когда имя подставляется в Template Haskell, я правильно понял ?
ну вроде ровно такая же польза, как в обычном коде. TH никакой специфики не добавляет здесь. если я вас правильно понял