я лично надеюсь на universal container

это который в мезосе пилят?

это который в мезосе пилят?

угу

задача: запилить oauth2 провайдер. правильно ли я понимаю что самый верный путь - это взять https://github.com/nulab/scala-oauth2-provider/ и akka-http?

Да, он норм

Если изощрённой обработки не надо, тк он довольно плотно завязан на стандарт

угу, сам oauth2 по стандарту, сначала токен вообще под своё приложение, поэтому password grant flow только будет нужен. потом уже всякие client credentials подкручивать ну и на той же akka-http регистрацию по номеру и коду из sms. кстати, под такую регу готового ничего не нашел. может есть что, а я гуглил плохо?

меня только что осенило, зачем был proposal по введению приоритетных имплиситов. Забыл как они называются, когда предполагается только 1 реализация тайпкласса

есть некий TypeMapper[A,B] который создан в общем-то для перекодирования некоего A во вполне определенный конкретный B (т.е. каждый A 1 к 1 мапится в свой B). Реализовать это не-тайпклассом я по определенным причинам не могу. Но если я просто буду дергать def typeMap[A, B] (implicit tm: TypeMapper[A, B]) над экземпляром A, без явного указания типов имплисит найден не будет. Вот тут магия бы и пригодилась

меня только что осенило, зачем был proposal по введению приоритетных имплиситов. Забыл как они называются, когда предполагается только 1 реализация тайпкласса

coherence

да, спасибо)

есть некий TypeMapper[A,B] который создан в общем-то для перекодирования некоего A во вполне определенный конкретный B (т.е. каждый A 1 к 1 мапится в свой B). Реализовать это не-тайпклассом я по определенным причинам не могу. Но если я просто буду дергать def typeMap[A, B] (implicit tm: TypeMapper[A, B]) над экземпляром A, без явного указания типов имплисит найден не будет. Вот тут магия бы и пригодилась

это и без когерентности в текущей скале легко реализуется type member ом aka type family

Посмотри на весь шейплесс, всякие DepFn(0,1,2...)

Тип результата определяется зависимо от типов параметров

хм, пойду покурю, спасибо

В самом пулреквесте есть яркий пример MTL style, который очень страдает без coherence

В самом пулреквесте есть яркий пример MTL style, который очень страдает без coherence

это в скале или дотти?

это в скале или дотти?

Дотти, по моему. Но возможно там только issue рока

https://github.com/lampepfl/dotty/issues/2047

Суть в том, что зависимость между typeclassамми сейчас естественным способом описывается как подтип

Т.е. есть вот MonadReader[m, r] и она есть подтип Monad[m]

Так же как и MonadWriter[m, w]

Если ты потребуешь оба эффекта у тебя в скоупе будет два наследника Monad[m], какой из них использовать - непонятно. Суть решения в том, чтобы поклясться мамой компилятору, что именно та часть, что касается Monad[m] будет реализована в них одинаково и можно брать первый попавшийся инстанс

правда, приходит в голову кейс с IO\Async, когда flatMap в Applicative и Monad может быть разным

правда, приходит в голову кейс с IO\Async, когда flatMap в Applicative и Monad может быть разным

MonadIO ?

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

правда, приходит в голову кейс с IO\Async, когда flatMap в Applicative и Monad может быть разным

ap? у Applicative нет flatMap

да, его имел ввиду

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

Потому что ты знаешь, что они эквивалентны, а компилятор ругается на неоднозначность

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

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

да, его имел ввиду

В Monix есть параллельный и послежовательный инстансы Applicative для Task, но ты просто импортишь нужный тебе. Сам румын говорит об этом в ишью

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

вопрос тогда еще в том как определять эквивалентность

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

вопрос тогда еще в том как определять эквивалентность

Наследоваться от Coherent, или ещё как-то, напиши Мартину как

я не про реализацию, а про определение эквивалентности

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

с т.з. компилятора это будет аксиома, которую ему дает кодер

с т.з. компилятора это будет аксиома, которую ему дает кодер

это вот, дп

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

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

в каждом определении typeclass, но не при каждом использовании

Скаланы, проголосуйте пожалуйста за тикет https://youtrack.jetbrains.com/issue/SCL-11952, мелкий неприятный баг со скаламетой

Скаланы, проголосуйте пожалуйста за тикет https://youtrack.jetbrains.com/issue/SCL-11952, мелкий неприятный баг со скаламетой

почему у меня в 17.2 скала плагин сыпется на каждый чих?

Скаланы, проголосуйте пожалуйста за тикет https://youtrack.jetbrains.com/issue/SCL-11952, мелкий неприятный баг со скаламетой

там очень много таких моментов, что код красный

проголосовал

Надо репортить, я уже штук 10 зарепортил и все пофикшены кроме этого

Вот это тоже бы освежить голосами https://youtrack.jetbrains.com/issue/SCL-11320

А то написали что в 2017.2 пофиксят и забили

заведи чтоб doobie не краснил)

о, яростно плюсану

и slick не тормозил :D

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

заведи чтоб doobie не краснил)

там есть уже, поищи

там есть уже, поищи

более того, они уже что-то правили, но все равно краснит

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

более того, они уже что-то правили, но все равно краснит

А в дуби можно Properties драйверу передавать?

У вас краснянка

А в дуби можно Properties драйверу передавать?

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

в котах есть клевая штука для EitherT, называется transform[C, D](f: (Either[A, B]) => Either[C, D]): EitherT[F, C, D]. Есть ли такая штука в scalaz для аналогичного класса?

это вопрос к автокомплиту :)

Я обычно открываю воркшит и листаю автокомплит первым делом :) однако тут товарищ Моррис ответил, что такой штуки похоже нету. Это печалька

смахивает на bimap

не совсем. Скорее что-то типа biFlatMap.

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

doobie 0.4.1 intellij 2017.1.3 sql interpolator идея не видит :( у кого-нибудь есть такая же беда? писать .asInstanceOf[Fragment] бесит

угу, с дуби все красное. Судя по комментариям здесь, это норма.

/mode:troll со сликом такой фигни бы не было

значит рано я с дуби решил подружиться, пусть будет slick...

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

по-моему лучше забить на косяки идеи и жить с тем, что ближе сердцу. У меня почти весь проект со scalaz идея не кушает. Ну и фиг с ней, syntax highlight и компилятора хватает

Vim?

Eclipse?

ScalaIDE!!!

люблю идею за прыжки в сорсы. Без сорсов жизнь не представляю

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

или дуби переделают к тому моменту

или идею

вряд ли последнее — им там непрофитно развивать скалу

дуби даст дуба

его скурят

возможно не все знают, но doobie переводится как "косяк" (который с шалабасом)

дуби даст дуба

вместе со скалой. и все будем на котлине пилить или на гошечке?

кто на гошечке кто на идрисе разойдутся дорожки

?

Сейчас обудет несколько глупый вопрос, есть код https://pastebin.com/cZEutrUK , есть возможность как-то сделать так , чтобы companion object серилизовался нормально? Word2Vec сам по себе транзистент.

а он и так сериализуется норально; у тебя в окмпаньоне только функция определена

а он и так сериализуется норально; у тебя в окмпаньоне только функция определена

броадкаст спарковский не могет)

попробуй его явно попросить наследовать сериализацию

а что он не может сериализовать из компаньона?

используется kryo или джава сериализация?

используется kryo или джава сериализация?

жава

но я сам знаю, что буратино

а где валится на сериализации?

а где валится на сериализации?

при броадкасте

нее там типа ошибка сериализации будет

:D)

он он пишет что не сериализовалось; (если может)