You don't necessarily need a schema file. You can take a sample document as input for an inferred type. This is compile type meta programming

https://fsharp.github.io/FSharp.Data/

https://medium.com/@maximcus/magic-of-f-type-providers-225b1...