Repository navigation
jun3-extensions-corrections - #296
Conversation
| * `DeriveTraversable` | ||
| * `GeneralizedNewtypeDeriving` | ||
| * `DeriveAnyClass` | ||
| * `DerivingVia` |
There was a problem hiding this comment.
Для DerivingVia нужно знать Coercible, representations и, возможно, даже type roles. Может, добавить и Coercible, либо убрать DerivingVia. Не надо стремиться запихнуть все дерайвинги в одно место только потому, что это дерайвинги ).
There was a problem hiding this comment.
Создал связанный ишью #298 . Но я думаю что тут не нужно подробно знать что такое Coercible для того чтобы понять зачем нужен DerivingVia, поэтому в ишью написал два предложения, одно из базовых вопросов, другое для получения углубленных знаний по теме.
There was a problem hiding this comment.
Тогда оставляем.
| * `DerivingStrategies` | ||
| * `RecordWildCards` | ||
|
|
||
| #### Resources |
There was a problem hiding this comment.
В правилах оформления подразумевается, что Resources - подзаголовок к основному заголовку темы, а здесь все темы свалены под одним заголовком, и теперь, после добавления Resources, тема RecordWildCards и многие другие находятся под заголовком Resources. Наверное, стоит каждую подтему вынести в свой заголовок.
There was a problem hiding this comment.
Эти экстеншены будут пачкой сдаваться, поэтому к ним один подзаголовок источников. Просто чтобы не дробить сильно. На первом джуне ресурсы почти везде также, по-моему достаточно опрятно.
There was a problem hiding this comment.
Я не то написал. Смотри, краткая схема текста:
- заголовок Resources и источник по wildcards
- Через строку: вопрос по TypeOperators и т.п.
Получается, вопрос по TypeOperators логически находится под заголовком Resources. Но ведь это не ресурс, это вопрос. После заголовка Resources с источниками должен идти новый заголовок с темой, вроде Extensions, где идет новая серия вопросов.
There was a problem hiding this comment.
ага, понял о чём ты)
поправил, норм?
There was a problem hiding this comment.
По правилам оформления заголовок Resources должен быть на два уровня ниже заголовка с топиком.
Можно удалить заголовок GHC Extensions и повысить заголовки топиков под ним до уровня 3. Тогда заголовки Resources должны быть на уровне 5.
There was a problem hiding this comment.
Я думаю надо оставить как на всём уровне сейчас есть и сделать отдельное ишью на это. Потому что по правилам надо не только этот уровень переделывать.
There was a problem hiding this comment.
Я больше сторонник того чтобы такие вещи рефакторить понемногу прямо в ПРах, которые связанны с темой. То есть тут изменяете топик про экстеншены, и тут же сразу рефакторите оформление — так со временем единообразие везде появится. А отдельно ждать пока кто-то весь грейд прорабоатет мы можем очень долго :)
There was a problem hiding this comment.
Поправил.
Посмотрите кто-то плиз, что всё норм.
|
|
||
| ##### Resources | ||
|
|
||
| * RecordWildCards |
There was a problem hiding this comment.
Одинокий элемент списка, может его выпилить и поднять дочерние элементы на уровень вверх? В других местах аналогично:
- источники по тайпфемили
- источники по Higher ranked types (только к источнику GHC Docs надо бы дописать, что это дока именно по HRT, а то в этом разделе спрашивается еще про scoped type variables).
There was a problem hiding this comment.
Тайп фемелис поправил. У остальных сделано также как и везде: в пачке, которая сдаётся вместе и имеет один подраздел ресурсов, указывается к какой теме относится источник так как сейчас.
There was a problem hiding this comment.
В названии ресурса по wildcards уже есть слово wildcards - не перепутаешь. Я бы оставил двухуровневый список только в том случае, если есть хотя бы два ресурса по wildcards и хотя бы один ресурс по другой теме - тогда получилась бы наглядная группировка. А сейчас это часть структуры документа, которая ничего не структурирует, не улучшает навигацию. Но я не настаиваю.
There was a problem hiding this comment.
Ну меня вообще тоже любой вариант устроит. Я просто с расчётом на то, что что-то добавиться может и структуру не поменяют в итоге.
#291