gist поправлен

в нашем токсичном коммьюнити, ты не можешь просто придти и спросить помощь

ага, чтобы какой-нибудь фанатик не прилип :)

сначала ты выслушаешь, почему ты не прав

мб Майлс не прав, что создаёт объект каждый раз, ведь вся задумка в тэгах на уровне типов, а у него new Tagger - WTF?

у майлза не создаётся объект каждый раз

там тот же самый asInstanceOf в refined тип

аху*нный ответ есть еще варинты ?) If we are writing code in scala, it would be better to write the code which will use the language to its best. Moreover, I don't think pattern matching will make the code unreadable rather, it will make it more compact and readable

ну в shapeless обычно просто x: A @@ X = tag(a)

Разве это не x: A @@ X = tag.apply.apply(a)

https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/typeoperators.scala#L25

да, я выше это скопировал

ну там не создаётся ни одного нового объекта

ааа хотя я понял тебя

tag(a) - это вызов метода apply, который делает new Tagger[U], а потом у того вызов apply с передачей a

да, получается, что нужно писать val Something = tag[Something]

и потом Something(x) - вот здесь точно не будет новых инстансов

угу, наверное так и задумано, но мне больше нравится "Sheldon Cooper".@@[Username], где trait Username

и в параметрах методов (name: String @@ Username)

ну наверное, смотря на область применения

если теги - это для какого-то DI, лучше да, но если в scalaz стиле, где теги - это a la newtype

у нас сейчас в моделях сплошные extends AnyVal, хотим от них уйти на тэги после прочтения этой статьи: https://failex.blogspot.co.uk/2017/04/the-high-cost-of-anyval-subclasses.html?view=sidebar

тогда скорее type Sum[A] = A @@ Summing val Sum = tag[Summing] implicit def sumMonoid[A: Numeric] : Monoid[Sum[A]] = ???

ааа прости, не понял ссылки

ну вот даже по примеру миграции

получается, твой синтаксис требует переписывать Label(str) в str.@@[Label] в то время, как вызов функции работает с тем же синтаксисом

за счёт инференса - да

как насчёт https://gist.github.com/Tvaroh/a2fd772f7a66aaafc2ea48ce1fc3646d ?

а юзкейз какой у taggingExtensionsF ?

List[String] -> List[String @@ Username]

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

Т.е. Foo[Bar[A]] =:= A {type Tag <: FooTag with BarTag} =:= A{type Tag <: BarTag with FooTag} =:= Bar[Foo[A]]

List[String] -> List[String @@ Username]

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

будем изо всех сил стараться не обосраться :) благодарю за содействие

да не, я же тоже думаю себе такое сделать

вот надо найти подводные камни

К примеру BTreeSet[A : Order]

и какой-нибудь BTreeSet[Down[A]], где элементы будут в обратном порядке

как-то интересно можно сделать аналог type role в scala

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

хотя точн!... Leibniz - это же и есть Coerce

ты слишком много знаешь

Oleg нашёлся отличный кейс для @@@ (это объявление Encoder+Decoder для Circe): implicit def taggedEncoderDecoder[T: Encoder : Decoder, U]: EncoderDecoder[T @@ U] = EncoderDecoder.instance(_.asJson, _.as[T].@@@[U]) Для value classes для каждой модельки приходилось писать свой отдельный бойлерплейт.

т.е. ты сэкономил на создании одного инстанса Right

ну неплохо уже, неплохо

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

для type safety

определить кастомный encoder и т.п. всегда можно

конечно, можно это в LowLevel, а в более приоритетный написать свой

угу

правда, я тебя разочарую, при таком подходе у тебя на каждый вызов encode\decode будет заново генерироваться новый инстанс формата для врапленного типа, даже если у оригинального типа encoder\decoder был кеширован в val

т.е. синаксис - да, но я бы всё-таки не делал это имплиситом

да, лучше бы их конечно кэшировать

я лишь @@@ хотел продемонстрировать

можно прикрутить что-то потипу Scalaz Memo

упс https://github.com/circe/circe/issues/604

Фоточки тут с вчерашнего митапа разбираю

датафрейм держи

Коллеги, хочу абстрагироваться от Task

https://gist.github.com/zuynew/a150304d0949dbcc4a5d13ee475f1ca7

есть такой код

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

если абстрагируешься от M[_]: Async

ERROR: S client not available

class AB[M[_]](f: Int => M[Int])(implicit val F: Async[M]) { def calc() = Stream.emit(1).evalMap(x => F.start(f(x))).evalMap(x => x).runFold(0){_ + _} }

так работает

но как то это не оч

это что за Task, Scalaz?

Да вроде уже справился

Ваще fs2

тут про спарк говорят , а ты не пошел

правда они все на питоне делают

им проще коммитить в Спарк , чем на скале писать

Мнe б рассказали там за жизнь за датафрeймы

Они боятся жопы на скале, потому пишут пайспарке...

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

вокруг кого?

а как овкруг них спарк тусовка сложится елси они на питоне пишут

парни, нужно слушать некий api-url, по которому будут приходить обновления в json формате. Посоветуйте long polling либу для этой цели?

а как овкруг них спарк тусовка сложится елси они на питоне пишут

они сказали, что иногда приходится скалу использовать. Но вообще типа а вокруг кого еще (((

парни, нужно слушать некий api-url, по которому будут приходить обновления в json формате. Посоветуйте long polling либу для этой цели?

akka-http-circe

Oleg Спасибо

Интересную штуку на SOF придумали http://stackoverflow.com/documentation/scala

похоже на очередное вики

только с голосованием

Угу. Я надеюсь что там народ тусить будет.

А, ну и формат обновлённый. В вики, всё-таки, воды много, как правило.

парни, нужно слушать некий api-url, по которому будут приходить обновления в json формате. Посоветуйте long polling либу для этой цели?

Apache camel там компонент на любой вкус...

Но там убогий скаладсл

Например там интерполяция строк своя, нету тест хелперов, типы между процессорами не проверяются, короче типичный джава фреймворк

А, ну и формат обновлённый. В вики, всё-таки, воды много, как правило.

Поставь мне там лайков за определение монадки плиз ;)

http://stackoverflow.com/documentation/scala/4112/monads/14338/monad-definition

Хотел дописать про аппликативы функторы и все такое, но поленился ;(

Например там интерполяция строк своя, нету тест хелперов, типы между процессорами не проверяются, короче типичный джава фреймворк

Ну запихни все в один процессор и пиши там на чистой скале...