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

Activity

1. vkpgwt commented on Feb 24, 2021

   

   vkpgwt

   on Feb 24, 2021

   Last edited by vkpgwt

   Contributor

   More actions

   Доки к 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. Ведь жили мы с ней как-то. Это лучше, чем иметь совсем нерабочие ссылки.

   👍React with 👍2Reacted by Sergey Cherepanov and Olga Klimenko
2. Znack commented on Feb 24, 2021

   

   Znack

   on Feb 24, 2021

   Contributor

   More actions

   Я думаю, лучше подождать пока пофиксят такие проблемы :)
3. kelizarov commented on Mar 2, 2021

   

   kelizarov

   on Mar 2, 2021

   Contributor

   More actions

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

   added

   backendRelated to back-end developer roadmapRelated to back-end developer roadmap

   on Nov 28, 2021