[keithnz]

F# has this kind of stuff also, where it will dynamically type data dynamic sources like databases or rest calls, etc. for an example https://fsprojects.github.io/FSharp.Data/

[jolux]

It's not really dynamic typing, because it's happening at compile time. Really type providers are just a specific, restricted form of code generation.