Cualquier lenguaje de programación moderno tiene una multitud de conceptos que van más allá del if y el for, como el polimorfismo paramétrico, la orientación a objetos, los tipos perezosos, la metaprogramación y una larga lista de otras características que hacen que los programas sea más legibles, mantenibles y compactos.
