От эрора хорошего не жди

Когда нужна причина - либо throwM, либо Left MyError

Maybe для ошибок типа "ок или не ок"

я просто провожу аналогию

ну в общем, ты понял

а есть какие-нибудь либы для IO, которые возвращают исключения через Either?

Так это

try

Из прелюда прямо

Или лучше всего использовать MonadThrow

Пакет exceptions

ок, посмотрю

у меня, кстати, есть вопрос

Оборачиваешь в EitherT SomeException IO

Во это да

И разве что асинхронные исключения пройдут

я не очень хорошо знаю хаскель, знаю монады, совсем немного представляю как трансформеры работают. задача из жизни: мы читаем из файла конфиг и держим в памяти, подписываемся на редис канал и каждый раз когда в канал приходит сообщение мы считываем файл конфигов еще раз и обновляем содержимое памяти. решал я ее на NodeJS и решается она довольно просто. дело в том, что с моими знаниями хаскеля, я не представляю, что тут делать, а задача весьма реальная и касается изменения глобального стейта. как ее можно решить в хаскеле?

А в чем проблема?

Берешь либу для работы с редисом

Берешь TVar или MVar

И пишешь клиента для редиса

Хранилище конфига: TVar MyConfig

Все что тебе нужно делать - получить сообщение и выполнить простую функцию "прочитал и распарсил файл, записал в TVar"

Все зависит от того, какой интерфейс у клиента редиса в либе. Я не в курсе.

Просто хаскель это не go в котором можно не разбираясь сейчас вечер напилить что-то

ок, то есть про TVar покурить, так?

Задача и вправду не сложная если знать конкарент либы

ок, то есть про TVar покурить, так?

Про MVar, TVar, чтение файлов и парсинг (если кастомный формат; с JSON и YAML все просто). Ну и доки либы для работы с редисом, конечно

ок, спс

ребят, подскажите как с монадами сделать такое f :: (Monad a) a -> a -> m a нужна функция которая будет рабать так g f a b = g f b (f a b) конечно надо еще что бы и останавливалась на определенном шаге

пытался запихнуть все в пару, что бы f :: (Monad m) => (a,a) -> m (a,a) тогда получилось бы нужную g создать фолдом

но возникли сложности

или может подскажите, как монаду внутри пары вынести вовне

компилятор ругается на строку 63

в zs приходит тип Diagonal

f :: ( Monad a) => a -> m a f = return

Ничего не понял, монаду внутри пары вовне -- это (m a , m b) -> m (a,b) ты хочешь?

Ничего не понял, монаду внутри пары вовне -- это (m a , m b) -> m (a,b) ты хочешь?

да

foo (ma, mb) = do a <- ma b <- mb return (a,b)

Наверно и поэлегантней есть, но суть вроде такая

foo :: (Monad m) => (m a, m b) -> m (a,b) Тупл по вкусу

А еще ты похоже хочешь функцию a-> a -> a

Это аппенд из моноида

нужна вот эта g f a b = g f b (f a b) но с остановкой

получилось! создав такую функцию

спасибо )

Всем привет! У меня маленький вопрос. Есть список предикатов, надо проверить, что все они верны на каком то значении. Я вот так сделал. Работает. Но есть подозрение, что есть какой то способ проще. Заранее спасибо checkLaws :: Log Int -> Bool checkLaws ml = and (map (flip ($) ml) [checkLaw1, checkLaw2, checkLaw3])

checkLaws ml = all ($ ml) [checkLaw1, checkLaw2, checkLaw3]

Logger1.hs:42:1: error: • Couldn't match expected type ‘Bool’ with actual type ‘Log Int -> Bool’ • The equation(s) for ‘checkLawsTest1’ have one argument, but its type ‘Bool’ has none

Неа ;-)

Не проходит)

а у checkLaw1 какой тип?

checkLaw1 :: Log Int -> Bool

тогда странно

Prelude> checkLaws ml list = all ($ ml) list Prelude> :t checkLaws checkLaws :: Foldable t => a -> t (a -> Bool) -> Bool

а лог это шо такое

Так, разобрался

Спасибо!!

Дейстивтельно работает, не тот кусок закомментил

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

Это из него задания

) я его тоже проходил

Когда там продолжение, вроде обещали

весна 2017 насколько я понял

Если у них там все ок будет

Я когда он шел не успел, и сейчас прохожу

я не успел с отличием получить

вот надеюсь покруче курс будет с трансформерами

монады после 10 лет явы с трудом в голову входят ;-(

сейчас тоже с монадами воюю, но явы за плечами нет

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

[last news] A Haskell web framework

Ох, я открыл йесод, сгенерил скаффолдом поиложение, зашел в сгенеренный код и закрыл йесод)

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

Слишком кривой или слишком сложный?

Слишком много всего было для моей маленькой задачи. Мне там одного WAI с варпом, по идее, должно хватить

yesod это ашина для уничтожения человечества

что угодно проще чем есод

+ъ

@qnikst а что с подкастом стало?

всем лень рома ушёл в machine learning, а никто особо не хочет брать на себя обязательства про запись сведение и т.п.

это если совсем честно

ясно

Жалко

вас было круто слушать

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

Я просто сгенерил yesod-sqlite проект, открыл Application.hs, а там в комменте:

-- We need a log function to create a connection pool. We need a connection -- pool to create our foundation. And we need our foundation to get a -- logging function. To get out of this loop, we initially create a -- temporary foundation without a real connection pool, get a log function -- from there, and then create the real foundation. let mkFoundation appConnPool = App {..} -- The App {..} syntax is an example of record wild cards. For more -- information, see: -- https://ocharles.org.uk/blog/posts/2014-12-04-record-wildcards.html tempFoundation = mkFoundation $ error "connPool forced in tempFoundation" logFunc = messageLoggerSource tempFoundation appLogger

После этого я решил, что, пожалуй, пока нет)

да я тоже бы был непрочь поболтать, но резать это все это не охота

@qnikst а есть чат про TT/agda/idris/coq/etc?

я не видел, но если найдете - расскажите мне

я не видел, но если найдете - расскажите мне

Ну если тут не знают, то наверное его и нет. Просто не так много людей, кто этим занимается, а тот факт чтобы были они в телеграме совсем мал. Думал что от gitter/ruHaskell чего-нибудь отпочковалось в этом направлении.

нет. скорее в haskell-learning slack

или прочих слаках

А рекламировать можно? http://typetheory.ru Если кто-нибудь знает какие-нибудь другие материалы на русском, то буду рад добавить.