ну там порядок аргументов другой

Точно, спасибо

Все пашет.

А кто-нибудь может тыкнуть в место в документации, где написано, как у нас проверяется, что Default signature matches non-default type signature?

а то у меня t repr s Int вместо repr s Int прокатывает при дефолтных кайндах, но потом в другом месте кайнды не сходятся

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

зачем специальная функция если можно просто liftA3 bool?

выполняются все 3 эффекта

ifM :: Monad m => m Bool -> m a -> m a -> m a ifM mc mt me = mc >>= \c -> if c then mt else me main = do ifM (read <$> getLine) (print 10) (print 20) print $ (ifM even succ pred) 10 -- 11

что-нибудь такое

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

так вроде речь про инстанс для ридера.

ну и у меня используется ридер-инстанс стрелки

а, ты типа к тому, что для ридера лишнее выполнения эффекта не страшно

это да, верно

Тут, конечно, все и так умные, но если что, то вот: https://www.manning.com/books/haskell-in-depth, скидка 50% до 8 июля по промокоду mlbragilevsky

А для стаpта пойдет? Какое-то пpимеpное понимание есть, но не более того. С ООП (Java, Kotlin) и паpодией на ФП (Scala) знаком, и знаком весьма неплохо.

А для стаpта пойдет? Какое-то пpимеpное понимание есть, но не более того. С ООП (Java, Kotlin) и паpодией на ФП (Scala) знаком, и знаком весьма неплохо.

Для старта лучше Learn Haskell for Great Good

Для старта лучше Learn Haskell for Great Good

Спасибо. А по-диагонали читается, или там концентpация инфоpмации ноpмальная?

Уж лучше https://anton-k.github.io/ru-haskell-book/book/home.html

Так может сами откроете и оценете? :) А то все время слушать чужие ничего не значащие мнения ни к чему не привидет :)

А для начала ещё и вот: https://www.ohaskell.guide/

Я на старте пользовался вышеупомянутой мною книгой и курсом от Дениса Москвина на stepik.org

А для стаpта пойдет? Какое-то пpимеpное понимание есть, но не более того. С ООП (Java, Kotlin) и паpодией на ФП (Scala) знаком, и знаком весьма неплохо.

Нет, для старта я рекомендую Get programming with Haskell, сегодня скидка на неё будет, кстати

это кстати в первой главе написано

ну или где-то вначале книги

Вот, кстати, скидка на обе книги https://www.manning.com/dotd

В 7.10 LambdaCase уже был?

В 7.10 LambdaCase уже был?

Да. Он появился в 7.6. Вот полезная ссылка по истории LANGUAGE прагм: https://ghc.haskell.org/trac/ghc/wiki/LanguagePragmaHistory

Чёт не хочет работать у меня на codewars

Вот, кстати, скидка на обе книги https://www.manning.com/dotd

запинить?

Можно! Тем более, что старая скидка сгорела

А у Manning «Deal of the Day»: можно прикупить одновременно Get Programming with Haskell и Haskell in Depth с промокодом dotd070918au!

опс, с нотификацией прицепил, ну ладно

И хорошо!

блин. отцепляй назад, но только в противофазе

(в ушах до сих пор звенит :)

Ого

А как по-вашему - liftA2 f1 f2 f3 или f1 <$> f2 <*> f3?

@bravit111 а когда планируется обновление меапа? а то всего 3 главы пока

@bravit111 а когда планируется обновление меапа? а то всего 3 главы пока

В среднем раз в месяц, но тут не только от меня зависит, я уже две главы написал на ~80 страниц, но их пока редакторы не читают.

а это сразу пишется на английском или на русском и потом переводится?

Предположу, что сразу на английском. Двойную работу делать не хочется

в примере опечатка? у symbol первым параметром должен парсер быть

а это сразу пишется на английском или на русском и потом переводится?

На английском

в примере опечатка? у symbol первым параметром должен парсер быть

Если для Parsec есть инстанс IsString, то норм. Предположу, что есть

Если для Parsec есть инстанс IsString, то норм. Предположу, что есть

я не вижу такого инстанса

всё проще

где такое определение?

https://hackage.haskell.org/package/parsec-3.1.13.0/docs/Text-Parsec-Token.html#v:symbol

Хотя м.б. это и не тот symbol, но в индексе хаддоки к Parsec, только этот есть :)

Вообще странно, это же геттер. Он должен принимать TokenParser первым параметром

М.б. пример - абстрактный?

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

> :m +Text.Parsec.Token > :t symbol symbol :: GenTokenParser s u m -> String -> ParsecT s u m String

Похоже примеры таки абстрактные

Т.е. "symbol ","", это просто "парсер некоего символа (не Char, а токена)

Или же это анахронизм из времён, когда парсер string назывался symbol (это тоже предположение)

Или же это анахронизм из времён, когда парсер string назывался symbol (это тоже предположение)

это очень похоже на правду. sepBy заработало, спасибо

как я и сказал - опечатка

опечатка, это sumbol. А symbol в роли string по всей доке в половине примеров

да я понимаю, просто точнее писать длинно :)

Интересно, а есть разновидность Literate Haskell, которая (хотя бы) тайпчекает примеры из Хаддока?

И вообще, жив ли Literate Haskell?

Жив

Интересно, а есть разновидность Literate Haskell, которая (хотя бы) тайпчекает примеры из Хаддока?

еть tintin https://github.com/theam/tintin#readme

Спасибо

Интересно, а есть разновидность Literate Haskell, которая (хотя бы) тайпчекает примеры из Хаддока?

примеры тайпчекает (и не только) doctest

+1 за doctest

есть foo:: Lens' a (Maybe b) и bar :: Lens b c, как сделать как скомбинировать сеттер что-бы в итоге view foo s == Just c?

а что он будет сеттить если там Nothing?

если взять вместо Lens' Traversal', то вроде как все композится

вот этот nothing и надо заменить на just

еще можно написать через lens штуку, которая будет кидать error когда надо посеттить в Nothing, но мне не нравится такое решение (недавно появилось в нашем коде)

погоди, как ты его заменишь на Just если ты знаешь только его часть?

а то в два шага не красиво.

можешь взять non чтобы задать дефолтное значение для b

типа foo . non defaultB . bar

ой, второе не bar не Lens а Prism

т.е. я конструирую значение b

те