Size: a a a

2020 May 25

_:

_Ryner' :: IO ❄️ in Haskell
кана
да зачем, generic-lens все равно намного лучше
(Нет)
источник

_:

_Ryner' :: IO ❄️ in Haskell
Я их сейчас использую, но все еще грязно и конфликты
источник

AV

Alexander Vershilov in Haskell
Antonio
где
В серокеловской
источник

MK

Maxim Koltsov in Haskell
чё вспомнил-то
источник

к

кана in Haskell
_Ryner' :: IO ❄️
Я их сейчас использую, но все еще грязно и конфликты
какие конфликты и какая грязь?
источник

_:

_Ryner' :: IO ❄️ in Haskell
v.x явно почище (v ^. #x)
источник

АХ

Алексей Худяков... in Haskell
А как можно запретить инстансы? Они ведь всё равно протекут?
источник

_:

_Ryner' :: IO ❄️ in Haskell
Или еще хуже (v ^. field "x")
источник

AV

Alexander Vershilov in Haskell
Алексей Худяков
А как можно запретить инстансы? Они ведь всё равно протекут?
Там overlapping с typeError вроде
источник

АХ

Алексей Худяков... in Haskell
Это уже вредительство
источник

_:

_Ryner' :: IO ❄️ in Haskell
кана
какие конфликты и какая грязь?
А это так сейчас не скажу, в следующий раз как встречу скажу
источник

JS

Jerzy Syrowiecki in Haskell
кана
ну приняли-то приняли, а имплементации и мержа еще не было же
"I'm currently on my third try to implement it. If you're interested, I could pass on my notes."
источник

AV

Alexander Vershilov in Haskell
источник

к

кана in Haskell
_Ryner' :: IO ❄️
v.x явно почище (v ^. #x)
у меня как минимум половина работы с рекордами еще траверсалы использует, использовать в части мест одно, а в другой другое не хочется, так что все равно придется на генерик-линзах код писать, даже когда record-dot будет, поэтому generic-lens и лучше, потому что он хотя бы работает, а рекорд-дот-синтакс нет
источник

AV

Alexander Vershilov in Haskell
Foldable для Maybe запретить, это ж каким упорком надо быть?
источник

AV

Alexander Vershilov in Haskell
У меня литературных слов нет 😢
источник

к

кана in Haskell
то есть в целом этот record-dot выглядит довольно бесполезным на любом проекте, где вьюинг данных хоть немного сложнее "достать одно значение из двух вложенных рекордов", для кого этот синтаксис не ясно, с апдейтами вроде никак не помогае
источник

AV

Alexander Vershilov in Haskell
а достать из вложенных рекордов и селекторами можно
источник

AV

Alexander Vershilov in Haskell
которые запретить бы
источник

АХ

Алексей Худяков... in Haskell
Alexander Vershilov
Foldable для Maybe запретить, это ж каким упорком надо быть?
Для Maybe? Для Either? Для Identity? упыри
источник