Types from data: Making structured data first-class citizens in F#

Tomas Petricek, Gustavo Guerra, Don Syme

Most modern applications interact with external services and access data in structured formats such as XML, JSON and CSV. Static type systems do not understand such formats, often…