gnuplot

не знаю matplotlib, но если взять R и делать графики с ним, но можно много больше, чем с gnuplot

впрочем для моих задач мне хватало gnuplot

В общем то мне нужно было вертикальные/горизонтальные бары рисовать. Сгруппированные, у групп должны быть заголовки

Я это в итоге делал через генерацию свг

Довольно гибкий инструмент

mpl это далеко не только бары

Рисовать такое руками в SVG - не хотеть

не знаю matplotlib, но если взять R и делать графики с ним, но можно много больше, чем с gnuplot

тогда уж julia

"Julia - течёт" (это практически всё, что я про неё знаю)

не вижу вот вообще причин предпочитать julia

в R толпа туториалов и библиотек

а если мне они не нужны, то я возьму haskell

Рисовать такое руками в SVG - не хотеть

особенно если это 3д и крутить можно и приближать

mpl это далеко не только бары

gnuplot

особенно если это 3д и крутить можно и приближать

можно и то и другое, да

landscape кстати у gnuplot есть, там убиться можно все делать

но в последнее время я сам пересел на mpl с gnuplot... удобно обрабатывать данные и тут же их отображать, и всё это в одном скрипте

я с гнуплотом страдал когда хотел 3д и что-то сложное

пока переупакуешь данные как ему надо

плюс там нету всякой доброты типа гистограммок и т.п. быстро сделать (или я не нашёл)

https://github.com/wireapp/wire-server

кароче, я ничего не понимаю https://pastebin.com/AnKzEqfq

есть у vinyl у Rec инстанс моноида https://hackage.haskell.org/package/vinyl-0.6.0/docs/Data-Vinyl-Core.html#t:Rec

там сказано, что если f a - моноид, то и Rec f '[a] моноид

там сказано, что если f a - моноид, то и Rec f '[a] моноид

а может вместо Int какой-нибудь Sum Int ведь надо уточнить какой именно моноид

я в качестве функтора подсовываю [], который делает моноидом всё, что видит вокруг, но компилятор согласен с тем, что Rec [] '[Int, String] - моноид, а для любого Rec [] m он отказывается в это верить

а может вместо Int какой-нибудь Sum Int ведь надо уточнить какой именно моноид

не, plusc как раз таки работает

а что если plusa :: Monoid m => Rec [] m -> Rec [] m -> Rec [] m?

там в документации есть какие-то функции для констрейнтов, может, их надо применить...

нэ, у m кайнд [*]

блин, а решение, оказывается, самое наитупейшее - просто прописать в констрейнт plusa то, что ему нужно - Monoid (Rec [] m)

я с двух часов долбался...

я с двух часов долбался...

а зачем тебе такой моноид?

у меня есть список рекордов, а мне нужен рекорд списков

эдакий sequenceA

у меня есть список рекордов, а мне нужен рекорд списков

так это уже traverse какой-то

ну да, но в данном случае решение получилось другое - foldMap (rmap (Compose.(:[])))

жуть какая :D

Как часто и с какой охотой кто использует линзы? Мне по некоторым причинам не хочется их использовать, и тащить TH тоже

можно взять microlens, например, оно гораздо легче

я стараюсь использовать, где получается

Ребят, объясните плз, что ещё за линзы? Или ссылкой в меня киньте.

https://hackage.haskell.org/package/lens

Широко используем. И не только простые линзы - траверсалы, призмы, вот это всё

Бояться линз - жить грустно

Микролинзы, увы, только простую оптику умеют, а самый смак в непростой

Да и писать линзы руками лениво, так что и с микролинзами будет TH

в микролинзах нету травераблов же?

он вообще бесполезен

Зато можно притащить в либу, где нужны только сеттеры/геттеры и не хочется нагружать толстыми lens пользователей. Впрочем, траверсаблы часто нужны, если уж линзы пользуешь

Зато можно притащить в либу, где нужны только сеттеры/геттеры и не хочется нагружать толстыми lens пользователей. Впрочем, траверсаблы часто нужны, если уж линзы пользуешь

какой-то пример?

Пример чего?

Пример чего?

