Changes between Version 11 and Version 12 of Roles


Ignore:
Timestamp:
May 22, 2014 7:24:22 PM (14 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Roles

    v11 v12  
    11= Roles = 
    22 
    3 '''Update''' (March, 2014): There is a draft paper describing roles, including much discussion of design decisions, [http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible-ext.pdf here]. 
     3The idea of ''roles'' comes from the paper [http://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf Generative Type Abstraction and Type-level Computation], published at POPL 2011. The implementation of roles in GHC, however, is somewhat different than stated in that paper. This page focuses on the user-visible features of roles.  
    44 
    5 The idea of ''roles'' comes from the paper [http://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf Generative Type Abstraction and Type-level Computation], published at POPL 2011. The implementation of roles in GHC, however, is somewhat different than stated in that paper. This page focuses on the user-visible features of roles. RolesImplementation talks about the implementation in GHC. See also [http://typesandkinds.wordpress.com/2013/08/15/roles-a-new-feature-of-ghc/ Richard's blog post about roles]. (Note: some aspects of that blog post are out of date, as of December 17, 2013.) 
    6  
    7 See also this email thread: [http://www.haskell.org/pipermail/ghc-devs/2013-October/003003.html More GND + role inference woes]. 
     5See also 
     6 * Our ICFP 2014 paper [http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible-ext.pdf Safe Coercions], which gives lots of motivation and details, including the `Coercible` class. 
     7 * [wiki:Roles2] which identifies a difficulty with the design in the paper, and some possibilities for solving it. 
     8 * [wiki:RolesImplementation] talks about the implementation in GHC.  
     9 * [http://typesandkinds.wordpress.com/2013/08/15/roles-a-new-feature-of-ghc/ Richard's blog post about roles]. (Note: some aspects of that blog post are out of date, as of December 17, 2013.) 
     10 * This email thread: [http://www.haskell.org/pipermail/ghc-devs/2013-October/003003.html More GND + role inference woes]. 
    811 
    912== The problem we wish to solve ==