Посмотри решения на хаскеле 6-5 кю. Там такие затейники есть

Вообще codewars народ юзает чтобы языку учиться. И у многих питон - первый язык

Я часто задачки 2 раза решаю - сначала своим умом, потом просматриваю чужие решения, беру лучшее и потом решаю ещё раз по памяти

Тестируешь память?

Других причин решать по памяти, а не по пониманию, нет

В смысле по памяти = не поглядывая в решения. Перевожу память в навык так сказать.

Посмотри, какое там решение в топе

Вот моя первая попытка: https://www.codewars.com/kata/reviews/5b0ce29de86c548f16000e76/groups/5b42309c6c7654379b000ce7 да, про id дефолтный я не подумал

Вот моя первая попытка: https://www.codewars.com/kata/reviews/5b0ce29de86c548f16000e76/groups/5b42309c6c7654379b000ce7 да, про id дефолтный я не подумал

Спасибо, использовать operators я не догадался

Кстати, есть такая функция в хаскеле choise pred f1 f2 x = if pred x then f1 x else f2 x?

ifM где-нибудь должен быть

Или ifA ?

Нет, нужно достать Bool из предиката

ifM в Control.Cond но в старой версии на codewars такого модуля нет

Хотя у меня оно в Control.Monad.Extra

Кстати, есть такая функция в хаскеле choise pred f1 f2 x = if pred x then f1 x else f2 x?

if' cond t e = if cond then t else e choice pred f g x = if' (pred x) f g $ x

http://hayoo.fh-wedel.de/?query=%28a+-%3E+Bool%29+-%3E+%28a+-%3E+b%29+-%3E+%28a+-%3E+b%29+-%3E+a+-%3E+b

Ха, походу я даже функцию правильно назвал

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

А мы продолжаем с Владиславом Сабановым разрабатывать движок текстовых игр. Сделали второй каст. (link: https://youtu.be/yjwSRfFjKnM) youtu.be/yjwSRfFjKnM

Что-то у меня liftA3 bool не тайпчекается

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

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

Все пашет.

А кто-нибудь может тыкнуть в место в документации, где написано, как у нас проверяется, что 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 страниц, но их пока редакторы не читают.

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

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

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

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

ERROR: S client not available

Если для 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 если ты знаешь только его часть?