ピックアップRoslyn 2/23: Shapes and Extensions久しぶりに面白そうな話が。 Exploration: Shapes and Extensions #164 2つほど原案があって、組み合わせて結構よさげな機能案ができたので詳細を詰めていきたいという感じの話。 元になっているのは以下の2つ。 Extension everything メソッドだけじゃなくて、プロパティとかインデクサーとかあらゆるものを「拡張」定義したい 静的メソッドも(インスタンスじゃなくて型に対して)「拡張」したい インターフェイスの後刺しとかもしたい Type Classes Haskellの型クラス的なもの、 .NET ランタイムに手を入れなくてもちょっとした「値型ジェネリック」を使ったトリックで実現できそうという話 MS Researchの人と、インターンで来た人の成果っぽい 型クラスってのはどういうのかというと: 静的メソッドやコンストラクターを含めて、その型が持
