En C #, puedo hacer esto:

class Program
{
    static void Main(string[] args)
    {
        List<Animal> animals = new List<Animal>();

        animals.Add(new Dog());
        animals.Add(new Cat());

        foreach (Animal a in animals)
        {
            Console.WriteLine(a.MakeNoise());
            a.Sleep();
        }
    }
}

public class Animal
{
    public virtual string MakeNoise() { return String.Empty; }
    public void Sleep()
    {
        Console.Writeline(this.GetType().ToString() + " is sleeping.");
    }
}

public class Dog : Animal
{
    public override string MakeNoise()
    {
        return "Woof!";
    }
}

public class Cat : Animal
{
    public override string MakeNoise()
    {
        return "Meow!";
    }
}

Obviamente, la salida es (ligeramente parafraseada):

GuauEl perro esta durmiendomaullarEl gato esta durmiendo

Dado que C # a menudo se burla de su sintaxis de tipo detallado, ¿cómo maneja los métodos de polimorfismo / virtual en un lenguaje de tipo pato como Ruby?