да, понятно что tq мне не подойдет. мне нужно вручную создать какое-то аст и пихнуть его в подстановки в paramType. Вопрос в том - какое?

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

а я все чаще замечаю, что верно чатом ты ошибся...

не пропаганды ради, примера для

не пропаганды ради, примера для

Давай без политики

чувство юмора оно как ноги

вот полный пример - https://gist.github.com/anonymous/8039ba9e5b8fee018b5be1b65bac4b6f

чувство юмора оно как ноги

Не с той встал, и уже не в тему )

чувство юмора оно как ноги

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

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

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

ну не кормите же ))

не превращайте это в чатик про раст

вот полный пример - https://gist.github.com/anonymous/8039ba9e5b8fee018b5be1b65bac4b6f

похоже что ответ это Select(Select(Ident("java"), TermName("lang")), TypeName("String"))

очень хорошо, харизмат - я ему поверил

+1 очень классный чел, я даже ностальгнул по клоджуре

+1 очень классный чел, я даже ностальгнул по клоджуре

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

похоже что ответ это Select(Select(Ident("java"), TermName("lang")), TypeName("String"))

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

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

может быть он как Икар, подлетевший к солнцу?...

ну там же нужно два проекта соорудить. если что - https://github.com/scalamacros/sbt-example-paradise

интересно есть попроще способ собрать такое аст из строки?

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

похоже более правильное это Select(Select(Select(Ident("_root_"), TermName("java")), TermName("lang")), TypeName("String"))

похоже более правильное это Select(Select(Select(Ident("_root_"), TermName("java")), TermName("lang")), TypeName("String"))

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

может быть он как Икар, подлетевший к солнцу?...

говорят что это обрезаная версия доклада с clojure дс2 митапа

похоже более правильное это Select(Select(Select(Ident("_root_"), TermName("java")), TermName("lang")), TypeName("String"))

но можешь попробовать просто def in() = TypeName("String")

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

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

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

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

говорят что это обрезаная версия доклада с clojure дс2 митапа

Да у него там было 1.5 часа (было топчик)

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

Ага. У меня импорта не будет. Его никто туда не положит :)

Да у него там было 1.5 часа (было топчик)

а есть запись?

Ага. У меня импорта не будет. Его никто туда не положит :)

тогда там должно быть достаточно что-то типа def in() = tq"full.path.to.Item" , не обязательно ручками аст строить)

Не записывали ?. Ходите на СПб fprog митапы

тогда там должно быть достаточно что-то типа def in() = tq"full.path.to.Item" , не обязательно ручками аст строить)

да, но fullpath не известен в компайл тайм максроса и вычисляется при исполнении. по этому tq не подойдет.

да, но fullpath не известен в компайл тайм максроса и вычисляется при исполнении. по этому tq не подойдет.

тогда да. чистый тку не пойдет. но можно попробовать что-то в этом роде val ref1 = tq"hoho.poho" val ref2 = tq"bojo.mojo" val ref3 = tq"$ref1.$ref2" val ref4 = tq"$ref3.Bingo" ну и упрощать в зависимости от реального кейса в ту или иную сторону

Ага. Спасибо. Есть ещё typeOf если класс в класспасе компилятора

А жемчужина фпкон это конечно https://youtu.be/b-Eq4YV4uwc Надо было его на Кейноут ставить ?

Узнал человека - пару лет назад был у него на двухдневном воркшопе по devops. Правда он тогда про nodejs задвигал :/ но истории рассказывает интересно

Господа, а можно оффтоп? Почему шелл в линуксах такой хороший, а в винде cmd.exe так плох? И почему именно cmd.exe можно облагородить, но нельзя заменить (не будем про powershell)

Замена cmd.exe это полумеры :)

Господа, а можно оффтоп? Почему шелл в линуксах такой хороший, а в винде cmd.exe так плох? И почему именно cmd.exe можно облагородить, но нельзя заменить (не будем про powershell)

а винда не обратно-совместима разве?

Не записывали ?. Ходите на СПб fprog митапы

