Repository navigation
Junior-3. Haskell - Extensions #291
Description
В результате сдачи экстеншенов накопилось несколько исправлений, которые хотелось бы внести.
- Убрать раздел Types, в котором сейчас 1 вопрос: "Что такое кайнд?". Это спрашивается в DataKinds, хотя там про конкретный кайнд *, а здесь общий вопрос. Можно и перенести.
- Добавить DerivingVia в часть с Deriving.
- Добавить источник в Type and Data Families: https://stackoverflow.com/questions/49433716/why-cant-we-define-closed-data-families
Will be continued...
Activity
vkpgwt commentedon Feb 28, 2021
vkpgwt commentedon Mar 2, 2021
What is a "rank" of a function?предложили то ли убрать, то ли переформулировать.kelizarov commentedon Mar 2, 2021
Я думаю оба стоит включить, они простые и довольно просто объясняют хотя бы базово для чего тайп-фэмили. Надо бы так же добавить ссылку на доку по тайп-фэмили.
vkpgwt commentedon Mar 3, 2021
Предложили поправить laziness:
Make examples when bang pattern has less power, than it could be supposed- вопрос непонятен, можно спросить о том, до какой формы вычисляется bang pattern.vkpgwt commentedon Mar 11, 2021
Laziness.
(a+b) ``seq`` expr.~. И когда узнаешь факт того, что что-то ленивое по дефолту, это очень нервирует, приходится искать, вдруг они ленивые где-нибудь еще. Возможно, это надо спрашивать даже на jun2 или 1.Znack commentedon Mar 12, 2021
А там это не вопрос, там это объяснение задачи :) Может просто кривая формулировка "There is a ! inside a Maybe, which is inside a let expression, and let expressions are lazy:", здесь имеется в виду, что надо обратить внимание на ! внутри паттерн матчинга и как он себя ведет учитывая, что let-ы ленивые
vkpgwt commentedon Mar 12, 2021
Это и есть ответ, не нужно этого писать :). "Вот есть bang pattern внутри let, форсирует ли он вычисление переменной?". Когда интервьюируемый добрался до этого вопроса, он усвоил, что bang patterns форсируют все подряд, а это вопрос-ловушка на исключение из данного правила, не надо подсказывать.
Znack commentedon Mar 12, 2021
Неее, это всё таки не ответ, но то что жирный намёк я согласен :) давай уберём :)
olgaklimenko commentedon Mar 13, 2021
PolyKindsресурс: https://kseo.github.io/posts/2017-01-15-data-proxy.htmlType Familyhttps://wapxmas.github.io/haskell-injectivity/olegromashin commentedon Mar 22, 2021
Субъективно. Мне намного труднее дались RankNTypes, я бы оставил.
По-моему лучше оставить как есть. Вроде спрашиваем сначала идейно, пока проблем не возникало. Ну и если перенести получится такая же ситуация, только наоборот. Придётся при изучении сложных экстеншенов читать про дерайвинг.
С остальным согласен.
olgaklimenko commentedon Mar 22, 2021
Экзистенциалы все же луше перенести повыше,
rankNTypesсоглашусь, можноо ставить где они есть.Еще:
Эти два вопроса можно смержить, и поставить после RankNTypes.
olegromashin commentedon Mar 22, 2021
Ага, уже смёрджил, забыл упомянуть)
olgaklimenko commentedon Apr 7, 2021
@antonkalinin-ml можешь предложение по laziness в отдельное ишью вынести?) А то тут по экстеншенам задача, и она уже сделана, мне кажется сюда никто не зайдёт уже, чтобы обсудить твоё предложение :)
antonkalinin-ml commentedon Apr 7, 2021
@olgaklimenko @olegromashin перенес в #309 , можно данную таску закрывать.