MK
или всё-таки другой?
Size: a a a
2020 July 31
DI
библиотека для хаскеля
MK
спасибо
VK
имейте нормальные имена, только не используйте их как геттеры
Почему плохо использовать как геттеры?
JS
Почему плохо использовать как геттеры?
потому что они частичные получаются в таких случаях. поля у слагаемых — это нормально, а частичные функции — это плохо
MK
можно линзы использовать, для таких полей будет тип, который не получится использовать частично
JS
можно линзы использовать, для таких полей будет тип, который не получится использовать частично
а можно линзы не использовать, будет тоже хорошо
MK
да
JS
дожили. в большом чате обсуждаем рекорды, а в новичковом — фичи Идриса
MK
рекорды важнее
VK
А как именовать поля? У меня в ньютайпах обычно get*, run* или un*, но когда юзаю named field puns, слегка напрягает видеть какой-нибудь getX там, где должен быть просто X.
YR
ага, линзы будет идеологически верным решением ;)
JS
Yuki Rito
ага, линзы будет идеологически верным решением ;)
идеологически верно сопоставлять с образцом сначала
JS
А как именовать поля? У меня в ньютайпах обычно get*, run* или un*, но когда юзаю named field puns, слегка напрягает видеть какой-нибудь getX там, где должен быть просто X.
поэтому у меня в нютайпах обычно вообще нет имён полей
YR
ну если 1-2 поля, ОК
YR
бесспорно :)
JS
А как именовать поля? У меня в ньютайпах обычно get*, run* или un*, но когда юзаю named field puns, слегка напрягает видеть какой-нибудь getX там, где должен быть просто X.
вы не обязаны использовать NFP и record syntax, даже если тип объявлен как record. позиционные аргументы всё ещё работают
AF
а как извлечь без геттера? паттерн матчингом?