Size: a a a

2021 March 07

JS

Jerzy Syrowiecki in Haskell
кана
ага, для всего модуля
ага, гранулярно по модулям
источник

к

кана in Haskell
адхок полиморфизм нужен не только для законных классов, он еще нужен для адохок полиморфизма

+ это просто полиморфная функция, какой-нибудь class Num должен просто быть гарантией (даже на словах), 0 для нее нейтрален
источник

KV

Kirill Valyavin in Haskell
кана
все остальное меня не очень интересует
Если бы я мог не баттхёртить, я бы просто ответил на опрос и успокоился
источник

к

кана in Haskell
понимаю
источник

A

Andrey in Haskell
а я всё ещё не понимаю, но я окей с тем, чтобы не понимать
источник

KV

Kirill Valyavin in Haskell
В общем надо в хаскель завести квошиенты чтобы не вот это всё
Определил в типе конструктор, что (x + 0) = 0, и живёшь спокойно
источник

KV

Kirill Valyavin in Haskell
А если хочется различать равные вещи — это к психиатру (извините за грубую шутку)
источник

к

кана in Haskell
нет никакой цели различать равные вещи, это все выдуманно
источник

к

кана in Haskell
есть только одна цель - чтобы было удобно лично мне
источник

к

кана in Haskell
все остальное это притягивание за уши и навешивание ярлыков
источник

KV

Kirill Valyavin in Haskell
Ну наверное можно сделать удобно так, чтобы не портить философию-то!
источник

KV

Kirill Valyavin in Haskell
Есть только одна цель — чтобы всё было красиво и правильно, всё остальное это какая-то возня несущественная
источник

к

кана in Haskell
ну, полезной философией для себя я вижу тоже только одну - чтобы было удобно
источник

к

кана in Haskell
красота и правильность имеют 0 цены, если это неудобно
источник

к

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

KV

Kirill Valyavin in Haskell
Ну, раз мы исходим из разных посылок, прийти к согласию не получится. Можно переходить сразу к мордобою!
источник

к

кана in Haskell
хех
источник

K

Kir in Haskell
Kirill Valyavin
В общем надо в хаскель завести квошиенты чтобы не вот это всё
Определил в типе конструктор, что (x + 0) = 0, и живёшь спокойно
Завтипы надо завезти
источник

к

кана in Haskell
дык завтипы же тоже будут некрасивыми, это TypeInType, и undefined
источник

к

кана in Haskell
квошиенты это хорошо, завтипы это хорошо, но квошиенты с завтипами это все, ад
источник