traverse . _Just

toListOf

у меня уже ^.. это же traverse?

^..

это фолд же

как линзами в [Maybe a] -> [a] сделать?

но зачем если есть catMaybes

я понимаю что по человечески можно но все же

^

у меня уже ^.. это же traverse?

это toListOf

Кто там говорил что у жабы строчки в 80 символов не уменьшаются? А как вам это? https://github.com/emgucv/emgucv/blob/3be85ff6bfbbf0e23305e655ca278a9ecb4a1466/Emgu.CV/PInvoke/CvInvokeImgproc.cs#L1119

Я бы так делать не стал. Особенно при совместной разработке, когда двое поменяли одну и ту же развесистую функцию. Будь она отформатирована в духе "одна строка - один параметр", мерж бы прошёл безболезненно, а когда всё в одной строке, нужно руками конфликт разрешать.

toListOf

вместе xs ^.. traverse . _Just

[Just 10, Just 20, Nothing] ^.. traversed . folded

Я бы так делать не стал. Особенно при совместной разработке, когда двое поменяли одну и ту же развесистую функцию. Будь она отформатирована в духе "одна строка - один параметр", мерж бы прошёл безболезненно, а когда всё в одной строке, нужно руками конфликт разрешать.

Проблема в том, что я пришел читать доки, а такое читать сложно

Проблема в том, что я пришел читать доки, а такое читать сложно

Да, на гитхабе пригодился бы "режим для чтения".

> [Just 10, Just 20, Nothing] ^.. traverse . traverse [10,20]

> [Just 10, Just 20, Nothing] ^.. traverse . traverse [10,20]

[Just 10, Just 20, Nothing] ^.. folded . folded

[Just 10, Just 20, Nothing] ^.. each . each

как линзами в [Maybe a] -> [a] сделать?

интересно, а в каких вообще констрейнтах функцию t (f a) -> t a можно определить разумным образом

интересно, а в каких вообще констрейнтах функцию t (f a) -> t a можно определить разумным образом

(Traversable t, Monoid (f a)) (Traversable t, Alternative f) (Traversable t, Applicative f)

Could not find module ‘Control.Monad.Trans.Either’ Perhaps you meant Control.Monad.Trans.Writer (from transformers-0.5.5.0) Control.Monad.Trans.Error (from transformers-0.5.5.0) Control.Monad.Trans.Reader (from transformers-0.5.5.0) Эйфер выпилили из трансформеров? Нашел на хакадже ее страницу, говорит должен быть

Except же

спасибо, попробую перепилить. вот так скачиваешь из инета примеры, и напильником потом требуется

примеру больше лет 10 что-ли?

вроде когда я начинал уже Except был

Как можно either прочитать как эйфер

насчет возраста примера не знаю. не страшно когда Эксепт уже есть, страшно когда при этом Эйфера уже нет

Его там и не было

А except помоложе 10 лет

https://hackage.haskell.org/package/either-4.4.1/docs/Control-Monad-Trans-Either.html

Этот пакет не transformers

может заодно научите как узнавать имена пакетов?

В 0.4 впилили , в мае 14-го

either-4.4.1

может заодно научите как узнавать имена пакетов?

Прямо в ссылке написано имя пакета

Научите как искать по конкретному пакету на хакадже

спасибо

Научите как искать по конкретному пакету на хакадже

Типа есть http://hackage.haskell.org/package/lens-4.16.1 , я хочу найти что-то конкретное там

Научите как искать по конкретному пакету на хакадже

index

каждый раз открываю какой-то модуль пакета, сверху появляется index, там уже понятно

[Index] ссылка. Раньше внизу была, теперь одумались и перетащили наверх

Постоянно пользуюсь

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

а никто не в курсе что вот с этой фичей произошло - https://twitter.com/GabrielG439/status/941813847349854208 ?

а, блин

на http://hackage.haskell.org/package/lens оно работает, а на http://hackage.haskell.org/package/lens-4.16.1 - нет

Как можно either прочитать как эйфер

тысячу лет назад так модно было, когда греческого не знали

каждый раз открываю какой-то модуль пакета, сверху появляется index, там уже понятно

на главной странице пакета перед списком модулей

Обращаюсь к коллективному разуму: где-то (в каком-то пакете для парсинга?) был парсер (хаскельных) строковых литералов или вообще настраиваемый парсер - можно было задавать символы, ограничивающие строки, эскейпинг, комментарии. Никак его не могу вспомнить, где это было. Нужен, как пример.

Parsec?

Думается, что имелся в виду полуготовый парсер, а не либа комбинаторов "собери сам" :)

Не всегда хочется велосипедить очередной разбор "строк" и переизобретать экранирование :)

ну полуготовый, да

я точно помню, что он был

прямо с возможностью настроить строки - '"' или '\''

и тп

я своих написал штуки четыре - пять, но все адхок и откуда-т надо выковыривать.

но я прямо помню, что он был, прямо вот почти то, что надо. в attoparsec нет

да, кстати. тут, кажется, есть: http://hackage.haskell.org/package/parsec-3.1.13.0/docs/Text-ParserCombinators-Parsec-Language.html

о, точно

и я об этом.

ERROR: S client not available

но кажется, я еще где-то видел.

что все так парсека боятся, прямжуть :)

парсек рулит, и в последних версиях даже не сосёт.

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

У парсека из зависимостей mtl, bytestring да text - всё это скорее всего есть и у других либ комбинаторов

Тормознутость тоже относительная. Мегабайты парсить может быть медленно, да. Но небольшие строки как раз норм

Вот Trifecta тащит за собой кучу всего, например линзы. Всё, как Кметт любит :)

Да даже у megaparsec зависимостей больше, чем у Parsec. И у attoparsec тоже

megaparsec сильно лучше, чем parsec

И по фичам, и по скорости

Так что выбирать parsec разве что по инерции/привычке

Обращаюсь к коллективному разуму: где-то (в каком-то пакете для парсинга?) был парсер (хаскельных) строковых литералов или вообще настраиваемый парсер - можно было задавать символы, ограничивающие строки, эскейпинг, комментарии. Никак его не могу вспомнить, где это было. Нужен, как пример.

parsec?

в парсеке есть, да.

ищем, где есть еще

надо в мегапарсек добавлять..

http://hackage.haskell.org/package/parsers-0.12.9/docs/Text-Parser-Expression.html

хотя тут выражение, я не язык

это для арифметических выражений, а не строковых литералов

хотя тут выражение, я не язык

^

@qnikst на завтрашний ITGM, надо полагать, ты тоже не идёшь?

неа

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

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

Что такое TMC?

Что такое TMC?

вернеее TLC TransformListComp

где его минусовать?

https://github.com/ghc-proposals/ghc-proposals/pull/157

Заминусовал

один человек одновременно и плюсанул и минусанул