недавно обнаружил, что extensible records из шейплеза удобно использовать для DTOх

ну я бы сказал бы порядка 80+% мне нравится насколько мы абстрагировались над типами конкретными

А тесты пишите на вот это все или они становятся не нужны?

пишется все; иначе эклипс убьет :D)

недавно обнаружил, что extensible records из шейплеза удобно использовать для DTOх

есть пример где нибудь на GH ?

https://github.com/danslapman/shapeless-play-json

А тесты пишите на вот это все или они становятся не нужны?

тесты нужны для бизнес логики

тесты нужны для бизнес логики

тесты всегда нужны

тесты нужны там где не могут типы

У нас много легаси скалаз и позиция сто "работает - не трожь" =) поэтому без тестов просто страшно

тесты нужны для бизнес логики

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

ну надо тестить инварианты агрегатов например

У нас много легаси скалаз и позиция сто "работает - не трожь" =) поэтому без тестов просто страшно

я по началу тоже боялся, потом перестал.

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

https://github.com/danslapman/shapeless-play-json

А чем это проще/удобнее кейс классов ?

расширяемостью полей?

возможность динамического response entity?

@notxcain опишу свой кейс: есть доменные объекты в базе и есть разные версии API, в которых набор полей НЕМНОГО отличается от версии к версии. Раньше приходилось делать MyAwesomeObjectV100500Dto, а теперь просто делаю record из доменного объекта, дописываю нужные поля и вуаля

а ну то есть типа domainObject.toRecord ++ customFields

да

чота так себе профит

килограмм абстракции за мелкую фичу

да не особо то и килограмм

ну есть второй вариант, объявлять DTO100500 плюс кастомные конвертеры через Generic

основная боль была в немеряном количестве DTO классов

ну ты ведь все равно делаешь type Dtp100500 = ?

или нет?

нет, не делаю

а как у тебя итоговое дто то получается?

ну как я понимаю тупо хардкод на месте

всё равно результат - это 10500 дто? или как?

нет, не делаю

а поля добавляются только опциональные при этом или любые?

я вот копаюсь иногда по либкам всяким скалячьим, я там вижу в основном портяночный шлак. Вот навскидку первое попавшееся https://github.com/playframework/playframework/blob/master/framework/src/play-ahc-ws/src/main/scala/play/api/libs/ws/ahc/AhcWS.scala Вопрос: почему они не по пацански поступают, позорят имя великого Одерского? Вобщем апологеты какие-то неправильные

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

тип итогового dto получается ad-hoc Hlist с чем-то там и его сжирает мой сериализатор

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

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

у меня вообще нигде теперь типы dto явно не объявленыъ

хардкод на месте, да

у меня вообще нигде теперь типы dto явно не объявленыъ

сами дто ведь написаны где-то? или они по волшебству или кодогенерацией делаются?

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

С чего ты взял?

описаны типами

описаны типами

пример можно?

С чего ты взял?

ну я наивный московский парень

выше была ссылка на ГХ

когда вмерджавт в 2.12 синглтон тайпс будет праздник для этого

когда вмерджавт в 2.12 синглтон тайпс будет праздник для этого

о, да

типы нужно явно описывать только для десериализации

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

код получается такой: val gen = LabelledGeneric[DomainObject] val entity = db.getEntity(...) val entiryRecord = gen.to(entity) val dto = entityRecord + ('awesomeProperty ->> 42) Json.toJson(dto)

какая часть спеки скалы позволяет написать подобное перечисление? type Book = Record.'author -> String, 'title -> String, 'id -> Int, 'price -> Double.T

это из shapeless

но блин иметь такое в роутере это не круто

это можно в сервисе делать, а не в самом роутере

а если делать в сервисе то return type какой?

прям весь F[Record.'author -> String, 'title -> String, 'id -> Int, 'price -> Double.T] ?

вроде того

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

Нооорм)

только вот это Record.'author -> String, 'title -> String, 'id -> Int, 'price -> Double.T - это макро-синтаксис, в реале тип выглядит страшнее

и самое приятное - это сериализуется примерно в 2 раза быстрее, чем кейс-класс с помощью Json.format

бенчмарк могу показать

если что, у меня там есть ещё либа для записи рекордов в reactivemongo

object Record extends Dynamic { def applyDynamic(method: String)(rec: Any*): HList = macro RecordMacros.mkRecordEmptyImpl def applyDynamicNamed(method: String)(rec: Any*): HList = macro RecordMacros.mkRecordNamedImpl def selectDynamic(tpeSelector: String): Any = macro LabelledMacros.recordTypeImpl } вон оно че

теперь все ясно)

ага, именно

для интересующихся идем сначало сюда http://www.scala-lang.org/api/2.12.0/scala/Dynamic.html понимаем что "Record.'author -> String, 'title -> String, 'id -> Int, 'price -> Double.T" преобразовывается обычным компилятором в Record.applyDynamicNamed("apply" (поскольку по дефолту), Seq('author -> String, 'title -> String )) и дальше уже работает макрос по обычным правилам без магии) а то меня вначале именно этот синтаксис смутил) Дэн, я в ведь ничего не напутал? )

есть у кого free algebra для работы с тикетам в джире под рукой? )))

тоже надо))

ERROR: S client not available

не, я похоже напутал. selectDynamic похоже все таки вызывается

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

недавно притащили cats в прод. норм :) используем для работы с монадными стеками восновном

https://github.com/danslapman/shapeless-play-json

Да, для поддержки разных версий api - нормальный вариант

а что именно поменяется в записи когда выкатят singleton types?

"author -> String, 'title -> String, 'id -> Int, 'price -> Double" - эта часть передается в макро как строка. ручками примитивно бьется по запяточке, потом на пары и дальше по сценарию. т.е. введение искусственного синтаксиса в итоге, который хоть в итоге и компилится в компайл тайм - но все же искусственная добавка.

тип сейчас: ::[labelled.FieldType[SingletonOps#T, String], ::[labelled.FieldType[SingletonOps#T, String], ::[labelled.FieldType[SingletonOps#T, Int], ::[labelled.FieldType[SingletonOps#T, Double], HNil]]]] после того, как смержат: "author" ->> String :: "title" ->> String :: "id" ->> Int :: "price" ->> Double :: HNil

таким макаром можно и json добавить в скалу в компайл тайм

таким макаром можно и json добавить в скалу в компайл тайм

ну json то редко бывает статическое значение

ну я скорее другое имел ввиду. просто иногда не хватает инициализации обьекта как в яваскрипте)

но конечно автокомплит идет лесом при таких свистоплясках, в том числе и в "author -> String, 'title -> String, 'id -> Int, 'price -> Double" и узнаешь только при компиляции, а это уже вполне серьезный камень в огород удобства

лично для меня)

автокомплит - да, но в моём случае это не принципиально, потому что эти объекты нужны только чтобы в json из запихать

хотя в новом проекте пробую и в базе их хранить, пока норм

идея, конечно, охреневает с таких дел

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

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

я дебажу макросы принтлнами

ну и macro expansion

советую перкулючить канал обновления на nightly

вполне сносно

а макро expansion откуда поставить?

а мы про новые макросы говорим или старые:

?

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

те что в shapeless это старые макросы, для них нету expansions AFAIK

ну вот( ну для новых тогда включу, все равно ковыряться буду)

а вот скажите чо, 2.12 уже вроде как полтора месяца вышла

она нормич? :)

я еще на 2.12.0-М5 пользовал - мне нормально было

вроде ж были там какие то регрессии со временем компиляции и прочее

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

ну и экосистема непонятно насколько подтянулась