меня угнетают митапы начинающиеся в 19 вечера?

Замена cmd.exe это полумеры :)

Она не исполнима в винде ,как я понимаю

а винда не обратно-совместима разве?

с чем?

сама с собой cmd со времен доса еще не менялся

сама с собой cmd со времен доса еще не менялся

и 17-е

Ага. Спасибо. Есть ещё typeOf если класс в класспасе компилятора

вобщем завелся у меня проект. хз что было, но с чистого листа по ранее проверенным шаблонам как обычно взлетает норм) val ref1 = q"some.pac.hee" val ref2 = q"$ref1.man.hell" val out = tq"String" val in = tq"$ref2.Future[$out]" val paramType = tq"$in => $out" paramType выдаст _root_.scala.Function1[some.pac.hee.man.hell.Future[String], String] вот так в hell2 будет нужный селект. причем в реф1, 2 надо именно q"" ставить, иначе он там последний берет как man#hell например, что по сути дальше должно при компиляции стопорнуться на реальном кейсе val ref3 = tq"$ref1.$ref2" - комбайн двух динамик не прокатывает ни в каком виде (правда я не сильно долго пытался, но за пару минут ничего подобрать не удалось)

вобщем завелся у меня проект. хз что было, но с чистого листа по ранее проверенным шаблонам как обычно взлетает норм) val ref1 = q"some.pac.hee" val ref2 = q"$ref1.man.hell" val out = tq"String" val in = tq"$ref2.Future[$out]" val paramType = tq"$in => $out" paramType выдаст _root_.scala.Function1[some.pac.hee.man.hell.Future[String], String] вот так в hell2 будет нужный селект. причем в реф1, 2 надо именно q"" ставить, иначе он там последний берет как man#hell например, что по сути дальше должно при компиляции стопорнуться на реальном кейсе val ref3 = tq"$ref1.$ref2" - комбайн двух динамик не прокатывает ни в каком виде (правда я не сильно долго пытался, но за пару минут ничего подобрать не удалось)

спасибо! в твоем примере часть все-таки статически известна, а у меня все типы это полные имена классов. Фактически я ищу способ имея String получить значение для подстановки в тип в q макрос

спасибо! в твоем примере часть все-таки статически известна, а у меня все типы это полные имена классов. Фактически я ищу способ имея String получить значение для подстановки в тип в q макрос

так я показал как из динамики собрать)

так я показал как из динамики собрать)

да, но все равно нужно в структуру разбить. представь что есть просто val fqcn: String. Его никуда не впихнуть. Так?

да, но все равно нужно в структуру разбить. представь что есть просто val fqcn: String. Его никуда не впихнуть. Так?

конечно. ведь компиляторы так не работают) единственный вариант в таком случае это какой-то parseRaw match { Success match{ case Type case OtherHrenPoimiKakayaKonstruccia}, Fail }

ага. спасибо

да, но все равно нужно в структуру разбить. представь что есть просто val fqcn: String. Его никуда не впихнуть. Так?

если там именно fqcn - то по сути можно по быстрому val fqcn = "path1.path2.path3.path4.Future" val in = fqcn.split('.').toList match { case head :: tail => tail.foldLeft(q"_root_.${TermName(head)}"){ case (q, x) => q"$q.${TermName(x)}"} case _ => ??? } in = _root_.path1.path2.path3.path4.Future

вот блин, я опять запутался. Вот пока мы работаем с типами всё понятно и вроде логично, но как мы переходим к значениями (а все к ним незаметно переходят, никак это не оговаривая) опять начинается путаница.

На типах пишутся теоремы, а значения — это доказательства. Если из входных типов получилось сконструировать выходные (без шаманств типа throw, ???, reflection, кастов, потому что они за пределами того, о чём говорит изоморфизм Карри-Ховарда), значит соотношение между типами доказано. И доказательством может быть любое корректное значение.

Кстати вот сейчас завезут синглтон типы, а кто нибудь вкурсе можно ли будет без шаманства сделать 1 + 2 на уровне типов

