これは F# Advent Calendar 2014の延長戦、 30 日目の記事です。 書いたきっかけ @zecl ML Advent カレンダーに書いてくださいよーw F#の人達は知ってるけど、MLな人は知らないとかあるかもしれないですし。— h_sakurai (@h_sakurai) 2014, 12月 10 結局、25…

一応、型プロバイダー(TypeProvider)のとりとめもない話 の続き。 ちょっと草植えときますね型言語Grass型プロバイダーを作った後、少し思い違いをしていた事に気付いたのが事の発端。この記事では、FsBulletML.TypeProvidersを作成する過程で得た、型プロバ…

だらだらと型プロバイダー(Type Provider)のとりとめもない話。ほとんど内容はないよう。 型プロバイダーって何？ F#3.0 から利用できる目玉機能のひとつ。 これが発表されたとき、「LINQ + Type Providers = Information Rich Programming」なんて言われて…

判別共用体を文字列として出力する際に、ケース識別子を宣言する型（判別共用体）の名前を含めたフルネームで文字列化したくなったときのお話。 たとえば、以下を実行すると type Tree<'T> = | Leaf of 'T | Node of Tree<'T> * Tree<'T> let tree1 = Node(N…