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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
