JS
Точно
тогда это не орфан
Size: a a a
2020 June 01
_:
Да, я понял уже
VZ
VZ
Эйзенберг день назад, отвечая про статус Dependent Haskell: “That, in turn, requires sorting out The Dreaded Namespace Problem (that Haskell allows `data T = T`). Happily, there is a proposal I strongly support to sort this out.”
VZ
Явор сегодня: “я б таким не пользовался, предлагаю отклонить”.
AA
Явор сегодня: “я б таким не пользовался, предлагаю отклонить”.
че удивительного-то, не все же завхаскель хотят
VZ
Удивительного ничего. Посмотрим что скажет остальной комитет.
AA
Эйзенберг день назад, отвечая про статус Dependent Haskell: “That, in turn, requires sorting out The Dreaded Namespace Problem (that Haskell allows `data T = T`). Happily, there is a proposal I strongly support to sort this out.”
мне даж страшно заглядывать в этот тред, после упоминания о РЕГРЕССИЯХ
когда такое написали про линтипы там настрочили 256 истерических высеров про сКоРоСтЬ кОнПеЛяЦиИ
когда такое написали про линтипы там настрочили 256 истерических высеров про сКоРоСтЬ кОнПеЛяЦиИ
VZ
Там тред пустой.
AA
повезло
AA
не заметили
AA
хотя там основной движущей силой был новый комитетчик, может он не против завтипов просто, вот и не распалил негодование
JS
СЯУ, что в ghc-prim определён 1-кортеж с совершенно неожиданным названием Unit
DR
операция Unit, чтобы никто не догадался
NI
Было бы неплохо назвать Ы
АХ
Эйзенберг день назад, отвечая про статус Dependent Haskell: “That, in turn, requires sorting out The Dreaded Namespace Problem (that Haskell allows `data T = T`). Happily, there is a proposal I strongly support to sort this out.”
g :: (a,b) -- warning
g = (c,d) -- warning
Я не очень понял, с этим пропозалом обычные тупли будут вести к варнингам в -Wall?
JS
СЯУ, что в ghc-prim определён 1-кортеж с совершенно неожиданным названием Unit
а кто-то для этого пакеты создаёт https://hackage.haskell.org/package/OneTuple
АХ
а кто-то для этого пакеты создаёт https://hackage.haskell.org/package/OneTuple
И не один https://hackage.haskell.org/package/Only