Поменять линки на GHC docs

[olgaklimenko]

Пройтись по всей карте и поменять линки на последнюю версию документации https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/. Новая версия красиво сверстана, очень приятно читать + всегда доступна + нет привязки к версии.

[vkpgwt]

Доки к 9 версии содержат нерабочие примеры кода. Пока готовился к jun3, читал про RankNTypes, экзистенциалы - натыкался на некорректный код несколько раз, долго думал над ним. Примеры:

RankNTypes - Subsumption:

f2 :: (forall a. (Eq a, Show a) => a -> a) -> Bool
g2 :: forall x. (Show x, Eq x) => Int -> a -> b -> b

Выражение f2 g2 не компилируется, g2 имеет некорректный тип.

RankNTypes - Type Inference:

\ f :: (forall a. a->a) -> (f True, f 'c')

Скобка должна быть перед f, а не после ::. В предыдущей версии док это же выражение записано верно.

Некоторые косяки я могу исправить и попытаться заслать в репозиторий ghc, но не все. Так что, дабы не путать новичков, пока исправил ссылки на версию 8. Ведь жили мы с ней как-то. Это лучше, чем иметь совсем нерабочие ссылки.

[Znack]

Я думаю, лучше подождать пока пофиксят такие проблемы :)

[kelizarov]

Я пока предлагаю придерживаться пока рабочей версии 8.8.3 https://downloads.haskell.org/~ghc/8.8.3/docs/html/users_guide/index.html