Andrei
Слава
Еще он же заявлял, что хаскель выгодно отличается от других языков тем, что на нём можно писать, будучи нетрезвым, невыспавшимся и т.п. Строгость позволяет.
A64m
Недолюбливаю Зефирова, но тут он прав
Слава
Вообще, из этих же соображений, у Ada должна быть огромная популярность. Но почему-то не любят её
A64m
явно жалующийся на реддите слишком трезвый и выспавшийся
A64m
с адой-то что общего?
Слава
Там же тоже всё статично и строго, и язык самодокументируемый (ну правда же, в отличие от Си особенно)
Andrei
ада же ещё один алгол, не?
A64m
ада это вербозные плюсы без raii, ничего адовее и представить себе нельзя
Слава
Гм... это паскаль, только с дженериками и прочим
Dmitry
спасибо всем, пойду попорбую прикрутить ide-haskell-hie к Atom'y
A64m
а, точно, си адовее
Dmitry
кстати, про нетрезвое
A64m
все время забываю, что это язык программирования
Dmitry
я сначала ценил хаскел за то, что на нем нельзя писать нетрезвым
Слава
И кстати говоря, некое подобие RAII в Аде есть, т.н. controlled types
Kirill
A64m
это как говорить, что в дельфи автоматическое управление памятью, потому что там для строк и интерфейсов счетчики
Dmitry
но с опытом, оказалось, что можно, правда не тайплевел
Dmitry
и не сложные стеки трансформеров
Dmitry
но в итоге я практически не пью, правда не из-за хаскеля
Dmitry
да и пишу что-то маловато последнее время.
A64m
Путь хаскелиста:
Ценишь хаскель за то, что нельзя писать пьяным
Ценишь хаскель за то, что можно писать пьяным
Андрей
Какая связь с пьянством?
melvin
пик балмера, впадина торвальдса
Слава
Дно. Просто дно.
Андрей
А? Кажется лиспист в чате.
Андрей
Упртые
melvin
только для хаскеля видимо этот пик в виде небольшого бугорка находится на самом дне очень глубокой ямы
Валерий
Я на хаскеле начинал писать отвечая на вопрос "что такое Х? Х — конечно же, (текст функции)“
До монад работает прекрасно
Андрей
А после монад?
A64m
> Pick one of the "core" libraries or any library that is popular and fairly well established and stable.
> Blast it with benchmarks or code review.
> Make a change to that package that makes some part of it >2x faster than before, or 2x less memory usage, with a very clear benchmark with criterion or weigh, demonstrating it.
он всерьез что-ли считает, что можно вот так просто взять и сделать более-менее популярную хаскельную библиотеку в два раза быстрее?
Валерий
В do нотации проще писать в императивном стиле "взять это, сделать это, это и это, завернуть обратно"
Quet
Artyom
A64m
https://www.reddit.com/r/haskell/comments/7lb2zx/proposal_monthly_package_attack/
A64m
Alexander
Alexander
вообще у него было с парсеньем какого-то формата, в упрощенном виде
Alexander
типа xml/json
Alexander
да много в каких либах можно хорошо поупарываться и поускорять
A64m
так он с чистого листа эти библиотеки писал
Антон
A64m
если уж на то пошло, я сам писал пруф оф концепт хештаблицы, которая быстрее "популярной" (единственной), но она с нуля написана была
A64m
а вот так взять и поменять что-то чтоб в разы ускорилось - это фантастика
Alexander
не всякие worker/wrapper, бенги, типы поаккуратнее
A64m
Alexander
но не в 2 раза
Слава
A64m
вот, Кметт говорил, что за время заброшенности vector-algorithms у нее перформанс сильно деградировал. Может быть ее можно потюнить под актульные версии ghc и получить хороший прирост
Евгений
Dmitry, кстати для новичков есть чат @haskell_learn
Alexander
ага
Alexander
было дело, вот так и работают быстрые либы
Kirill
ну юзербаза не как у сикелайта чтоб туеву хучу тестов иметь
Andrei
Kirill
но из-за неё тоже :)
Alexander
это как с самыми быстрыми вебсокетами
Alexander
неприятная история была
Kirill
а что про вебсокеты?
NC
Когда меряешь ленивость хаскелля в бенчмарке и пишешь пост о том, какой быстрый хаскелль
Andrei
Евгений
Антон
A64m
> there are different libraries for one thing
НЕВООБРАЗИМО
Кабачок
А чем YAML разбирать на сабже?
кана
https://hackage.haskell.org/package/yaml)
Зигохистоморфный
aeson?
Кабачок
Выглядит страшно
кана
умеет в aeson формат конвертироваться
Кабачок
aeson?
JSON \subset YAML, но обратное неверно
кана
я когда с toml работал, я htoml использовал чтобы спарсить и преобразовать в aeson формат, оттуда уже FromJSON в свои типы
кана
aeson конечно можно избежать было, но там Generic для вывода конвертера, намного лучше чем куча паттерн-метчинга
кана
тут такой же подход, полагаю
Кабачок
А, вот как оно работает
Vladislav