+A написать у Lst

О том и разговор. Я пытаюсь понять, почему акторы догов сделали A вместо +A и как они с этим живут.

акторы догов, оговорка по Фрейду

ахаха

ну как-то же мы живем с инвариантным эреем в скале

О том и разговор. Я пытаюсь понять, почему акторы догов сделали A вместо +A и как они с этим живут.

видимо никак

ну как-то же мы живем с инвариантным эреем в скале

Эррей ж в принципе отдельная песня по исорическим и жвмным причинам

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

https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/IList.scala#L474

еще вот такое есть http://typelevel.org/blog/2014/03/09/liskov_lifting.html

Слишком сложно для меня

Мб кто-то хочет об этом рассказать на митапе? :)

Слишком сложно для меня

на SO в дополнение к case class Nil[A]() extends InvariantList[A] предлагают def nil[A] = Nil[A]() //чтобы можно было писать val xs = Cons(7, Cons(5, nil))

@fomkin в догсах там object List extends ListInstances { final def empty[A]: List[A] = El.asInstanceOf[List[A]] как раз вместо def nil[A] = Nil[A]()

тут вопрос в том, нафига это нужно? Выше была ссылка на статью, из которой обычному разработчику ничерта не понятно. Можно же как-то объяснить проблему, которую решает _инвариантный List_ в 2-3 предложениях на простом языке? Кроме того, после таких заголовков: "But IList[Int] isn’t a subtype of IList[Any]!" даже вникать как-то не особо хочется, слишком дешево.

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

У Григория норм аргумент был, похож на правду.

да проблема всё та же - инференс

ну мой пример слегка примитивен) но в целом это то что решает инвариантность; вот тот же пример, только сбоку trait A trait B extends A def foo(s: List[A]) = ??? foo(List(new B { })) // FU Такая штука случается с рдд в спарке, многие хотят видеть рдд ковариантой но она инвариантная. Есть ишшу на трекере

Скаланы, один слот для доклада на московский митап уже занят. Осталось два. Пишите в личку или на почту aleksey.fomkin@gmail.com.

а 26 число эт будний день?

А какой же еще?

ну может ты в субботу решил сделать)

кстати, а как сделать так, чтоб сбт вообще в ivi2 ничего не качал, а юзал только coursier

с курсиром свое хранилище онли, разве нет?

нет

там maven

sbt зависимости через ivy качаются

а

типа scala и все такое

https://gist.github.com/paulp/7e65b83691e917d823b023185f226a9c

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

но это венда и курсир себя там отвратно ведет

https://gist.github.com/paulp/7e65b83691e917d823b023185f226a9c

и что, нормально работает? без ivi lock?

и эт разовый скрипт?

да

ну он через coursier просто выкачивает нужные sbt зависимости

а , ну эт не тру

нет решения прям внедрить?

не встречал, честно говоря

кстати вроде бы в sbt 0.13.14 какие-то улучшения сделали для launcher-а

https://groups.google.com/forum/#!topic/sbt-dev/iu6qT12R6q0

> Offline installation. Using this requires native package update вот про это

но вероятно это тоже не тру

у меня вообще какаят жесть с кэшом

не понятно кто гонит, курсир или иви

а coursier стоит как глобальный плагин?

а ни у кого не было такого, что после использования ammonite что-то не так с scala зависимостями при сборке проектов? типа configuration not found for compile, или что-то в этом духе

решается rm -rf ~/.ivy2/cache/org.scala-lang*

нет, не как глобальный плагин

в каждый project сунут

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

а ни у кого не было такого, что после использования ammonite что-то не так с scala зависимостями при сборке проектов? типа configuration not found for compile, или что-то в этом духе

Было

я его так время от времени отключаю

Снес кэш айви чтобы запустить аммонит и потом еще раз чтобы все остальное заработало после него

ну вообще сносить кэш так себе решение

зачастую это самое быстрое

не весь кеш конечно)

а по какому критерию ты выбираешь

ну, после ammonite у меня sbt ругалось на конкретные артефакты - их и удалял

чет курсир тоже та еще поделка)

На джаве что-то молчание гробовое, извините за богомерский спринг )

но есть ли что-то говое чтобы прикрутить odata(olingo) к spring data jpa

?

готовое

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

ERROR: S client not available

я конечно видел вакансии скала+спринг но этот симбиоз за гранью разума

всем привет. Есть задача следующего весьма абстрактного содержания. Есть набор моделей (в нашем случае набор JSon) и есть некие процессы с ними связанные. также есть "каононическая" модель в которую мапятся все модели и их процессы. Необходимо реализовать этот маппинг и трансляцию моделей и процессов.

пока что есть видения привести все эти json к case-class это даст возможность опирирования моделями в терминах типов

также при парсинге JSON будет проведена валидация

а вопрос в чем?

пока что есть видения привести все эти json к case-class это даст возможность опирирования моделями в терминах типов

так держать!

мне кажется вам не обойтись без https://github.com/slamdata/matryoshka

она тоже весьма абстрактного содержания

вопрос каким образом правильно организовать маппинг между моделями? каими средставами генерировать case -class по данным json schema или лучше идти от обратного - сначала определить все модели в case-class.

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

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

это вам наверное в сторону шейплеса со скаламетой надо тогда

все ж из case class схему сгенерить будет проще)

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

браво, ни одной запятой!

скорее возникнут проблемы с подсветкой в ide

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

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

фу

есть circe же

он уже с шейплессом

есть пушка)

в тему про http клиенты, play-ws конечно standalone, но требует запустить actor system и выдать ему materializer. facepalm.jpg

Ох вей

.. а из зависимостей притащит столько https://gist.github.com/maizy/4d7d1536a03a4a7d7b99901e2ba1d860

а с какой версии play-ws на akka-streams?

ладно поконтрибьютим лучше в dispatch :)

вот тут добавили https://github.com/playframework/play-ws/pull/46

всё ради http модели из akka-http. https://github.com/playframework/play-ws/pull/46/files#diff-23397162cfb457b90d8439b42a4e8b5eR42

оу, я про akka-http пишу. стримы для чего-то ещё завезли

Знатоки акки, кто-нибудь испоьзовал artery для remoting'а? Достаточно ли стабильно уже?

ппц, coursier гдет coursierCredentials затирает