к
X с произведением из двух рекордов
Size: a a a
2020 December 04
к
f (X a b) = a.a + b.y
к
это кстати один из самых сложных моментов при транспиляции пурсы в хаскель
к
потому что если компилировать все рекорды в какие-нибудь анонимные хаскельные, то вроде просто выходит, но выхлоп получается очень не идеоматичным
RR
Вот бы анонимные рекорды в идрис ещё
JC
нет, в принципе другие, в пурсе есть только анонимные рекорды
Неудобно ведь
RR
И синтаксис
field = value когда создаёшь рекордJC
Вот бы анонимные рекорды в идрис ещё
Зачем?
к
зато можно делать что-то вроде такого
type X a = { a :: Int, b :: String | a }
newtype Y = Y (X { c :: String })
newtype Z = Z (X {})
type X a = { a :: Int, b :: String | a }
newtype Y = Y (X { c :: String })
newtype Z = Z (X {})
к
или просто не давать рекордам номинальность, а работать только с анонимными
хаскель так бы и выглядел, если бы его делали сейчас
к
это было бы ужасно
RR
Зачем?
Ну, что бы не писать:
record DeleteBody where
constructor MkDeleteBody
id : String
deleteHandler : DeleteBody -> Handler ()
deleteHandler (MkDeleteBody id) = …
к
почти вся работа с рекордами в продакшен пурсе что я видел это постоянный анвраппинг из ньютапов и враппинг обратно
к
f :: Y -> Y
f x = wrap ((unwrap x) { a = 1 })
f x = wrap ((unwrap x) { a = 1 })
RR
Это всё потому что там для тайп алиасов нельзя делать инстансы
RR
Можно было бы, тогда не было бы проблем таких
VD
Кстать, в языках с анонимными рекордами не пойму чо мешает делать полиморфизм анонимно\номинально по рекорду.
Типа
Типа
foo: ~User -> Bar чтоб кушать анонимные рекорды с такими же полями как в User и без тильды чтоб прям номинально-номинально кушать.к
а что такое User?
VD
Произвольный рекорд, тут не принципиально.