И тут я случайно дошёл по реплаям до вопроса. Кажется мне, что вайтбоксом несложно любой const expr сделать

Ну по сути да

И тут я случайно дошёл по реплаям до вопроса. Кажется мне, что вайтбоксом несложно любой const expr сделать

Просто хотелось на уровне языка без плясок

Просто хотелось на уровне языка без плясок

А есть задача, где достаточно singleton int, т.е. можно обойтитсь без Nat и его более сложных бинарных вариантов, но асё же нужны операции над числами?

А есть задача, где достаточно singleton int, т.е. можно обойтитсь без Nat и его более сложных бинарных вариантов, но асё же нужны операции над числами?

Да хз, с ходу точно не скажу

Привет всем возможно ли как-то вернуть failure из ask, чтобы не было в http роуте вот такого безобразия entity(as[Question]) { question val qaFuture = (qaActor ? question).mapTo[Message] onSuccess(qaFuture) { case answer: Answer => complete(OK -> AnswerResponse(answer)) case error: Error => complete(BadRequest -> ErrorResponse(error)) } } case object Message case class Question(...) extends Message case class Answer(...) extends Message case class Error(...) extends Message case class AnswerResponse(...) case class ErrorResponse(...)

@a_beloglazov https://markatta.com/codemonkey/blog/2016/08/03/actor-per-request-with-akka-http тут вот есть варианты

Кто нибудь пользуется коннектором amqp из alpakka? Интересует насколько оно удобно в повседневном использовании

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

а теперь вот amqp нужен

Привет всем возможно ли как-то вернуть failure из ask, чтобы не было в http роуте вот такого безобразия entity(as[Question]) { question val qaFuture = (qaActor ? question).mapTo[Message] onSuccess(qaFuture) { case answer: Answer => complete(OK -> AnswerResponse(answer)) case error: Error => complete(BadRequest -> ErrorResponse(error)) } } case object Message case class Question(...) extends Message case class Answer(...) extends Message case class Error(...) extends Message case class AnswerResponse(...) case class ErrorResponse(...)

case object Message?

это ты к компаньону case дописал?

Чтобы в http руте не было безобразия, его можно вынести в метод

вынести в метод можно, мне сама семантика не нравится, можно сделать complete(future), но тогда я получу HTTP ответ с ошибкой в случае failure этого future, а у меня там не failure, у меня Future.success разных типов

ERROR: S client not available

вероятно ты знаешь, что для того, чтобы превратить failure в success у фьючи есть методы recover[With]

или transform[With]

вопрос - кто какими библиотеками для Play2.6 для аутентификации/авторизации пользуется? все время использовал play2-auth, но автор забил на поддержку и она уже не актуальная ответы типа "play не нужен" не пишите пжлста :)

вопрос - кто какими библиотеками для Play2.6 для аутентификации/авторизации пользуется? все время использовал play2-auth, но автор забил на поддержку и она уже не актуальная ответы типа "play не нужен" не пишите пжлста :)

https://github.com/nulab/play2-oauth2-provider в свое время юзабельная была на 2.5

https://github.com/nulab/play2-oauth2-provider в свое время юзабельная была на 2.5

Ок посмотрю спасибо UPD - посмотрел, это oauth2, мне нужна аутентификация в самом приложении по логину/паролю

Народ вам наравиться как звучит: "Иплицитный конструктор"? ?

иплицитный?

звучит неплохо.

Ну или как том иплисит

в чем тема то а то не смекну никак?

Да чет фатназия разигралась

Вот имеем мы там всякие классы которые в коструткор получаю стрингу

и вот наш стрига пролучает вагон имплицыдных методов "toЧто-то"

типа "hello".toSome

вместо Some("hello")

и?

Я что то должен добавить?

ну в чем соль то?)

Да как бы ни в чем, я же говорю фантазия играет

import scalaz._ "hello".some "hello".point[Option]

implicit def this(implicit foo: Foo)

Ой прикольно!

ну в чем соль то?)

Мартин троллит скалачат)

Ааа спалили)

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

Какой бы вам новый имплисит придумать? :D