А есть какие-то хаки, что бы везде не писать теперь unwrapAndStringify @CAST_TYPE ...?

так ему неоткуда узнать к какому типу кастить иначе

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

все зло от show

ну или не coerce я что-то из generic-lens/lens использовать

но его тоже можно взять из парметра функции, которая unwrapAndStringify использует

chatId' = unwrapAndStringify @ChatId ... Error: Couldn't match representation of type ‘b0’ with that of ‘Integer’ arising from a use of ‘unwrapAndStringify’

ну или не coerce я что-то из generic-lens/lens использовать

ну да, линзой на первую позицию можно из любой обертки с дженерик инстансом доставать

контекст

Всем привет. Есть ли в Haskell способ сделать деструктуризацию значения из конструктора полиморфно? Хотелось бы вместо этого: chatId' = (\(ChatId id) -> show id) . chatId . messageChat <$> mСделать что-то вроде этого: chatId' = show . UNPACK_CONSTRUCTOR_FN . chatId . messageChat <$> m

@js_monk chatId' = show @Integer . coerce .charId . messageChat <$> m не работает?

Так работает

отлчино

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

ты выше просишь привести к @ChatId

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

с type applications понимаешь как работает

Не особо

надо рассказывать?

ну это как во всех языках с параметрами типов только вместо foo<_, Bar, _> будет foo @_ @Bar

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 их просто зажёвывает :)

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

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