Size: a a a

2020 November 15

MP

Misha Puzanov in Haskell
Roman
ну если не мешать людям, которые делают ДХ, они его когда-нибудь сделают
я не очень следил за процессом, но кажется, что когда оно происходило на уровне отдельных сравнительно небольших пропозалов, то у любителей дискуссии, боринга и чего там еще у кого чешется, обычно не хватало энтузиазма вникать в суть, а сейчас можно высказывать свое очень важное мнение сколько угодно
источник

MP

Misha Puzanov in Haskell
ну и запретить людям писать data T = T у эйзенберга скорее не получится, чем получится
источник

TZ

Timofey Zakrevskiy in Haskell
Такое уже не запретишь
источник

AA

A64m AL256m qn<co... in Haskell
Misha Puzanov
я не очень следил за процессом, но кажется, что когда оно происходило на уровне отдельных сравнительно небольших пропозалов, то у любителей дискуссии, боринга и чего там еще у кого чешется, обычно не хватало энтузиазма вникать в суть, а сейчас можно высказывать свое очень важное мнение сколько угодно
там примерно все их микропропозалы пошли не туда, куда надо для завхаскеля, в чем и проблема.
(примерно как с гендриевским орф-ом случилось, когда после разделения на три пирожка собачку обратно собрать уже не удалось)
источник

AA

A64m AL256m qn<co... in Haskell
то, что неймспейс-пропозал эйзенберг не распилил на 256 частей, тоже, наверное, говорит о том, что он посчитал пиление на микропропозалы ошибкой
источник

AA

A64m AL256m qn<co... in Haskell
Misha Puzanov
ну и запретить людям писать data T = T у эйзенберга скорее не получится, чем получится
да, это им, конечно, сторонников не прибавит
источник

AA

A64m AL256m qn<co... in Haskell
смешно, что более обскурные фичи вроде квантифаед констрейнтс и, в меньшей степени, импредикатив тайпс, вообще не страдали от наплыва хачкельмыслителей и философов, которые, видимо, не знали о чем там дискутировать вообще, и легко пролетели через процесс
источник

AA

A64m AL256m qn<co... in Haskell
про первую фичу из двух даже от комитетчиков комментариев не было
источник

KV

Kirill Valyavin in Haskell
Как же так, не обсудили последствия квантифаед констрейнтов для новичков. Ведь пришедшим из других языков сходу непонятно, что такое констрейнты, а тут ещё констрейнты констрейнтов какие-то
источник

AA

A64m AL256m qn<co... in Haskell
ну я думаю, скоро хаскелисты перестанут бояться обсуждать такие темы и будут смело довить и непущать даж если и не поняли чего (не то чтобы они щас все хорошо понимают, про что рассуждают)
источник

R

Roman in Haskell
A64m AL256m qn I0
ну я думаю, скоро хаскелисты перестанут бояться обсуждать такие темы и будут смело довить и непущать даж если и не поняли чего (не то чтобы они щас все хорошо понимают, про что рассуждают)
> не то чтобы они щас все хорошо понимают, про что рассуждают

this
источник

AA

A64m AL256m qn<co... in Haskell
просто если про что-то еще стыдно сказануть чето не то, то уж по завтипам, линтипам и рекордам - стыдно не иметь какого-то,  пусть и шизового, мнения
источник

к

кана in Haskell
Kirill Valyavin
Я не понял, они хотят запретить называть конструкторы так же, как типы?
за флагом. Определенный экстеншн будет выключать такую возможность
источник

JS

Jerzy Syrowiecki in Haskell
когда Хаскель развалится под количеством расширений?
источник

AA

A64m AL256m qn<co... in Haskell
кана
за флагом. Определенный экстеншн будет выключать такую возможность
ну это понятно, но даже те, для обманывания кого экстеншоны предназначены, понимают что тут че-то не так
источник

к

кана in Haskell
так, а че не так?
источник

к

кана in Haskell
если я буду использовать завхаскель, я могу спокойно не называть конструкторы как типы, а если не буду, то буду называть
источник

AA

A64m AL256m qn<co... in Haskell
на практике неиспользование экстеншонов довольно сложная штука, и фактически хаскель после каждого релиза это хаскель с примерно всеми расширениями (есть исключения типа всяких твиков элаборатора тайпклассов, вроде оверлаппед/инкогерент, которые из экстеншонов выводят в локальные прагмы и т.д. по этой причине)
источник

AA

A64m AL256m qn<co... in Haskell
т.е. смысл экстеншона просто в том, чтоб задурить консервативную часть комьюнити и протолкнуть то, что иначе не удалось бы, судя по тому как сопротивляются включению по умолчанию чего-нибудь
источник

к

кана in Haskell
так, все еще не понимаю, в чем заключается "задурить"
источник