https://habrahabr.ru/company/tinkoff/blog/323316/

thx

а иначе кому отдаётся сабскрипшн - непонятно

почему тебя это вообще волнует?

я не до конца понимаю спеку раз так, то я наверняка что-то упустил

просто реализуй паблишера

в общем, можно ли считать, что эта спека — что-то вроде монадных законов, и её корректная на 100% реализация подразумевается априори ?

https://github.com/reactive-streams/reactive-streams-jvm/tree/master/tck

о, круто, как-то не заметил эту штуку, спасибо

А можете подсказать, столкнулся с проблемой. Примешиваю трейт в несколько классов, в трейте находится набор полей, можно ли сделать так, что бы поля в трейте инициализировали единожды и в потомков ушёл один объект?

положить рядом с трейтом object компаньон и там держать синглетон инициализацию

trait AppConfig { val config = AppConfig.config protected val gamesInPool = config.as[Int]("nodewars.pool.games.count") protected val endpoint = config.as[String]("nodewars.endpoint") protected val prod = config.as[Boolean]("nodewars.prod") } object AppConfig { lazy val config = ConfigFactory.load() }

типа так?

Спасибо, не додумался через def прокинуть ссылку на синглетон

как вы тут код форматируете? сдедал через тройный обратные кавычки как в мануале написано а он обычным текстом...

def main

ну вот обратные

lazy val config = ConfigFactory.load()

хм

magic

отредактируй попробуй свое

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

а во затащщило, спасибо

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

можно

надо делать тройные бэктики

на отдельных строках перед и после

тогда ок

спасибо

abstract class Column { type T val data: Array[T] } abstract class Encoder[T] { val initialState: Seq[Column] def encode(t: T): Seq[Column#T] } можно ли как-то зафорсить, чтобы тип результата у encode был именно тем, что выдается от initialState ?

грубый пример использования: T = (Int, String) initialState = Seq(new Int32Column, new StringColumn) encode(...): (Int32Column#T, StringColumn#T) === (Int, String)

Тип колонок надо каждую отдельно сохранять

так неочень получится, потому что T находится внутри Column соответственно надо Encoder[T] переписать тоже на Encoder { type T }

в этом сниппете энкодер можно по-всякому менять а вот Column фиксированный (этот хак нужен)

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

а чем shapeless не подойдет? там как раз куча генераторов на case class которые все приведут к HList

а уж на HList можно писать какие там нужно типобезопасные преобразования

и тогда на initialState мапится Poly c нужными типами

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

ну вы там по сути изобретаете его часть

можно считать это ограничением, без шейплеса :)

ну тогда надо добавить implicit evidence в метод, чтобы связать T и Column#T

но это будет боль

/me ненастоящий сварщик

я не уверен, что это и с шейплесом можно, мб я хочу странного в частности, val int32Encoder = new Encoder[Int]() { override val initialState = Array(new Int32Column(...)) override def encode(t: Int) = { Seq(t: Int32Column#T) } } компилятор ругается [info] Int <: T( forSome { type T <: chdriver.core.columns.Column#T })? [info] Nothing <: Int? [info] true [info] Int <: chdriver.core.columns.Column#T? [info] false [info] false , что как бы логично

а если с другой стороны зайти, и вместо засовывания encoder в отдельный трейт - просто сделать его тайпклассом?

и определить для Int32Column, StringColumn etc?

я так и хочу :)

не, ты хочешь чтобы сделать для Seq[Column]

компилятор не осилит понять что там за Seq[Column] в общем случае

только усложняется это тем, что обьекты предметной области мапятся на несколько колонок — например, case class Foo(i: Int, s: String) может мапиться на Int32Column, StringColumn

только усложняется это тем, что обьекты предметной области мапятся на несколько колонок — например, case class Foo(i: Int, s: String) может мапиться на Int32Column, StringColumn

Ну дак это и получится product - то есть HList шейплеса

Можно конечно туплами разрулить, но это такое

Foo в данном случае - это Product, чтобы достать из него параметры типов - надо писать макрос или брать Shapeless

или попросить энкодер, который уже как-то будет сгенерен

meh

я бы взял макрос и не морочил голову, если не хочется shapeless

это не больно

не в боли дело, а в лишней зависимости, и усложнении джава апи

Джава апи и тайпклассы

как мне кажется, в методах initialValue: Seq[Column] и encode: Seq[Column#T] нет никакой возможности связать типами initialValue и encode

Джава апи и тайпклассы

вполне норм, просто ещё один аргумент к вызову метода / созданию класса

а макросы?

а если это еще и из джавы вызывать - то ой

БЕГN

ERROR: S client not available

гм, да, надо все как-то проще

или забить на джаву :)

я бы сделал комбо - сделал проще и забил на джаву

Система типов джавки тебя пошлёт куда подальше

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

shapeless - то, что тебе действительно надо если у тебя куча преобразований на case class

остальное будет или криво, или больно

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

Ну вообще не шибко сложно

variance

Да я вроде разобрался спс

https://github.com/marcinzh/skutek было?

https://twitter.com/milessabin/status/941248412862861312

шейплезз3, скала10

shapeless 3 на какой scala будет? 2.x или уже dotty?

а Miles уже рассказывал про shapeless 3 на каких-то конференциях?

Может он как Сысоев

Пилит втихаря уже много лет

И никому не показывает

в эту ветку последний коммит 2.5 года назад был :)

В закрытой репе

Лол

такой "к черту ваш опенсорс, будет shapeless enterprise версия по подписке, и точка!"

Пилит втихаря уже много лет

как лысый скалаз 8

И бэкпорты

https://twitter.com/LukaJacobowitz/status/941335776209571840

с scalax обычно быстро видео выкладывают

https://blog.toggl.com/wp-content/uploads/2017/04/toggl-how-to-kill-the-dragon-with-9-programming-languages.jpg

они там ничего не попутали про Cкалу?

https://twitter.com/LukaJacobowitz/status/941335776209571840

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

https://skillsmatter.com/skillscasts/11104-shapeless-is-dead-long-live-shapeless

вообще есть уже видео