согласен

я самый восточный, у меня +1!

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

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

скалатест умеет проверять компиляцию, типа "val a: Int = 1" should compile

я самый восточный, у меня +1!

пфф, у меня +4 ?

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

по-моему, она во всех известных русскоязычных списках чатов для программистов)

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

illTyped("""some code""") - будет попытка скомпилировать этот кусочек как часть именно того блока в котором ты его употребил( видит весь скоуп, переменные - как будто без illTyped это было написано). вторым параметром позволяет передать регулярку, которой должно соответствовать сообщение компилятора. Если кусочек скомпилился успешно или не скомпилился с другим сообщением - кинет ошибку компиляции

illTyped("""some code""") - будет попытка скомпилировать этот кусочек как часть именно того блока в котором ты его употребил( видит весь скоуп, переменные - как будто без illTyped это было написано). вторым параметром позволяет передать регулярку, которой должно соответствовать сообщение компилятора. Если кусочек скомпилился успешно или не скомпилился с другим сообщением - кинет ошибку компиляции

Спасибо

скалатест умеет проверять компиляцию, типа "val a: Int = 1" should compile

Он тоже в текущем скоупе проверяет?

Господа и дамы, остался один слот для доклада на Московский митап. Пишите мне в личку @fomkin или на почту aleksey.fomkin@gmail.com

Господа и дамы, остался один слот для доклада на Московский митап. Пишите мне в личку @fomkin или на почту aleksey.fomkin@gmail.com

а можно огласить какие доклады будут?

по ссылке ж написано

• Олег Нижник. Typelevel DSL для создания веб-сервисов

надо ехать посоны

А есть возможность в скале выводить ворнинг/ошибку на несовпадение типов в == и contains? А то я тут поменял в кейсклассе тип поля, и у меня всё скомпилилось, но все проверки сломались. Неприятненько.

А ворнингов при компиляции не было?

sed 's/==/===/g' ? :)

А есть возможность в скале выводить ворнинг/ошибку на несовпадение типов в == и contains? А то я тут поменял в кейсклассе тип поля, и у меня всё скомпилилось, но все проверки сломались. Неприятненько.

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

А ворнингов при компиляции не было?

не-а

sed 's/==/===/g' ? :)

Ок. А contains на что заменить? %)

А в wartremover нет такого флага?

exists(_ == )?

Господа и дамы, остался один слот для доклада на Московский митап. Пишите мне в личку @fomkin или на почту aleksey.fomkin@gmail.com

можно позвать Гамова рассказать про Scala API в хазелкасте?

А в wartremover нет такого флага?

в документации про contains сходу не нахожу, но им попробовать все равно стоит. Год назад как-то не взлетело. с того момента не использовал. Спасибо :)

• Олег Нижник. Typelevel DSL для создания веб-сервисов

я жду тебя

я жду тебя

воу воу изи

надо ехать посоны

ты на ? ?

ты на ? ?

может быть

может быть

сапсан бери, понравится!

можно позвать Гамова рассказать про Scala API в хазелкасте?

А он в Москве сейчас?

а можно огласить какие доклады будут?

• Анастасия Лиева. Big Data Science in Scala • Олег Нижник. Typelevel DSL для создания веб-сервисов

я уже прочитал

А он в Москве сейчас?

I don't know

но было бы классно

он попросит проголосовать пейпалом)

это новая модная голосовалка?

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

• Анастасия Лиева. Big Data Science in Scala • Олег Нижник. Typelevel DSL для создания веб-сервисов

Запись докладов я надеюсь будет?

https://www.youtube.com/watch?v=-2aMaAPQ35s - смотрел кто-нибудь?

Chris' Build Tool - лучший билд тул.

интересно, elegant builds - это совпадение, или не совсем?

Запись докладов я надеюсь будет?

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

https://www.youtube.com/watch?v=-2aMaAPQ35s - смотрел кто-нибудь?

Я смотрел. Доклад неплохой. Вообще, cbt выглядит многообещающе. Я его ооочень давно как-то трогал, онг был сырой сырой. А вот сейчас смотрю в докладе - там многое поменялось и стало лучше. Ну и чувак годно расскзывает про то, почему билд тулзы - это не так просто, как кажется на первый взгляд.

я до сих пор не могу для себя решить - нормальная это идея - целиком описывать билд стандартными средствами scala, или нет. как это будет работать для новичков - которые сам язык пока только изучают и наверное билд будут копипастой создавать. как билды будут разрастаться и розниться в зависимости от стиля написания в разных командах/проектах. в случае с sbt скажем, билды примерно похожи у всех - потому что DSL

но новички один фиг копипастой создают)

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

но новички один фиг копипастой создают)

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

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

самому столкнуться с проблемой.

декларативное описание в этом случае несколько выигрывает. видишь { "scalaVersion": "2.12.2" } - это как-то более интуитивно понятно, чем override val scalaVersion = "2.12.2"

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

Ну, мапа вполне понятная вещь для новичка

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

инстаграмм ты хотел сказать? а почему сразу в ютуб не транслировать?

В прошлый раз вроде и был ютуб

инстаграмм ты хотел сказать? а почему сразу в ютуб не транслировать?

