News for hackers. Stuff that matters.

A comment on Getters and Setters in Kind. Parent comment

Re:Getters and Setters in Kind by tome on Monday October 18, 2021 @03:26PM (#28910339)
> You could address this with newtypes but you’d lose expressivity and performance.

optics uses newtypes. It loses infinitesimally in expressivity and not at all in performance, as far as I am aware. What were you thinking of?

https://hackage.haskell.org/package/optics

[ Parent | on HN ]
Re:Getters and Setters in Kind by moomin on Tuesday October 19, 2021 @04:57AM (#28916151)
I could be wrong (It's a common occurrence!), but I thought a lot of the lens perf relied on inlining that isn't as easy to pull off with a newtype/profunctor design. Can't find any references for performance comparisons.
[ Parent | on HN ]
Re:Getters and Setters in Kind by tome on Tuesday October 19, 2021 @12:32PM (#28920075)
Interesting. I don't have any evidence either way!
[ Parent | on HN ]