зачем траверсинг для линз

Э... да хоть в подрекорды сходить, если подрекордов - список.

Э... да хоть в подрекорды сходить, если подрекордов - список.

мини пример)

User ^.. uFriends . traversed . uPets . _Cat . name

λ> [(1, 2), (3, 4)] & each._1 %~ show [("1",2),("3",4)]

User ^.. uFriends . traversed . uPets . _Cat . name

"Клички всех кошек друзей юзера"

вот ещё в коде нашёл findIndexOf (clients.itraversed) (elemOf _3 regCode) db

находит в базе id клиента, у которого в третьем поле такой-то regCode

вот ещё побольше пример https://www.schoolofhaskell.com/user/tel/lens-aeson-traversals-prisms

Вот да, обработка XML/JSON с траверсалами без полной распаковки в типы - и даже без описания полной схемы!

Вот это отличный пример полезности оптики

Как map f . map g == map (f . g) Так и p &&. q = \x -> p x && q x filter p . filter q == filter (p &&. q) Этот шаблон можно как-то обобщить. Эндоморфизмы - моноид по композиции, предикаты - по энду

User ^.. uFriends . traversed . uPets . _Cat . name

а зачем тут traversed?

а зачем тут traversed?

из головы написал с телефончика, но да, в данном случае ^.. хватит

Как map f . map g == map (f . g) Так и p &&. q = \x -> p x && q x filter p . filter q == filter (p &&. q) Этот шаблон можно как-то обобщить. Эндоморфизмы - моноид по композиции, предикаты - по энду

это всякие short fusion или как-то так называется подход

А чего сегодня ничего не пишите?

Надо придумать наброс

у меня есть вопросик тогда

в чём разница между (C1 a, C2 b) => a -> b -> c и C1 a => C2 b => a -> b -> c?

Даже не знал про то, что можно писать как во втором кейсе)

нету разницы

> data F where F :: Show a => Show b => a -> b -> F <interactive>:26:14: error: • Data constructor ‘F’ returns type ‘Show b => a -> b -> F’ instead of an instance of its parent type ‘F’ • In the definition of data constructor ‘F’ In the data type declaration for ‘F’

ну это одно и тоже значит, а то что в GADT синтаксисе парсер другой это другое дело

ага, я понял, спасибо

я думал, может, какие-то глубинные особенности GADTs, а это парсер...

я бы это как feature request зарепортил

хотя и граничит с багом, но все-таки a => b => ... это не Haskell98, и в мануале не упоминается (вроде). Хотя очень логичная и правильная конструкция.

Багом кажется хотя б асимметрия — если уж отвергать, то и в функциях, и в GADT-ах, а иначе принимать и не жаловаться в обоих местах.

мне кажется это какой-то побочный эффект что в функциях работает

и.е. это не планировали, само получилось

Ну да.

Хотя это ж каррирование в чистом виде.

Очень приятная нотация, жаль в Idris не поддерживается

Да, то что в функциях работает, а в GDTs нет, однозначно выглядит как баг, мне аж самому понравилось как выглядит такая нотация. Не удержался и попробовал. Действительно жаль, что GDTs такую конструкцию не признают :(

в чём разница между (C1 a, C2 b) => a -> b -> c и C1 a => C2 b => a -> b -> c?

В том, что в первом варианте это коньюкция классов, а во втором -- импликация этих же классов.

хотя и граничит с багом, но все-таки a => b => ... это не Haskell98, и в мануале не упоминается (вроде). Хотя очень логичная и правильная конструкция.

Почему это логичная? Знак '=>' это логический вывод, где список классов играет роль контекста, а тип -- вывода. Конструкция Г_1 |- Г_2 |- A бессмысленна

https://vk.com/cat_programming?w=wall-63708206_248309

всем привет!

Андрей Мельников подал нам хорошую идею, и я решил вынести в массы

мы сделаем на fby(by) секцию lightning-докладов, где-то по 10 минут на доклад

скорее всего таким докладчикам дадим бесплатный билет на конфу, но это пока еще не точно

@Reworr можно пояснить про аддитивные технологии в течение двух минут?