Changes to Typeable

Roman Leshchinskiy rl at
Sun Feb 12 02:05:57 CET 2012

On 10/02/2012, at 16:03, Simon Peyton-Jones wrote:

> Friends
> The page describes an improved implementation of the Typeable class, making use of polymorphic kinds. Technically it is straightforward, but it represents a non-backward-compatible change to a widely used library, so we need to make a plan for the transition. 
> Comments?  You can fix typos or add issues directly in the wiki page, or discuss by email

IMO, polymorphic kinds are far too experimental at this stage to be used in such a fundamental library. I also fully agree with Ian's point about other implementations.

Should there perhaps be a NewTypeable module which could then be renamed into Typeable once it is sufficiently well established?


More information about the Glasgow-haskell-users mailing list