findOpponents[Id]

https://gist.github.com/ezhulkov/ceab9cdd355d66e0e4065984d613f076

А как можно в Скала Макро проверить тип (TypeTree) на соответствие ограничению (что он наследует определенный родительский класс)?

Отвечу сам себе: c.typecheck(classTreeToCheck, mode = c.TYPEmode, silent = true).tpe <:< typeOf[parentClassToCheckAgainst]

c.typecheck а это зачем?

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

tree.tpe <:< typeOf[A]

Нпе

чавооо?

https://gist.github.com/ezhulkov/ceab9cdd355d66e0e4065984d613f076

inferred type arguments [List[Int],Id] do not conform to method shuffle's type parameter bounds [T,CC[X] <: TraversableOnce[X]]

что логично

чавооо?

Попробовал только что заменить, получил npe

а код то какой в макросе?

что логично

ну вот он же догадался что (which expands to) List[java.util.UUID]

Его мнооооого

Ну сириусли. Я правда не уверен, может быть там не Tree, а TypeTree. Кто ж его знает

Почитал. Для Таска дистрибутив не напишешь, так же как и для функции траверс. Задача @nikitamatveenko не решается

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

есть ли какой-то способ запретить неявное преобразование в строковой интерполяции?

постоянно ошибаюсь с s"/my/path/$idWrapper и получаю /my/path/IdWrapper(1) :(

написать свой метод который будет брать только строки, а не Any

implicit class StringsOnly(val sc: StringContext) extends AnyVal { def S(args: String*): String = { sc.standardInterpolator(StringContext.treatEscapes, args) } }

ну это вариант, но по рукам других бить не будет :(

ну это вариант, но по рукам других бить не будет :(

Можно попробовать написать правило для scalawarts

можно передеф сменить)

жестковато :)

Как на скале выстрелить себе в ногу?

Как на скале выстрелить себе в ногу?

вызвать плюсы через JNI

sun.misc.Unsafe

Как на скале выстрелить себе в ногу?

val d:Option[Future[Int]] = null

вызвать плюсы через JNI

чем плохо то

Как на скале выстрелить себе в ногу?

Сразу почему-то в голову пришло наследование от кейз-класса

Сразу почему-то в голову пришло наследование от кейз-класса

но нельзя же

и никто не вспомнил Any => Nothing

Any => Unit

классику не знаешь

Простите, года два не трогал

и никто не вспомнил Any => Nothing

Nothing => Any

ERROR: S client not available

Nothing => Any

Это типа абсурд?)

Ага

Ага

Тонко =)

но нельзя же

Не знаю, где. В скале разрешается

Не знаю, где. В скале разрешается

Наследоваться от case class в скале разрешается ?

в 2.10 или 2.11 вроде можно было

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

на собеседовании попросят отнаследоваться от кейс класса и написать функцию Nothing => F[Any] => F[Nothing -> Any]

кеис класс от кеис класса вроде нельзя

кеис класс от кеис класса вроде нельзя

Скажем так что не гладко можно

Наследоваться от case class в скале разрешается ?

case class от case class с какой-то версии запрещён, а простой класс от case ты и сейчас можешь

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

на собеседовании попросят отнаследоваться от кейс класса и написать функцию Nothing => F[Any] => F[Nothing -> Any]

что за тип -> ?

тапл. ну да, так нельзя

(Nothing, Any)

Слишком просто