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

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

-- Don

More information about the Haskell-Cafe mailing list