3 ms·
> A new, more expressive Typeable mechanism, Type.Reflection I have to look into this. So far we have: * Template Haskell * Data * Typeable * Generic I th
by MichaelBurge 9y ago
> A new, more expressive Typeable mechanism, Type.Reflection
I have to look into this. So far we have:
* Template Haskell
* Data
* Typeable
* Generic
I think this is the paper describing the new system?
https://www.microsoft.com/en-us/research/publication/typed-reflection-in-haskell/ https://www.microsoft.com/en-us/research/publication/typed-r...