[Haskell-cafe] Using type families to define runtime
representation and evaluation strategy?
dons at galois.com
Wed Jun 3 16:09:57 EDT 2009
> I'm interested in the feasibility of extending the compiler using a
> construct similar to type synonym families to determine runtime
> representation and evaluation strategy for types. Can anybody point me
> to existing work in this area?
There's a lot of work on controlling data representations with
associated types -- indeed, that was their original use case!
Also related might be the new paper "Types are calling conventions"
More information about the Haskell-Cafe