а pricing узнали потом?

pricing индивидуально в зависимости от размера компании :)

pricing индивидуально в зависимости от размера компании :)

no compiler neutrality

no compiler neutrality

кстати, а чем там все закончилось? убрали NN, вот так просто, и все?

http://docs.paralleluniverse.co/quasar/ трогал кто ? интереса ради не споров для

http://docs.paralleluniverse.co/quasar/ трогал кто ? интереса ради не споров для

оно живое?

pricing индивидуально в зависимости от размера компании :)

вас устроил?

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

вас устроил?

конкретно в нашем проекте прироста не было, но в соседней команде были рады, даже пост написали https://jobs.zalando.com/tech/blog/achieving-3.2x-faster-scala-compile-time/

кек, я успел

Народ, а подскажите такой такой нубский момент. Есть внешняя система. Из нее прилетает Either[Exception, Any] Т.е. либо данные разных типов, либо ошибка. В обработчике соответственно dataFromService match { case Right(data) => case Left(error) => } В принципе все работает, но компилятор закономерно ругается на Any is unchecked since it is eliminated by erasure Вопрос такой, можно ли как-то указать обработчику тип получаемых данных Right(data) без ручного приведения типов через asInstanceOf ? что-то вроде def process[MyCustomType](dataFromService) или best practics тут опять матчить результат? data match { case d: MyCustomType => process(d) }

classTag?

но лучше сделать adt если знаешь какие данные могут быть

Нужно больше кода, чтобы что сказать

я не вижу где вот это может тут вылезти is unchecked since it is eliminated by erasure

dataFromService match { case Right(data) => case Left(error) => } вот здесь и вылезает

когда хочу что-то сделать с data

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

по идее не важнео что с data делать. главное что тип data неизвестен

в данном случае там приходит List[MyClass]

Но будут разные типы

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

dataFromService match { case Right(data) => case Left(error) => } здесь dataFromService имеет тип Either[Exception, Any] и как раз здесь ругается

Видимо это не весь код

> scala Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_112). Type in expressions for evaluation. Or try :help. scala> val dataFromService: Either[Exception, Any] = Right("") dataFromService: Either[Exception,Any] = Right() scala> :pas // Entering paste mode (ctrl-D to finish) dataFromService match { case Right(data) => case Left(error) => } // Exiting paste mode, now interpreting. scala>

вот если dataFromService пришел как Any

Видимо это не весь код

Конечно. Зачем весь код? проблема то описана.

Решение тоже

Конечно. Зачем весь код? проблема то описана.

Close, Can't reproduce

Дай минимальный воспроизводимый пример

Конечно. Зачем весь код? проблема то описана.

и ты получил решение в первом же ответе

и ты получил решение в первом же ответе

Где решение?

Если есть внешняя систеам, полагаю, из неё не может прилелеть "Any", из неё прилетает какой-то набор байт, который превращается в один из известных системе типов. Поэтому первый вопрос о десериализации. Второй вопрос о том, насколько сложные типы и насколько досканально ты хочешь верифицировать. Есть shapeless.Typeable, который умеет делать deep check, но всё зависит от того, насколько ты можешь себе позволить такую проверку

classTag?

но лучше сделать adt если знаешь какие данные могут быть

Где решение?

Дай минимальный воспроизводимый пример

Вот смотри. Я даю минимальный проект, ты получаешь это сообщение. Потом понимаешь, что проблема вовсе не в этом сообщении, так как вопрос не про него. Вопрос, как укзать тип, а не убрать это сообщение компилятора...

Пишешь весь версионно - независимый код в одном модуле, версионно- зависимые в отдельных модулях с соотв. зависимостями. Паблишь каждый раз оба модуля с постфиксами типа "0.0.1-2.5", "0.0.1-2.6"

здесь под модулями ты имеешь ввиду что? play модули или гит модули?

здесь под модулями ты имеешь ввиду что? play модули или гит модули?

твои собственные подпроекты

Если есть внешняя систеам, полагаю, из неё не может прилелеть "Any", из неё прилетает какой-то набор байт, который превращается в один из известных системе типов. Поэтому первый вопрос о десериализации. Второй вопрос о том, насколько сложные типы и насколько досканально ты хочешь верифицировать. Есть shapeless.Typeable, который умеет делать deep check, но всё зависит от того, насколько ты можешь себе позволить такую проверку

Да, все верно. Тип получается из Json. Но... неужели так важно из чего получается тип, который потом обрабатывается? Проблема то в другом.

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

Спасибо за ответ, Олег

lazy val common = project lazy val lib25 = project dependsOn common lazy val lib26 = project dependsOn common

понял, спасибо

Да, все верно. Тип получается из Json. Но... неужели так важно из чего получается тип, который потом обрабатывается? Проблема то в другом.

Да, потому что именно в этот момент ты находишь в своей системе очень конкретный тип, соответствующий JSON, а потом "забываешь его" и спрашиваешь - можно ли вспомнить то, что забыто. Ответ - стирание типов принуждает тебя в любом случае сложнее заранее известного мономорфного класса пробегаться по всем кишкам твоего объекта. Это может быть автоматизированно при помощи упомянутого Typeable или своего кастомного typeclass

