Changes between Version 6 and Version 7 of Commentary/Compiler/Kinds


Ignore:
Timestamp:
Sep 1, 2018 9:20:35 AM (12 months ago)
Author:
takenobu
Comment:

Add current information.

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Kinds

    v6 v7  
     1TODO: This page is somewhat old. It needs to be updated with recent information. The followings are the latest related information.
     2
     3GHC User's Guide:
     4 * [https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#levity-polymorphism Levity polymorphism]
     5 * [https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#the-kind The kind *]
     6
     7GHC Proposals:
     8 * [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0003-levity-polymorphism.rst Revise Levity Polymorphism]
     9 * [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0020-no-type-in-type.rst Embrace Type :: Type]
     10 * [https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0030-remove-star-kind.rst Remove the * kind syntax]
     11
     12Papers:
     13 * [https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf System FC with Explicit Kind Equality]
     14 * [https://cs.brynmawr.edu/~rae/papers/2017/levity/levity.pdf Levity Polymorphism (extended version)]
     15
     16
    117= Kinds =
    218