海外には変態的なC#プログラミングをする方が想像以上にいると気づいて，
誰だよこの変態ちゃん！と思っていたらMicrosoft Researchの中の人でした。
色々面白そうな資料見つけたけど，言葉の壁が・・・。
少しずつ読んで変態エキスを吸収しなくてはなりません。
Generalized Algebraic Data Types(GADTs)を
C#で実装（？）しちゃうような論文が出てきたのですが，
Haskellを知らないのでGADTが果たして何者なのか良く分かっていないのでした。
日本語に訳すと一般化代数データ型らしい。
やっぱり色々な言語を知ることは大切ですね・・・。
