MK
data X
= X{a :: Int}
| Y{a :: Int}Все интерпрайз программисты знают что суммы не нужны, ты чего
Size: a a a
2020 May 26
JS
в таких идиотских случая будет обламываться, но так нормальные люди не пишут
(ладно, я так писал)
JS
не пишут, а могут написать. Вот из-за этой возможности и нельзя
импликация не имеет место. если можно сделать хорошо почти всем и не сделать плохо остальным, надо попытаться
JS
data X
= X{a :: Int}
| Y{a :: Int}что мешает для этого случая вывести сообщение "не могу выбрать из Х и У"?
JS
хаскельные фичи обычно про "или работаю в любом общем случае, или не работают вовсе"
половина Хаскеля уже работает частично
JS
ещё можно выводить конструктор автоматически из
_{гуща, жижа}короче, кому денег дать за такую фичу?
JS
ещё можно выводить конструктор автоматически из
_{гуща, жижа}для выражений, правда, пересекается с другой фичей — показать тип
ЗП
Сделать инстанс для Newtype и использовать unwrap -> {...}
AV
Мне очень нравятся ответы @xgrommx
AV
Похож на математика
QZ
Мне очень нравятся ответы @xgrommx
формально корректные но абсолютно бесполезные ответы?
AV