@gamussa а зачем тебе стикеры со скалой были, ты что, сексист? https://twitter.com/SBozhko/status/807606052128694273

думаете это тайпчекнется?

а кто отжимает?

на котлине по факту никто не пишет

а стартапов где скала используется всё больше и больше

на котлине по факту никто не пишет

Пишут

Сам видел

всем привет, объясните плиз на пальцах чо происходит. http://pastebin.com/6ahjefvW Смотрим TreeSet lookup элемента происходит за log http://docs.scala-lang.org/overviews/collections/performance-characteristics.html спрашивается, что сложного запилить метод find который бы требовал логарифмическое время на поиск элемента. Какова хрена там линейное время?

сам допер: непонятно по какому полю я буду искать, поэтому метод find не может искать по сортированному полю в общем случае

господи, ну сколько можно… На мой взгляд тут нарисованы лезбиянки. Одна одевается как мужчина + 2 одеваются как "обычные" женщины. Меня лично это не уязвляет, а вот тех, кого это действительно уязвляет - подумайте над этим. Не хорошо быт ь гомофобом (а-та-та)

всем привет, объясните плиз на пальцах чо происходит. http://pastebin.com/6ahjefvW Смотрим TreeSet lookup элемента происходит за log http://docs.scala-lang.org/overviews/collections/performance-characteristics.html спрашивается, что сложного запилить метод find который бы требовал логарифмическое время на поиск элемента. Какова хрена там линейное время?

Ватс зе проблем? import scala.collection.immutable.TreeSet val xs = TreeSet(1, 2, 3, 4, 5, 6, 7, 8, 9, 10) xs.keysIteratorFrom(5).find { v => println(v) v > 5 } 5 6 res0: Option[Int] = Some(6)

Как думаете использовать ненаселенные типы в качестве контекста к type class это плохо пахнет? ) Например trait Encoder[Context, A] { def encode(a: A): Array[Byte] } class Foo[Context] { def bar[A : Encoder[Context, ?]](a: A) = ??? } Позволяет юзеру сделать несколько инстансов энкодеров для разных мест.

Фактически это тоже самое что разные имена тайпклассов )

type KafkaEncoder[A] = Encoder[ForKafka, A]

sealed abstract class ForKafka без инстансов

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

типа Encoder[Foo @@ ForKafka]

да теги тоже вариант конечно

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

надо в этом направлени покопать, посмотреть что получится )

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

А то у меня есть энкодеры для сохранение событий в журнал (протобаф) и энкодеры для паблишинга в кафку (Json). Вот и хочется нормально сделать

А ) ну да

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

я пока их не использую

пока нет аггрегатов требующих снэпшотттнг

можно же требовать Encoder[Foo] @@ ForKafka

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

так как можно что угодно требовать def foo[Context, F[_], A](implicit f: F[A] @@ Context) = f

foo[ForKafka, Encoder, MyEvent] )

ну да, выглядит ок)

хотя все это сводится к partial appllciation любых типов

о! пошла жара с аннотациями

а я-то все ждал..

@@ это же не аннотации

о! пошла жара с аннотациями

С какими аннотациями? Я их не вижу

доооо

окей окей :) не аннотации

тише-тише.

это теги

ну да :) совсем другое.

метааннотации

??

когда одной @ мало

ща вжухи пойдут

на помощь приходит вторая

чтоб подчеркнуть что это точно не аннотации

type @@[+T, U] = T with Tagged[U]

coconut

держите

ну да :) совсем другое.

ты жирный тролль ))

кормлю

так то все аннотации кроме рантайм значений

http://www.vlachjosef.com/tagged-types-introduction/

профнепригодный тролль мельчают мифические твари

http://www.vlachjosef.com/tagged-types-introduction/

В этой теме слегка напрягает две вещи. Во первых совершенно не понятно почему бы тэггинг не вынести в отдельный модуль. Не хочется тянуть шэплес только из за этой фичи на пример. Во вторых напрягает что когда мы делаем tag[User]("aFxtsa1s") инстанцируется новый и совершенно бесполезный экземпляр класса Tagger.

В этой теме слегка напрягает две вещи. Во первых совершенно не понятно почему бы тэггинг не вынести в отдельный модуль. Не хочется тянуть шэплес только из за этой фичи на пример. Во вторых напрягает что когда мы делаем tag[User]("aFxtsa1s") инстанцируется новый и совершенно бесполезный экземпляр класса Tagger.

И что лучше юзать для этих же целей?

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

В шейплесс вроде tag сделаны без лишних аллокейтов

ERROR: S client not available

А просто case class AccountID(value: String) вообще не вариант?

И что лучше юзать для этих же целей?

Мне само решение нравится. По крайней мере это лучше чем делали мы у себя в проекте - case class Id[+T](uuid: UUID) extends AnyVal.

Мне само решение нравится. По крайней мере это лучше чем делали мы у себя в проекте - case class Id[+T](uuid: UUID) extends AnyVal.

А чем решение с тегами лучше-то?

В шейплесс вроде tag сделаны без лишних аллокейтов

https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/typeoperators.scala#L26 Когда мы делаем tag[MyType]("myId") делается экземпляр Tagger.

А, я вот про это говорил https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/typeoperators.scala#L32

но да

можно было сделать через AnyVal

можно было сделать через AnyVal

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

foo: Unit ?

Tager(foo: Unit) extends AnyVal

:)

?

Можно было бы переписать как-нибудь типа object tag { private val theTagger = new Tagger[Any] def apply[U] = theTagger.asInstanceOf[Tagger[U]] trait Tagged[U] type @@[+T, U] = T with Tagged[U] class Tagger[U] { def apply[T](t : T) : T @@ U = t.asInstanceOf[T @@ U] } }

можно да

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

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

Вы в Королёве проводите чего непосредственно ?

А чем решение с тегами лучше-то?

Тем что без оберток. Этот вот UUID @@ User или там String @@ User это прям вот настоящие UUID и String. То есть если у тебя есть функция которая требует UUID тебе не надо будет делать user.id.uuid.

Вы в Королёве проводите чего непосредственно ?

Не понял вопроса.

Тем что без оберток. Этот вот UUID @@ User или там String @@ User это прям вот настоящие UUID и String. То есть если у тебя есть функция которая требует UUID тебе не надо будет делать user.id.uuid.

а что не так-то? у AnyVal нет оверхеда почти

или тут с эстетической точки зрения?

Если список, то энивалы боксятся

Что посоветуюте для SOAP клиента?

да только scalaxb есть вроде

Если список, то энивалы боксятся

В этом случае ок будет

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

Ну вы королевская компания, локальные митапы проводите какие?

да только scalaxb есть вроде

забава в том, что в wsdl тип описан как Int, а по факту посылается Long ? вот с этим scalaxb переварит или нет?

я б на месте scalaxb стековерфлоу кидал) ну попробуй; там протокол сгенерировать дело 5 минут

Ну вы королевская компания, локальные митапы проводите какие?

Не, только в мск.

а кто-нибудь встречался с проблемой: если есть тип T[A,B] и L <: HList, то implicit ops.hlist.Selector[L, T[A,B]] не находится, даже если явно указано, что L -- это T[A,B] :: T[A, C] :: HNil? при том если тип зависит от одного типа, то всё ок