3 ms·

> You could address this with newtypes but you’d lose expressivity and performance. optics uses newtypes. It loses infinitesimally in expressivity and not at

by tome 5y ago

> 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 https://hackage.haskell.org/package/optics

moomin 5y ago
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.
- tome 5y ago
  Interesting. I don't have any evidence either way!