[GHC] #11011: Add type-indexed type representations (`TypeRep a`) (was: Type-indexed TypeReps, Static Pointers and Distributed Closures)

[GHC]

#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