https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-TypeApplications

порядок параметров указывается в forall

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

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

Спасибо большое

?

А как так может быть, что в do-нотации не выполняется одна из функций(в дебаге не заходит туда даже)? ShouldBeDeleted msg -> model <# do fetch $ deleteMessage msg fetch $ banUser msg return NoOpНе заходит в banUser

Я так понимаю это из-за ленивости

Но не пойму как это фиксить :С

это функции из какой библиотеки?

На первый взгляд выглядит как из либы для элм-лайк телеграм-ботов физрука

вряд ли там лень будет пропускать монадные действия

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

или функция banUser не реализована

NoOp выглядит как-то подозрительно

Все самописное

Хмм, просто когда я их меняю местами, у меня banUser вызывается, а deleteMessage - нет

instance Monad тоже самописный?

что за Monad там используется?

Нет, ‘ClientM’ из Servant

а fetch откуда?

(или лучше как debug отладка сделана была(

т.к. у servant нормально с выполнением такого

Это fetch fetch :: ClientM a -> BotM () fetch a = void $ liftClientM $ aА дебажил с помощью ghci

Ох

вот, BotM а не client M

Опростоволосился :( Монада то не ClientM а BotM

откуда BotM и какой у него инстас monad

это бот физрука

но с ним все ок

Бибилотека telegram-bot-simple, а BotM: newtype BotM a = BotM { _runBotM :: ReaderT BotContext ClientM a } deriving (Functor, Applicative, Monad, MonadReader BotContext, MonadIO)

Почему физрук? :D

ну посмотри автора либы на гитхабе:)

@fizruk31337

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

Забавно

страннота

но, я бы дебажил через Debug.Trace.traceM

Новых фич так мало, что я теперь отслеживаю даже нанофичи ### Allow (unparenthesized) kind signatures https://github.com/ghc/ghc/commit/bace26aadaafa4064e78f9ed088c1e2217221acc https://phabricator.haskell.org/D5173 [t :: MyKind] (a :: k, b) ### Parse the (!) type operator and allow type operators in existential context https://github.com/ghc/ghc/commit/bd7898537768f936d05c0c83eef1cd9b00933347 https://phabricator.haskell.org/D5180 class a ! b data D4 = forall a b. a ! b => D4 !a !b

А как так может быть, что в do-нотации не выполняется одна из функций(в дебаге не заходит туда даже)? ShouldBeDeleted msg -> model <# do fetch $ deleteMessage msg fetch $ banUser msg return NoOpНе заходит в banUser

Есть подозрение что после того как удалил юзера нельзя забанить

Надо доки почитать

Может там ошибка возвращается от вам телеграмма

Так я не юзера удаляю, а его сообщение

некоторые формы бана удаляют все сообщения кстати

во всяком случае если человек банит

При дебаге просто пропускается строчка со второй функцией и сразу идет в return

:C

При том, что сообщение/или юзер удаляются("или"- потому что я менял местами их и смотрел в дебаге)

сделай traceM

Оу

Он даже в return не идет

Вызывает banUser и все

может исключение какое?

Но оно бы тогда отписало в терминале, правда?

наверное, но это не точно

зависит от того, что model делает

про исключения напомнило о том как acid-state их просто зажёвывает :)

да, такое бывает

И как их отловить, если они зажевываются?

ну сначала проверить зажевываются ли

вообще странно если это сгенерированное сервантом код то не должны

И как их отловить, если они зажевываются?

яб форснул явно шаги для начала, через evaluate

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

ClientM это ExceptT IO

ну Handler тоже

если оно там все сверхленивое, то и deleteMessages незачем выполняться

хотя у меня нигде подобное поведение не наблюдается

а зачем вообще существует ленивое IO?

итеративность бесплатно

lazy IO тут вроде непричём

но поведение выше это не ленивое IO

ленивое IO это readFile

например

когда ты получаешь на выходе "строку" а по факту читаешь файл по надобности

ленивую "строку"

да

слушайте, а если я вызываю FFI функцию, которая внутри запускает свой event loop и управление назад в хаскель не отдает, ее можно как-то прибить асинхронным исключением из другого потока?

можно знаешь что?

@maksbotan есть interruptible

что interruptible?

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ffi-chap.html#interruptible-foreign-calls

посмотри как это там сделано

вообще чаще у event_loop есть свой API

ну у меня такой код withAsync foo $ \t -> link t runUI

хочется, чтобы когда foo кидал исключение, runUI бы умирал

для этого я вписал link

но не работает, потому что runUI вызывает FFI, из которого нет возврата

можно запустить свой хендлер, который вызовет exit евент лупа если foo сдох...

что лучше, это или сделать interruptible?

зависит от того, что там в runUI

QCoreApplication.exec там

после всяких настроек

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

если умирать, то interruptible - ok