この記事は F# Advent Calendar 2016 の20日目の記事です。 今年発表された PLDI 2016 の論文 "Types from data: Making structured data first-class citizens in F#" [1] と実際の F# Data の実装 [2] を参照し、F# Data の提供する型プロバイダ(JsonProvider など)が標本文書からの型の推測を内部でどのように行っているかを読み解きます。 簡単な例 次のコードは、JSON文書用の型プロバイダ JsonProvider の挙動を表す簡単な例です。 #r "path/to/FSharp.Data.dll" [<Literal>] let samples = """ [ { "name": "alice", "age": 22 }, { "name": "bob, "a
![F# Data 型プロバイダの内部について - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/1d25bfe3f0c97737ed97a575f9cdd095ddcace40/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9RiUyMyUyMERhdGElMjAlRTUlOUUlOEIlRTMlODMlOTclRTMlODMlQUQlRTMlODMlOTAlRTMlODIlQTQlRTMlODMlODAlRTMlODElQUUlRTUlODYlODUlRTklODMlQTglRTMlODElQUIlRTMlODElQTQlRTMlODElODQlRTMlODElQTYmdHh0LWFsaWduPWxlZnQlMkN0b3AmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT01NiZzPTZiMDdjYTM5MjQ2NjMzM2I4MGM4NDlhNzc1NDEzZTQ4%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDB0bmFnYW83JnR4dC1jb2xvcj0lMjMzQTNDM0MmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz1kMTIzNTY4MTJmZjdjZWJlYmM1ZGFhN2FmYzRjMGNiMw%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3Dba63775d26fbeeaf6fe431663d592a67)