c#-4.0 - 是否有一种理想的语言将动态类型和强类型的优点结合在一起？

Question

我有兴趣学习一种在内部将对象作为哈希表(如 JavaScript)处理的语言，但可以用强类型包装它们，以在设计时提供代码完成/智能感知的好处。这是我希望这种梦幻语言如何工作:

public class Lion
{
  public void Roar() { Console.WriteLine("Aaarrgghh");}
} 

public static Main(string[] args)
{
  object myCat = new object(); // just plain object, no type!
  // adding a Roar() method to the myCat instance 
  myCat.Roar += delegate() {Console.WriteLine("Miauew");}
  // At this point myCat should qualify to be a Lion.
  // So we should be able to successfully duck-type-cast 
  // her to a lion
  Lion myLion = myCat as Lion;
  // now the myLion reference is strongly typed, 
  // so I expect the Intellisense window pop up 
  // and offer me the Roar() method when I hit the dot after "myLion"
  myLion.Roar();
}

我希望这个程序编译无误，无异常运行并打印
“妙”在控制台上。有没有一种语言可以做到这一点？也许是 C#4.0？

Answer 1

也许是 C# 4.0 中的新动态类型。
看看这个:http://blogs.msdn.com/cburrows/archive/2008/10/27/c-dynamic.aspx