а есть топ либ по лямбдочкам?

http://hackage.haskell.org/packages/search?terms= и кликнуть на Rating

вот что бывает, когда библиотека период модности-молодежности не на гитхабе проходит

да она бы и не была модной. она же тип проблемы решает, а не хайпит на машин лёрнинге/консольке в браузере

кому лень кликать 1. lens 4824 3.0 2. aeson 13200 2.75 3. base 480 2.75 4. brick 456 2.75 5. bytestring 1329 2.75 6. containers 1594 2.75 7. doctest 990 2.75 8. ghc-mod 1314 2.75 9. hspec 3721 2.75 10. JuicyPixels 3375 2.75

почему у base такой высокий рейтинг?

несмотря на то что рейтинги ввели недавно, из всех парсеков топовый оригинальный парсек

накликали

почему у base такой высокий рейтинг?

да точно нужно набежать и заминусовать

у lens, конечно, заслуженное первое место. Есть ли хоть одна еще библиотека на хаскеле, за которую было бы не очень стыдно?

mtl?

толсто

не стыдно может быть и за очень мелкую либу

мне диаграмки нравились

толсто

ну я не очень знаю, что у хачкелистов принято хейтить и за что

хотя для практичных задач всегда как-то сложно становилось

extensible-effects

(если серьезно, на меня еще произвели более-менее положительное впечатление quickcheck и parsec в допотопные времена, но только концептуально, не по качеству исполнения и, позднее, vector, но там блеск и нищета хаскеля всегда рядом, адовые сишные макросы, например)

мне диаграмки нравились

а, вот да, diagrams - это да, согласен, положительное впечатление на меня произвела

ну я не очень знаю, что у хачкелистов принято хейтить и за что

mtl самая ненавистная хаскельная библиотека всех времен (я не из числа хейтеров, правда)

и за что хейтят?

За коммутативность, наверное?

MTL Acronym for Machine Translation. In regard to literature translated into other languages using programs that attempt to make it readable, but pale in comparison to an actual human translator.

mtl это monad transforfer library

меня бесит использование mtl частенько

когда mtl используют как получить MonadReader,Writer,State для трансформеров нахаляву

а потом ругаются на фандепы и жизнь

и создают layers monad-classy и прочее

/test

(Извините)

эти стикеры больше зайдут в джс чатиках. тип что-то непонятноумное и аниме. хотя постоянно есть надежда что оче сложная отсылка и где-то в тайтле можно раскрыть мысль

Вряд ли, там только асм был.

погоди

можешь в лс кинуть?

ну Йесод-то там должен был быть

Alister

как отфильтровать массив по четным/нечетным индексам?

а можно как-нибудь объяснить ghc что для примененной тайп-фемили, возращающей тип с закрытым кайндом, у меня есть инстанс SingI?

ifilter?

По моему нет. GHC же не может достать нужный словарь из ниоткуда

ifilter?

нет такого мб map fst/snd?

@melancholiak в Vector

По моему нет. GHC же не может достать нужный словарь из ниоткуда

ну как же из ниоткуда, у меня для всех типов этого кайнда есть словарики потенциально

а так map snd . (filter fst) . zip (cycle [True,False])

может какая-нибудь акробатика с constraints и Forall поможет?

а так map snd . (filter fst) . zip (cycle [True,False])

сейчас попробую

очень большая акробатика, сходу не вижу

а какие задачи нормально с помощью Forall решаются? Есть туториал нормальный?

у меня вздрыж от сорцов

@catamorphism может с доп классом, функцией дотащить?

сейчас в метро листал

там тащить-неперетащить

эта ТФ зовет еще пятьдесят

f [] = [] f [a] = [] f (a1:a2:other) = a2 : f other

я вижу одно решение потенциально, но я офигею его писать

написать функции для значений-синглтонов, полностью повторяющие TF

но это ежика можно родить в моем случае

блин (

а так map snd . (filter fst) . zip (cycle [True,False])

отлично, спасибо

Привет! Сорри за глупый вопрос, но почему я не могу объявить в одном файле два вот таких вот рекорда: data Node a b = Node { id :: a, body :: b, edges :: [Edge] } data Edge a b = Edge { id :: a, body :: b }

да вроде можно. там всякие экстеншены покрутить

потому что поля создают геттеры

и у тебя 2 геттера с одним именем и разной сигнатурой

Multiple declarations of `id'

в последнем ghc с расширениями можно

XDuplicateRecordFields или что-то такое

Просто непонятно, почему он так работает

Это связанно с реализацией системы типов?

"рекорды" в хаскеле это просто сахар для объявления функций.

Просто непонятно, почему он так работает

он тупо генерит функцию id :: Node a b -> a и id :: Edge a b -> a

Получается, Edge and Node просто тайп-синонимы?

он тупо генерит функцию id :: Node a b -> a и id :: Edge a b -> a

нет

он пытается сгенерить и говорит что имя id уже занято

Понял, нет параметрической перегрузки у функций

ну как бы тайп-классы наверное оно и есть

Нужно пройти всю церемонию, чтобы прийти к перегрузке

Ад-хок полиморфизм разумеется есть, но для объявления полей рекордов этого не происходит. Чтобы происходило - выше предлагали {-# LANGUAGE DuplicateRecordFields #-}

Просто непонятно, почему он так работает

я же написал почему

Только потом понял, спасибо