F# type providers already do that, also static types from CSV files, REST services and many others.