[Haskell-cafe] Records, type-changing update, type inference

Roman effectfully at gmail.com
Sat Dec 21 17:51:48 UTC 2019


I wrote a post about the records problem, in particular about
type-changing update and how to get it without sacrificing type
inference: https://github.com/effectfully/sketches/tree/master/has-lens-done-right

The ideas are rather raw, but look promising to me.

Any comments would be appreciated.


More information about the Haskell-Cafe mailing list