Re: [Haskell-cafe] Using type families to define runtime representation and evaluation strategy?

coreyoconnor:

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" -- Don