я не совсем пнимаю, в какой момент хинты  юзаются

кодек дерайвится когда

я стремлюсь короче к  тому чтобы , у меня был класс
abstract class ConfiguredSparkApp[Config: ConfigReader] {
 def job(config: Config): ZIO[JobStarter.baseEnv, Throwable, Unit]
 final def main(args: Array[String]): Unit =
   JobStarter.run[Config](args)(job)
}
чтобы как только я сделал
object ExampleApp extends ConfiguredSparkApp[ExampleConf] {...}
у меня все сгенерировалось автоматически с нужным хинтом

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

ну ты можешь ведь позвать у дерайвилки внутри класса метод instance

abstract class ConfiguredSparkApp[Config] {
 implicit val instanceReader: ConfigReader = derevoDeraivilka.instance[Config]
 def job(config: Config): ZIO[JobStarter.baseEnv, Throwable, Unit]
 final def main(args: Array[String]): Unit =
   JobStarter.run[Config](args)(job)
}

хотя я не уверен, что это сработает
так не сработает, но можно в эту сторону покопать

вот эта шляпа не работает тож (

abstract class ConfiguredSparkApp[Config <: (Serializable with Product)] {
 implicit def hint: ProductHint[Config] = ProductHint[Config](ConfigFieldMapping(CamelCase, CamelCase))
 implicit val reader = deriveReader[Config]
 def job(config: Config): ZIO[JobStarter.baseEnv, Throwable, Unit]
 final def main(args: Array[String]): Unit = {
   val configParser = new JobConfig[Config]
   JobStarter.run[Config](configParser.parseArgs(args))(job)
 }
}

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

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

язык то молодой

либы тоже

спарк рефлектом выводит ну

там ж своя машинерия

тут по идее в общем случае для некого неизвестного тебе типа Config никак не вывести ридер

для этого тайпклассы и нужны, чтобы снаружи тащить реализацию

уверен?

там шейплесс

ну покажи про что ты

а то млаоли какие кодеки спарк выводит