#11011: Add type-indexed type representations (`TypeRep a`) -------------------------------------+------------------------------------- Reporter: bjmprice | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by simonpj: @@ -1,4 +1,4 @@ - There is a mock-up of a new API for type indexed type representations, - basic Dynamic functionality, static pointers and distributed closures - (https://github.com/brprice/typeableT), based on - https://ghc.haskell.org/trac/ghc/wiki/TypeableT. + We have a plan to move to a '''type-indexed form of `TypeRep`. This + ticket serves to track progress. + + The key wiki page [wiki:Typeable]. @@ -7,1 +7,1 @@ - this ticket as a more permenant home that email. + this ticket as a more permanent home than email. @@ -9,2 +9,4 @@ - One particular point that would benefit from more eyes is the polymorphic - static pointers support. + There is a also a broader question, about using the new expressiveness of + `TypeRep` and `Typeable` to support static pointers. One particular point + that would benefit from more eyes is the polymorphic static pointers + support. But first things first! New description: We have a plan to move to a '''type-indexed form of `TypeRep`. This ticket serves to track progress. The key wiki page [wiki:Typeable]. We would like to invite comments and discussion from the community using this ticket as a more permanent home than email. There is a also a broader question, about using the new expressiveness of `TypeRep` and `Typeable` to support static pointers. One particular point that would benefit from more eyes is the polymorphic static pointers support. But first things first! -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11011#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler