MP
а ghc умеет такие штуки оптимизировать типа
x { foo = 1 } { bar = "bla" } ... ?
x { foo = 1 } { bar = "bla" } ... ?
Size: a a a
2020 November 20
MP
в смысле убирать промежуточный record
MP
ого, я даже не думал что так можно
а я кстати сам не знаю, что так можно, я просто начал думать как мне композить несколько апдейтов и подумал про оптимизации
MP
щас в репле посмотрю
MK
На кор смотрите
MP
а как ты посмотришь, тут наверное нужно делать 1000 таких апдейтов и смотреть на память
в смысле посмотрю что такой синтаксис будет ок
MK
Конечно, в коре вроде нет такого синтаксиса вообще
MK
Могу ошибаться
MP
в смысле посмотрю что такой синтаксис будет ок
да, синтаксис ок
MP
λ
λ data X = X { i :: Int, s :: String } deriving Show
λ let x = X 2 "aa"
λ :set -ddump-simpl
λ let z = x { i = 1 } { s = "11" }
==================== Simplified expression ====================
GHC.Base.returnIO
@ [()]
(GHC.Types.:
@ ()
(case Ghci2.x of { Ghci1.X ds_a1M7H ds_a1M7I ->
(Ghci1.X (GHC.Types.I# 1#) (GHC.CString.unpackCString# "11"#))
`cast` (UnsafeCo representational Ghci1.X () :: Ghci1.X ~R# ())
})
(GHC.Types.[] @ ()))
