Size: a a a

2020 November 09

p

polunin.ai in Haskell
кана
сломался на простейшем но важном примере
Где сломался?
источник

к

кана in Haskell
polunin.ai
Где сломался?
вывел age как инт
источник

к

кана in Haskell
а не как either int string
источник

ЗП

Зигохистоморфный Пре... in Haskell
кана
а не как either int string
источник

ЗП

Зигохистоморфный Пре... in Haskell
кана
а не как either int string
источник

AA

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

a

adam in Haskell
че а как он с гетерогенными списками поживает
источник

AA

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

MK

Maxim Koltsov in Haskell
A64m AL256m qn I0
это не баг хлс. пм покрытие чекается не на проверке типов же, а на дешугаринге или около того, т.е. тул который код не генерит, чтоб быстрее работать, проверять покрытие не сможет
вот же блин!
источник

MK

Maxim Koltsov in Haskell
обидно
источник

MK

Maxim Koltsov in Haskell
спасибо за разъяснение
источник

IK

Ilya Kos in Haskell
кана
почему "монада это шаурма" все шеймят, а "ньютайп это дата с одним конструтором и одни значением в нем" нет
Потому что имхо ньютайп вполне можно рассматривать как оптимизацию ограниченного случая data.
источник

IK

Ilya Kos in Haskell
При первом приближении newtype семантически не отличается от такого же объявления data
источник

IK

Ilya Kos in Haskell
Да, там есть корнер кейсы
источник

AV

Alexander Vershilov in Haskell
Какое-то очень дальнее прибилижение
источник

AV

Alexander Vershilov in Haskell
Вообще тут я согласен с @kana_sama что если рассматривать newtype как оптимизацию и частный случай data, то из этого скорее проблемы будут, чем польза
источник

IK

Ilya Kos in Haskell
Alexander Vershilov
Вообще тут я согласен с @kana_sama что если рассматривать newtype как оптимизацию и частный случай data, то из этого скорее проблемы будут, чем польза
Например?
источник

AV

Alexander Vershilov in Haskell
Вопросы со строгостью newtype; возможное разное поведение generic инстансов см aeson; эволюция структур (ака добавление поля); возможность работы coercion и как следствие newtype deriving
источник

A

Andrey in Haskell
или deriving via?
источник

AV

Alexander Vershilov in Haskell
both
источник