Les langages de programmation sont des outils qui doivent être expressifs, sûrs et efficaces. Or, il est quasiment impossible de créer un langage qui offre ces trois points de façon harmonieuse.