А можно какой-нибудь минимальный пример, где они превосходят типоклассы?

"превосходят" например, в чём?

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

Например, по количеству бойлерплейта :)

ну например, простые вещи - нам нужно значения одних и тех же типов держать в map или еще каком словаре, но по разным ключам

в ocaml это просто решится передачей другой функции сравнения

нам же тут придется делать newype обёртки

Kirill, вот как можно избавиться от def https://gist.github.com/cblp/e7d930f30d10b144318305eb24d283eb

модули в окамл решают задачу модульности (!) и параметризации. в хаскеле же мы решаем эти задачи при помощи использования каких-то артефактов теории, при этом, как эти задачи решать правильно каждый решает для себя сам

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

всё это выглядит довольно костыльно.

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

TF DF - это что? Type/data ...?

ну это павертулс все-таки, думаю в хаскелле помощнее

type families / data families

type family/data family

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

тогда ничего не получилось, сейчас получается

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

Kirill, вот как можно избавиться от def https://gist.github.com/cblp/e7d930f30d10b144318305eb24d283eb

Дак это-то понятно, но там ещё на порядок больше всякой другой мишуры, стили, картинки, сводные таблицы и пр.

можешь нарисовать issue на предмет возможного избавления

сильной мотивации это сделать я не вижу

можешь нарисовать issue на предмет возможного избавления

может, нарисую, если мне когда-нибудь понадобится xlsx

абгемахт

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

объяснение проблем класса “не могу протипизировать в хаскелле” мне тоже плохо дается

из этого крайне сложно четкую картинку обрисовать, чтобы взять и объяснить кому-то

ну вот эти все практики - "как решать простые инженерные (ну или даже гуманитарные, если рассматривать это как специального вида литературу) задачи при помощи системы типов хаскеля" - они какие-то непрозрачные

где-то надо повесить плакат - Используй ScopedTypeVariables + опять забыл что - что бы бороть сколемы

кстати, повешу - вот опять забыл

Этот курс чем то лучше или хуже того, который в вышке читали? @bravit111

Сложно сравнивать, там процентов 80 одно и то же. Остальное не очень существенно.

мы лучше знаем что автор хотел сказать своим произведением!11

"Книга лучше"?

Так вот что авторы хотят сказать своими фильмами по книгам!

книгами по фильмам по книгам

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

HoTT тоже неплохо будет, наверное

\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 может иметь смысл если время контролит что-то ещё

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