\me посмотрел бы экранизацию "Learn you a Haskell"

Movie 43?

а экранизация Real World Haskell - нестареющая класика

Ну чё, давайте накраудфаундим на кинцо про хаскель.

Movie 43?

> «Муви 43» получил отрицательные отклики от критиков, многие представители кинопрессы назвали его «одним из худших фильмов последних лет». > три премии «Золотая малина» в номинациях «Худший фильм», «Худший режиссёр» и «Худший сценарий». За что вы так книжку-то :(

Ну чё, давайте накраудфаундим на кинцо про хаскель.

А что за сюжет предполагается?

"Learn haskell for a greater good" Во вселенной вахи. Синекожие тау хотят научить галактику хаскеллю, но повсюду натыкаются на неспровоцированную агрессию

Не знаю, но кинчик должен быть без сайдэффектов.

Ну чё, давайте накраудфаундим на кинцо про хаскель.

сидит комитет и фичи не одобряет

кик

12 разгневанных мужчин

но в антураже хаскеля

обсуждают тайпклассы

http://www.imdb.com/title/tt5878190/

обсуждают тайпклассы

Инстанс Foldable ((,) a)

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

и всё разрешает

я начинаю недолюбливать линзы fromOctets :: Cons s s Word8 Word8 => s -> JWK

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

Не знаю, но кинчик должен быть без сайдэффектов.

Кинчик начнут снимать, когда в кинотеатр придёт первый посетитель.

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

и услужливо завернут посетителя в монаду

является ли наблюдение фильма побочным эффектом?

Если фильм квантовый - точно является

А выход из пользователя зависит только от того, что он увидит на входе?

Если нет, то является.

нет, там еще внутреннее состояние пользователя надо учитывать

не хочу даже думать про выход из пользователя

Из старого жаббер-хаскель-чата: xxx> Мне одному от слова "coproduct" представляются акведуки, только с другим содержимым?

Всё ребзя, я меняю профессию https://hackage.haskell.org/package/monad-time-0.2/docs/Control-Monad-Time.html#t:MonadTime

Всё ребзя, я меняю профессию https://hackage.haskell.org/package/monad-time-0.2/docs/Control-Monad-Time.html#t:MonadTime

😆

там еще и целых два мейнтейнера

и несколько версий

в общем jose-jwt лучше чем jose потому что там нет вот этого вот

Всё ребзя, я меняю профессию https://hackage.haskell.org/package/monad-time-0.2/docs/Control-Monad-Time.html#t:MonadTime

будешь во времени перемещаться?

будешь во времени перемещаться?

через монадный трансформер - тардис

напомнило дзюцу из Наруто

нет ну сами посмотрите validateClaimsSet :: (MonadTime m, HasAllowedSkew a, HasAudiencePredicate a, HasIssuerPredicate a, HasCheckIssuedAt a, AsJWTError e, MonadError e m) => a -> ClaimsSet -> m ClaimsSet

А что нас сейчас модно для row-polymorphism?

А что нас сейчас модно для row-polymorphism?

пурскрипт

в хаскелле

Вот зачем там MonadTime m вместо того чтобы брать время аргументом?

Вот зачем там MonadTime m вместо того чтобы брать время аргументом?

нужно больше тайпклассов богу тайпклассов

Вот зачем там MonadTime m вместо того чтобы брать время аргументом?

может, оно там несколько раз берётся, и должны быть какие-то законы, например, монотонность времени

Оно тупо сверяет не протух ли токен. И законов у monadtime нет. В мастере есть инстанс ReaderT UTCTime

UTCTime → a тоже инстанс?

Нет

Недоработка

А что нас сейчас модно для row-polymorphism?

слишком общий вопрос

я начинаю недолюбливать линзы fromOctets :: Cons s s Word8 Word8 => s -> JWK

вот я только вчера линзы в контексте jose спрашивал

Дичь, да?

вообще ад

Ну у меня более ясного вопроса пока нет. Мне бы названия живых/полуживых библиотек

jose-jwt не умеет ECC :(

https://developer.okta.com/blog/2017/08/17/why-jwts-suck-as-session-tokens

судя по jwt.io jose самое нормальное

generic-lens живая superrecord и bookkeeper полуживые, rawr сгнил, есть правда его форк, который работает с 8.2 но он не на хекедже

а его ещё сервант использует в любом случае

@A64m_qb0 спасибо, пойду смотреть

https://localhost/why-random-blog-posts-with-funny-images-suck-at-everything.html

Оно тупо сверяет не протух ли токен. И законов у monadtime нет. В мастере есть инстанс ReaderT UTCTime

эх, просто передозировка классами

superrecord взрывает компиляцию с 10+ полей

ну вообще MonadTime может иметь смысл если время контролит что-то ещё

например идиотизм как в логгере

fast-logger

например миди-контроллер!

кстати да

https://localhost/why-random-blog-posts-with-funny-images-suck-at-everything.html

тьфу на тебя. не открылось в FF я тор октрыл и там пробовал.

некоторые такие библиотеки 10 полей вовсе не поддерживают

где время в IORef хранится и поток его обновляет, чтобы getCurrentTime на каждый чих не звать

например идиотизм как в логгере

можно контролировать идиотизм?

сомнительно

вон FPCO пытается контролировать его постами про то, как писать правильно

и всякие гонзалезы пытаются

у них правда иногда идиотизм underflow получается

надо не getCurrentTime в логгере вызывать, а getSystemTime

тогда можно не кэшировать.

в любом случае в линуксах это не сискол

разве?

Улучшенный сисколл, он не делает переключение контекста

в общем не важно, fast-logger делает прикольные вещи