Scala experimented with type providers, but it looks abandoned: https://docs.scala-lang.org/overviews/macros/typeproviders.html https://docs.scala-lang.org/over

Scala experimented with type providers, but it looks abandoned: https://docs.scala-lang.org/overviews/macros/typeproviders.html https://docs.scala-lang.org/overviews/macros/typeproviders.h... Idris has them (but it's Idris) https://docs.idris-lang.org/en/latest/guides/type-providers-ffi.html https://docs.idris-lang.org/en/latest/guides/type-providers-... This SO answer states that Java has something similar called "Type Manifold" https://stackoverflow.com/a/53037742 https://stackoverflow.com/a/53037742 I only have F# experience so I can't comment about the ergonomics of the above. I love, love, love the JSON/Regex type providers. I'm trying to move away from SQL (to event sourcing) so haven't used that type provider yet.