C# 3の最大の機能は、LINQテクノロジーであった。C# 4では、動的タイピングは話題をさらいそうである。しかし、それらを同時に使用できるのか?
LINQへの中心的な機能は、拡張メソッドである。拡張メソッドにより、共通機能が、IEnumerableのようなインターフェイスに追加することがで きる。基本的に拡張メソッドは、変数の静的タイプと組み合わさってローカルでインポートされた名前空間を使用するコンパイラの策で、呼び出すべき適切な機 能を決定する。動的変数では、変数のタイプは実行時まで分からない。しかし、その時までに、どの名前空間がインポートされたかについての情報はとっくにな くなっている。
匿名機能も同様にLINQにとって、重要である。匿名機能はコンテキストを使用し、静的にC#で実機能へコンパイルされ、どのパラメータ型を出力すべきかを決定する。既知の型がなければ、コンパイラは型オプジェクトのパラメータのみを出力しなければならない。
これらの制限はどちらも解決可能である。どの拡張メソッドにバインドすべきかを決定するのに必要なコンパイル時のコンテキストを、コンパイラが取り込めな かった理由はない。同様に、型オブジェクトの匿名機能を出力することができ、メソッドおよびプロパティの起動に動的呼び出しを用いることができる。しか し、言語はゆっくりと進化し、Mads Torgersen氏によると、C# 4ではこうした制限に対処する計画はない模様である。
C# Future(リンク)のサイトで詳細を参考することができる。