к
data User = User { a :: Int } { b :: String }
ну вот если User такой?
ну вот если User такой?
Size: a a a
2020 December 04
VD
Ну вот типа да.
к
ну так тут пара рекордов
к
а не один какой-то
VD
А, это пара такая
к
если
type User = { a :: Int, b :: String }
то
foo :: User -> Bar
будет работать для любых рекордов, в которых есть только эти два поля
type User = { a :: Int, b :: String }
то
foo :: User -> Bar
будет работать для любых рекордов, в которых есть только эти два поля
к
а если делать
foo :: { a :: Int, b :: String | r } -> Bar
то будет работать для в принципе любых рекордов, в которых есть эти два поля
foo :: { a :: Int, b :: String | r } -> Bar
то будет работать для в принципе любых рекордов, в которых есть эти два поля
VD
А вот плохо такое. Вдруг у меня есть еще и NotUser { a: Int, b: String }
AG
когда я был маленьким, меня сходу приучали писать максимально эффективный код
потом я долго не мог понять, как люди вообще могут писать скажем .map().map(), когда можно сделать все в одном мапе, а лучше в мутабельном цикле где сразу все обработать
потом я долго не мог понять, как люди вообще могут писать скажем .map().map(), когда можно сделать все в одном мапе, а лучше в мутабельном цикле где сразу все обработать
вот это я и называю перекосом в сторону теории А в обучении
JS
f :: Y -> Y
f x = wrap ((unwrap x) { a = 1 })
f x = wrap ((unwrap x) { a = 1 })
можно апдэйты в языке переделать на class HasField
AG
Это всё потому что там для тайп алиасов нельзя делать инстансы
а где можно?
к
в хаскеле
AG
а зачем тогда ньютайпами обвешиваются когда на одно множество разные операции вешают?
к
а никто же не сказал про разные операции
AG
тогда я чот не понимаю проблемы
к
на тайпалиас и то что за ним стоит один набор операций
к
я тоже не понял
RR
Иногда нужно чтобы рекорд имплементировал инстанс определённого тайп класса
RR
К примеру в таком случае тебе нужно его оборачивать в ньютайп
RR
В хаскеле с этим проблем нет, а в пурсе — есть