типа такого

Да, спасибо, так лучше

чет телега лагает у меня

Не видно!

Лагает, да

вместо (&&&) теперь, вроде, bimap

ой, вру

хм, это разные вещи &&& :: (a -> b) -> (a -> c) -> (a -> (b, c))

да, bimap это (***)

типа такого

у тебя тут по моему только rec15 и используется, можно сразу смапать в него

map (head &&& sum) . group . sort . map rec15

Не, rec1 ещё

а, это я ошибся в своем решении

f = map (rec15 . head &&& sum . map rec1)

Ну я уже примерно так и написал, спасибо.

Подскажите пожалуйста, а можно в Setup.hs кабала узнать директорию куда пакет устанавливается? и туда скопировать архив, там распаковать? я так хотел бы статику сайта завернуть в пакет очень не хочется по одному файлу в data-files выписывать их

можно, но как именно не скажу, в install фазе должно быть доступно

в GHC же есть (не совсем понятно зачем, правда) даже расширенный синтаксис для лист компрехеншонс, не очень популярный, я даже не вспомнил как называется экстеншн вспомнил только как пейпер про него назывался https://www.microsoft.com/en-us/research/wp-content/uploads/2007/09/list-comp.pdf

а экстеншн жив ещё?

жив

Во, круть! Надо брать.

куда он денется?

Во, круть! Надо брать.

вот в тех же сорсах из книги beginning haskell как раз была глава про это расширение https://github.com/Apress/beg-haskell/blob/master/chapter3/src/Chapter3/Comprehensions.hs#L13-L19

Ваще отвал башки, я скоро выйду замуж за Haskell, блин!

наконец-то экстеншон нашел своего первого пользователя

я думаю spj с вадлером попользовались им чуток

им скорее авторы DSH попользовались (которые монад компрехеншонс возвращали)

Может кто-то объяснить что должен делать Traversable::sequence и Traversable::traverse?) Не очень понятно из описания на хаскелль вики

Может кто-то объяснить что должен делать Traversable::sequence и Traversable::traverse?) Не очень понятно из описания на хаскелль вики

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

traverse ~ sequence . map ~ mapM

Подскажите, можно ли реализовать инстанс для более конкретного типа, если реализация для абстрактного уже есть? Пример: instance Monad (Either String) where fail _ = Left "42"

надо читать http://strictlypositive.org/Idiom.pdf

и https://www.cs.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf

Подскажите, можно ли реализовать инстанс для более конкретного типа, если реализация для абстрактного уже есть? Пример: instance Monad (Either String) where fail _ = Left "42"

лучше этого не делать

@ikomarov sequence делает грубо говоря из листа фьюч фьючу листов (это конкретный пример), а траверс это композиция map и sequence

@ikomarov sequence делает грубо говоря из листа фьюч фьючу листов (это конкретный пример), а траверс это композиция map и sequence

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

лучше этого не делать

Почему лучше не делать? Как все же можно это сделать?

Ovelapping instances

Почему лучше не делать? Как все же можно это сделать?

Через newtype наверное

ключевое слово. Но оправдано это в основном, если занимаешься всяким программированием на уровне типов

traversable это как fmap только еще с аппликативным эффектом

как mapM

http://risovach.ru/upload/2018/04/mem/padazhzhi_174472689_orig_.png

извинити

а как maximumOr красиво в линзостиле бы зопилить?

ну кроме как maximum (default:...)

а нужно ли это в линзостиле? сеттер-действие какое-то не очень очевидное

есть у кого в закладках мини-туториал как сделать тайплевел роутинг "как в серванте"?

мне нравится общность подхода там ко всяким partial и т.п. функциям

тут то я запилю как выше написал

Prelude Control.Lens> [1..3] & maximumOf each & view (non 42) 3 Prelude Control.Lens> [] & maximumOf each & view (non 42) 42

Prelude Control.Lens> [] ^. to (maximumOf each) . non 42 42 Prelude Control.Lens> [1..3] ^. to (maximumOf each) . non 42 3

линзомагия

забавно, спасибо

эээээ

ошибка в доке?

почему?

из 1 вычитаем 1 - получаем 0

ноль - это заявленное дефолтное значение, т.е. пары с таким значением удаляются

/stat@combot

combot.org/chat/-1001043143583

нифига @qnikst флудит

ну я пишу короткие сообщения обычно

не очень удивительно

тут могло бы быть 1 сообщение, а не 3

надо байты считать

тогда победит @kana_sama - все время картинки с кодом постит потому что.

ноуп

не все время

да, действительно

/stat@combot

combot.org/chat/-1001043143583

скрипт дампающий бд и записывающий дамп в гугол на питоне занимал 89 строк, на хаскеле 312

правда на питоне не парсились опции и не логгировалось

44 строки это экстеншены и импорты

еще пара лет и 1200 строк будет

вербозный хаскель это модно сейчас

скрипт дампающий бд и записывающий дамп в гугол на питоне занимал 89 строк, на хаскеле 312

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

жемчужина моей коллекции безумных главных недостатков хаскеля > It's crazy that Haskell, with all its promise of making things safer by finding errors at compile time, is the only near-mainstream language where literals - the simplest most basic programming construct there is - cause run-time calculation, and can throw exceptions and crash your program. Crazy! This is the number one wart of Haskell at the moment.

я что-то не понял, а можно пример кода как это получить?