Changes to Typeable
emax at chalmers.se
Tue Oct 16 09:32:32 CEST 2012
2012-10-15 23:50, Gábor Lehel skrev:
> On Mon, Oct 15, 2012 at 7:58 AM, Emil Axelsson <emax at chalmers.se> wrote:
>> I have a use case:
>> This is a reimplementation of Data.Dynamic to support casting type `a` to
>> `Dynamic` given a constraint `Typeable (a -> b)`:
>> toDyn :: Typeable (a -> b) => P (a -> b) -> a -> Dynamic
>> With your suggestion, it seems I should be able to use the ordinary
>> Data.Dynamic instead.
>> / Emil
> Great! Do you like my plan? Or perhaps know of a better one?
> (Relatedly, *does* this have to go through a separate libraries
> process? Or are we considering Typeable as getting completely
> replaced, and everything pertaining to it gets discussed here?)
Your plan certainly seems general enough! But I'm afraid I can't really
speak about the implications on libraries etc.
More information about the Libraries