Альтернативой было бы не забывать полученный тип, или хотя бы в момент, когда ты его ещё помнишь сложить рядом с Any TypeTag

Короч, это не сишарп

Альтернативой было бы не забывать полученный тип, или хотя бы в момент, когда ты его ещё помнишь сложить рядом с Any TypeTag

Это общий метод сервиса, который получает на вход case class Request, на выходе выдает Either[Exception, Any] Чтобы не забывать, надо будет описывать все варианты запрос => ответ, а это несколько сотен вариантов....

В некоторых языках, стоящих в развитие своей системы типов чуть дальше Go есть одна волшебная фича

Сам обработчик знает какой тип он ждет... например Either[Exception, List[String]]

Называется...

барабанная дробь ))

Она так никогда и не утихнет

Но даю подсказку

Она дважды используется вот этом выражении Either[Exception, List[String]]

П

Она дважды используется вот этом выражении Either[Exception, List[String]]

Очень смешно))

Это троллинг или Олег любит писать много букав

П

и

и

д

Ой все

Это троллинг или Олег любит писать много букав

Да я понял... оставь надежду всяк сюда входящий... ((

д

о

Пидохистоморфный препроморфизм

шах и мат гомофобы

Пидохистоморфный препроморфизм

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

но если гугл не знает, то не факт что его еще нет

ERROR: S client not available

если его написали, значит он уже есть

Недавно был пост типа хватит брать любое слово и добавлять к нему суффикс -морфизм

и поэтому ты добавил "хистоморфный"?

Да я понял... оставь надежду всяк сюда входящий... ((

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

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

Да нет его там.

Сергей, ну я очень старался, честно

classTag?

но лучше сделать adt если знаешь какие данные могут быть

Альтернативой было бы не забывать полученный тип, или хотя бы в момент, когда ты его ещё помнишь сложить рядом с Any TypeTag

а почему ты не можешь сделать с конкретными типами?

Сергей, ну я очень старался, честно

Не верю (с)

Сергей, ну я очень старался, честно

может быть даже слишком :))

но лучше сделать adt если знаешь какие данные могут быть

Уже писал. Не вариант описывать ADT на все несколько сотен случаев.

возможно бага телеграмма вырезает на некторых клиентах сообщения со словом ClassTag

Уже писал. Не вариант описывать ADT на все несколько сотен случаев.

в скале его все равно придется описывать. иначе ты получишь просто java script

возможно бага телеграмма вырезает на некторых клиентах сообщения со словом ClassTag

какое слово? /iqtest?

КлассТэг

Альтернативой было бы не забывать полученный тип, или хотя бы в момент, когда ты его ещё помнишь сложить рядом с Any TypeTag

Простеньки пример можешь показать, как положить рядом TypeTag ?

Он просто игнорирует ответы, как в "westworld" - Посмотри, здесь Typeable, ClassTag, TypeTag. Что ты думаешь? - Это ни на что не похоже...

возможно бага телеграмма вырезает на некторых клиентах сообщения со словом ClassTag

это бага в прокладке между рулем и сиденьем)

возможно бага телеграмма вырезает на некторых клиентах сообщения со словом ClassTag

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

не узнав для чего оно но всего лишь для всего

не узнав для чего оно но всего лишь для всего

42 бро

Он просто игнорирует ответы, как в "westworld" - Посмотри, здесь Typeable, ClassTag, TypeTag. Что ты думаешь? - Это ни на что не похоже...

ClassTag не решает ничего, так как в примере тип List[MyClass] оно не разрулит. Более тяжелые вещи вроде шейплеса тащить не хочется без крайней необходимости.

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

или бага других, не готовых пойти и прочитать про это слово

ClassTag не решает ничего, так как в примере тип List[MyClass] оно не разрулит. Более тяжелые вещи вроде шейплеса тащить не хочется без крайней необходимости.

поэтому там слева и справа ещё по слову

ClassTag не решает ничего, так как в примере тип List[MyClass] оно не разрулит. Более тяжелые вещи вроде шейплеса тащить не хочется без крайней необходимости.

го пробуй котлин

Классный эдит, тогда просто напиши себе send[T: Decoder](req: Request): Either[Throwable, T] вместо Either[Throwable, Any]

вообщем давай я резюмирую чем мы все смогли тебе помочь - если есть только Any, то уже ничем не помочь. нужно либо описать adt и передать adt вместо any, либо передать ClassTag, который будет в себе содержать информацию о классе. первый вариант предпочтительнее, потому что описывает твой домен, а не пользует информацию рантайма jvm для этого

Ради Typeable не нужно тащить shapeless, ты легко можешь сам написать узкоспециализированную реализацию

вообщем давай я резюмирую чем мы все смогли тебе помочь - если есть только Any, то уже ничем не помочь. нужно либо описать adt и передать adt вместо any, либо передать ClassTag, который будет в себе содержать информацию о классе. первый вариант предпочтительнее, потому что описывает твой домен, а не пользует информацию рантайма jvm для этого

Да, я в курсе, что ADT луддший вариант) Но как-то очень не хочется описывать несколько сотен кейс классов...

._.