[straight_talk_2]

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

[swannodette]

I didn't realize this until someone else mentioned it today. Thanks for bringing it up, very cool.

[brandonbloom]

I explain how this differs from type providers here: https://news.ycombinator.com/item?id=6462374

[ambrosebs]

Cool!