... | ... | @@ -3,21 +3,21 @@ TODO This page is somewhat old. It needs to be updated with recent information. |
|
|
|
|
|
GHC User's Guide:
|
|
|
|
|
|
- [ Levity polymorphism](https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#levity-polymorphism)
|
|
|
- [ The kind \*](https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#the-kind)
|
|
|
- [Levity polymorphism](https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#levity-polymorphism)
|
|
|
- [The kind \*](https://downloads.haskell.org/%7Eghc/latest/docs/html/users_guide/glasgow_exts.html#the-kind)
|
|
|
|
|
|
|
|
|
GHC Proposals:
|
|
|
|
|
|
- [ Revise Levity Polymorphism](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0003-levity-polymorphism.rst)
|
|
|
- [ Embrace Type :: Type](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0020-no-type-in-type.rst)
|
|
|
- [ Remove the \* kind syntax](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0030-remove-star-kind.rst)
|
|
|
- [Revise Levity Polymorphism](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0003-levity-polymorphism.rst)
|
|
|
- [Embrace Type :: Type](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0020-no-type-in-type.rst)
|
|
|
- [Remove the \* kind syntax](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0030-remove-star-kind.rst)
|
|
|
|
|
|
|
|
|
Papers:
|
|
|
|
|
|
- [ System FC with Explicit Kind Equality](https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf)
|
|
|
- [ Levity Polymorphism (extended version)](https://cs.brynmawr.edu/~rae/papers/2017/levity/levity.pdf)
|
|
|
- [System FC with Explicit Kind Equality](https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf)
|
|
|
- [Levity Polymorphism (extended version)](https://cs.brynmawr.edu/~rae/papers/2017/levity/levity.pdf)
|
|
|
|
|
|
# Kinds
|
|
|
|
... | ... | @@ -91,4 +91,4 @@ There is a small amount of sub-typing in kinds. Suppose you see `(t1 -> t2)`. |
|
|
[](https://docs.google.com/drawings/pub?id=1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM&w=359&h=229)
|
|
|
|
|
|
|
|
|
(You can edit this picture [ here](https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB).) |
|
|
(You can edit this picture [here](https://docs.google.com/drawings/d/1M5yBP8iAWTgqdI3oG1UNnYihVlipnvvk2vLInAFxtNM/edit?hl=en_GB).) |