Alexander
это а. оффтоп, б. легко поругаться.
если честно я забыл почистить то, что ночью написали, но там не началась ругань, поэтому я забыл напомнить
Kirill
ммм, а динамическая типизация - не религия?
Leonid 🦇
Единственная наша религия - чистый ФП!
Влод
Leonid 🦇
срачи с динамистами проводятся в фпрог_спб
Alexandr
в чем профит обобщать линзы до разных профункторов, то есть
p a (f b) -> q s (f t)
?
еще вопрос - в чем профит использовать старые кметовские линзы, когда профункторное вроде как и в понимании проще, и в реализации? Нет лишней зависимости? Перформанс лучше из-за меньшего количества абстракций?
Если я правильно понял, то в линзах на профункторах. Делают так, берут конкретную оптику, преобразуют в профункторную, а там уже можно компоузить
Leonid 🦇
А корка у профункторных линз такая же невероятно оптимизированная как у lens?
adam
в чем профит обобщать линзы до разных профункторов, то есть
p a (f b) -> q s (f t)
?
еще вопрос - в чем профит использовать старые кметовские линзы, когда профункторное вроде как и в понимании проще, и в реализации? Нет лишней зависимости? Перформанс лучше из-за меньшего количества абстракций?
Почему тогда уже не
c (p a (f b)) (q s (f t))
кана
Почему тогда уже не
c (p a (f b)) (q s (f t))
тогда же композить базовой . не сможем, нужно будет control.category подключать
A64m
на профункторах какие-то индексед траверсалы нереализуемы вроде
вроде в новых ghc можно
https://www.reddit.com/r/haskell/comments/6m6vqk/profunctor_optics_modular_data_accessors/dk04t10/?context=3
Leonid 🦇
что за фиолетовый?! ВЕРНИТЕ ocean! https://hackage.haskell.org/package/lens-4.16
кана
по моему ничего не поменялось
кана
Leonid 🦇
в доках ocean остался
Leonid 🦇
на хакадже фиолетовый
кана
я сделал скрин хакаджа
Leonid 🦇
это скрин доков
кана
Евгений
что за фиолетовый?! ВЕРНИТЕ ocean! https://hackage.haskell.org/package/lens-4.16
Когда они пришли за фичами я молчал, потому что мне не было дело до фичей... А затем они пришли за оушеном
Евгений
Leonid 🦇
кана
о, мне нравится
Vasiliy
о, прикольно, мне тоже, у меня цветовая тема фиолетовая везде :)
этот цвет хоть не так часто встречается, еще не надоел
Алексей
Откуда эта любовь к мерзкому фиолетовому цвету?
Евгений
Вообще очень смахивать на новую гентушную
Leonid 🦇
глаза плавают по экрану не цепляется за ссылки вообще :(
Евгений
Евгений
Откуда эта любовь к мерзкому фиолетовому цвету?
> мерзкому цвету
Еееееееее, го пробовать фломастеры на вкус (нет)
Andrei
предыдущая раскраска была мерзее
a66ath
Денис там в твиторе вещает
Алексей
Предыдущая была ничего
a66ath
@dshevchenko когда книгу допилишь?
Leonid 🦇
вот буквально чуток контраста добавить на ссылки, и читаются
A64m
да, цвета лучше были, но список зависимостей в столбик мне понравился
Aleksei (astynax)
двухпанельный стиль вмержили уже вроде. Скоро и на хакедже
A64m
> The (numerical) class hierarchy was designed by Joe Fasel. He was inspired by the number types in Scheme. Joe later learned that Scheme had abandoned that version of the number types, because it was too complicated.
A64m
не-типы не натянулись
Alexander
@dshevchenko http://backendsecret.ru/instruction/ посмотри что там написано в как вести беседы
Leonid 🦇
знаете что хорошо в этом обновлении стиля хакаджа?
Хорошо что таки цвет текста сделали контрастнее чем хотели сначала. А то был бы вообще ужас
Alexander
а store instance для Aeson.Value никто не пилил?
Leonid 🦇
Бенчи стримов https://github.com/composewell/streaming-benchmarks/blob/master/README.rst
Все бенчи врут
A64m
что, опять что-то не то измерили неправильное число раз?
Зигохистоморфный
насколько я помню это от автора streamly
Oleg
Leonid 🦇
The time is in seconds, each small tick is 10 ms and each big tick is 100 ms. I need to fix that to make it better readable (in milliseconds) and also put a label for units.
Leonid 🦇
https://www.reddit.com/r/haskell/comments/85jgm5/say_hello_to_haskell_streaming_performance/
Oleg
ааа т.е. less is better
Oleg
А чото нет параллельных операций, типа там broadcast или merge
Oleg
Потому что streamly их не умеет?
Зигохистоморфный
стримли много чего может
Зигохистоморфный
там разные варианты
кана
Алексей
Это откуда? В GHC фантомные типы не входят в представление объекта в памяти
кана
Это откуда? В GHC фантомные типы не входят в представление объекта в памяти
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.596.7907&rep=rep1&type=pdf
Алексей
Это на GADTы похоже
Anonymous
Здравствуйте. Кто нибудь дружил Persistent ключи с https://hackage.haskell.org/package/servant-swagger ?
Получаю вот такое вот невыведение, пока не знаю куда копать плюс если докопаюсь скорее всего сделаю неправильно.
https://pastebin.com/DiAky4WQ
Anonymous
UserId является внешним ключем в другой таблице.
Cheese
наверное, придётся руками написать инстанс
Alexander
А чото нет параллельных операций, типа там broadcast или merge
можно за этим в stm-conduit
Aliester
Aliester
кик
A64m
Cayenne 20-илетней давности-то, небось, на Идрис больше похож, чем хаскель 30-илетней давности на нынешний
Alexander
перечитываю доку по трансформерам, наткнулся в этой секции https://hackage.haskell.org/package/transformers-0.5.5.0/docs/Control-Monad-Trans-Class.html#g:5 на пример и не могу понять как он работает. Я правильно понимаю, что (x, "") здесь это условие остановки рекурсии, и если да, то почему он в нее входит? Это такой хитрый синтаксис для квадратных скобок или я что то не понимаю про монаду List?
runParser :: Parser a -> String -> [a]
runParser p s = [x | (x, "") <- runStateT p s]
Alexander
ну то есть должно же вернуться (x, xs)
Cheese
runStateT возвращает m (a, s), то есть в данном случае [(a, String)]
Cheese
<- перебирает список
Alexander
то есть оно как то залифтилось в список с остановкой на ошибке матчинга в get?
Cheese
не будет там остановки
Alexander
то есть на выходе бесконечный список?
Дмитрий
Cheese
если результат укладывается в паттерн (x, ""), то он остаётся, если нет, то выбрасывается
Cheese
в этой строчке просто фильтр