diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 17:40:27 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 17:40:27 +0200 |
| commit | 237ddc31ab0281f9f2cddf598fc5f9af50f91f06 (patch) | |
| tree | ca9fa2f142b8e06d681d65eaf5afa5b44c7d98fc /docs | |
| parent | d6583e52da599a6067f12950b7df575b31b3fbee (diff) | |
| download | dotty-237ddc31ab0281f9f2cddf598fc5f9af50f91f06.tar.gz dotty-237ddc31ab0281f9f2cddf598fc5f9af50f91f06.tar.bz2 dotty-237ddc31ab0281f9f2cddf598fc5f9af50f91f06.zip | |
Warn users about outdated HK scheme
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/internals/higher-kinded-v2.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/internals/higher-kinded-v2.md b/docs/internals/higher-kinded-v2.md index 3d2a64dde..3019e3031 100644 --- a/docs/internals/higher-kinded-v2.md +++ b/docs/internals/higher-kinded-v2.md @@ -3,9 +3,13 @@ layout: default title: "Higher-Kinded Types in Dotty" --- +**This page is out of date and preserved for posterity. Please see [Implementing +Higher-Kinded Types in +Dotty](http://guillaume.martres.me/publications/dotty-hk.pdf) for a more up to +date version** + Higher-Kinded Types in Dotty V2 =============================== - This note outlines how we intend to represent higher-kinded types in Dotty. The principal idea is to collapse the four previously disparate features of refinements, type parameters, existentials and higher-kinded types into just |