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

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

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

А можно пример или в доках/коде шейплеса где про это написано.

Можно как-то описать трейт и потом чтобы шейплесс его наполнил, как-то так?

смотри в сторону LabeledGeneric

смотри в сторону LabeledGeneric

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

и никакой рефлексии на рантайме

Ну да, как я понимаю, что это оно и будет.

в инстансе тайпкласса ты будешь вызывать foo

Т.е. структурные типы самой скалой в определенных кейсах компилируются?

Как я понимаю LabelledGeneric только с кейсклассами может работать, т.к. ReprTypes имеет только одну имплементацию CaseClassMacros: https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/generic.scala#L286

а, хочется не кейс классы

https://scastie.scala-lang.org/MqgV2xNMSHGLKhsl9Yideg

Так тут те же рефлективные методы, но внутри тайпкласса. Или нет?

Так тут те же рефлективные методы, но внутри тайпкласса. Или нет?

ну я и говорю что без вариантов

тогда макросом изи

Да, тупо напишу макрос с этим единственным методом и все. Благо у меня уже есть отдельный проект ради всяких макросов. Всем спасибо!

Ну дак с этого и надо было начинать :)

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

либо наоборот

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

Ну шейплес только для сильных духом, для тех кто любит помедетировать на компиляцию

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

Почему "ламбда", а не "лямбда"?

Почему ява, а не джава?:)

Почему "ламбда", а не "лямбда"?

биткоин биткойн

Имея в виду 12 скалу. Этот тапйкласс ведь по факту почти просто лямбдой будет, может там как-то invokeDynamic или типа того ? Не ?

Главное чтобы не "войн" вместо "воин" :^)

Имея в виду 12 скалу. Этот тапйкласс ведь по факту почти просто лямбдой будет, может там как-то invokeDynamic или типа того ? Не ?

implict val fooKorolev: Korolev[Foo] = deriveKorolev

Чтобы в одном скоупе часто не искало есть не очень стабильное https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/cached.scala

Ну да.

Вообще ведётся общая дискуссия про когерентныеи тайпклассы, возможно она и приведёт к тому, что компилятор научится кешировать найденные инстансы build-wise https://github.com/lampepfl/dotty/issues/2047

вообще методы вызываемые на structural типах и так кешируютя

я бы купил ради обложки

они на MethodHandl'ах - они и кешируются

есть что посвежее из книг сейчас, что стоит вместо этой ? 30 лет книге как никак

О чём?

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

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

там же овердохрена тем о формализованном что-то

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