Я хотел сказать перископ. В ютуб как-то заморочено было. В перископе тыкнул в приложение, они и работает.

Да в переископе плохо слышно и видно... это для всяких вечеринок где детали не важны

скаланы, а встречаются ли у вас выражения типа Future[Future[T]] или может даже большей вложенности Future[Future[..... Future[T]...]] ? если да, то как вы их плэйните Future[....Future[T]] => Future[T] ? )

скаланы, а встречаются ли у вас выражения типа Future[Future[T]] или может даже большей вложенности Future[Future[..... Future[T]...]] ? если да, то как вы их плэйните Future[....Future[T]] => Future[T] ? )

Никогда

ээ, flatMap ?

Future[Future[..... Future[T]...]] - по форме напоминает поговорку "когда рак на горе свистнет"

ээ, flatMap ?

флэтмап сам не дождется окончания вложенных фьюч)

только когда натуральные числа на типах реализовывал %)

флэтмап сам не дождется окончания вложенных фьюч)

??

Дождется

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

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

гадкие сайдэффектовые фучи

хотя погодите ка, вот о чем я val future = Future(Future(Future(Future(5)))) for ( r <- future.flatten){ r: Future(Success(Future(Success(5)))) хотя я хочу сразу r:Int = 5 }

да, дожидается. но не плейнится)

или не экстрактиться само, хз как лучше сказать)

future.flatten.flatten.flatten

future.flatten.flatten.flatten

одной функцией для любого уровня вложенности есть?

нет

одной функцией для любого уровня вложенности есть?

Нет, но пишется быстро, через индукцию

хотя погодите ка, вот о чем я val future = Future(Future(Future(Future(5)))) for ( r <- future.flatten){ r: Future(Success(Future(Success(5)))) хотя я хочу сразу r:Int = 5 }

вообще было бы круто. но я не помню чтобы доходил до уровня вложенности больше 2

я не помню, чтобы хоть раз писал flatten у фьючи

даже однократно

Нет, но пишется быстро, через индукцию

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

Нет, но пишется быстро, через индукцию

можешь накидать пример, что имеешь ввиду?

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

если написать x.flatMap(_.flatMap(_.flatMap(identity))) будет сейфово

если написать x.flatMap(_.flatMap(_.flatMap(identity))) будет сейфово

каким образом, если у тебя вложенные функции и на каждом flatMap ты идешь вглубь на уровень до того как выйдешь из предыдущего флэтмепа и приближаешься к стековерфлоу ?

каким образом, если у тебя вложенные функции и на каждом flatMap ты идешь вглубь на уровень до того как выйдешь из предыдущего флэтмепа и приближаешься к стековерфлоу ?

каждая функция в своём таске будет запускаться

каждая функция в своём таске будет запускаться

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

лучше расскажи как ты так умудрился завернуться

можешь накидать пример, что имеешь ввиду?

https://scastie.scala-lang.org/Odomontois/2MiX0xr2TpeHLXEwPQmgpw/2

??

https://scastie.scala-lang.org/Odomontois/2MiX0xr2TpeHLXEwPQmgpw/2

thx

вот пример со счетчиком уровня имплиситов https://gist.github.com/Rudogma/a4f6deaddd368e86676aacfea3dcda9a

лучше расскажи как ты так умудрился завернуться

если взять счетчик уровней имплиситов, то ноги растут из обработки большого потока разнообразных данных на всех этапах (порождение, отправка-прием, хранение, обработка, аггрегация) и там эксперементирую с тайплевел вещами (оттуда же растут трюки с переиспользованием стабов, потому что все должно быть более менее красиво, но все таки заточено на фрупут с минимумом мусора для гц). а для футурок - растет из прикладной хотелки, когда поднимаю микросервисы в пару строк и мне хочется за пару минут написать несколько строк и запустить в прод без тестов def apimethod(p1, p2, p3) = async(group-to-synchronize){ some code + return somefuture } // что естественно как минимум вернет Future[Future[ и возможно даже еще уровень, но уже гораздо реже конечно ]] это как бы все, что мне требуется для добавление одного микрометода в один микросервис и чтобы быть уверенным, что бизнес-логика синхронизирована относительно определенного положения звезд(комбинации параметров) на небе. просто требования бизнеса - адаптируйся и делай быстрее других или будешь позади)

а чем медленнее с помощью for писать? или я так и не понял кейса х)

а чем медленнее с помощью for писать? или я так и не понял кейса х)

как ты напишешь с фор для val f = Future(Future(Future(5))) ?

Future.fmap(Future.fmap(Future)))

я хочу понять, зачем мне писать val f = Future(Future(Future(5)))

я хочу понять, зачем мне писать val f = Future(Future(Future(5)))

как ты из этого получишь в конце пятерку?

как ты напишешь с фор для val f = Future(Future(Future(5))) ?

for{ level1 <- f level2 <- level1 result <- level2 } yield result

ну у меня просто не будет такого метода или чего-то еще, у которого будет возвращаемый тип Future[Future[Future[Int]]]

for{ level1 <- f level2 <- level1 result <- level2 } yield result

+

я вот может тож не правильно понял