C’est pas tant une question de volume de fonctionnalité du langage, plutôt une question de nature des fonctionnalités ... Ce qui fait que C++ est long à compiler c’est principalement une fonctionnalité, les template qui sont Turing complètes et qui peuvent générer beaucoup de génération de code.
Pour Ada et SPARK c’est pas la complexité du langage, Rust est pas si compliqué, c’est plus que le compilateur fait de l’analyse statique pour vérifier que le code est correct, ce qui peut prendre du temps. Certaines constructions buguées qui sont valides en C et que le compilateur laisserait passer sans broncher sont non valides en Rust, par exemple. Mais ce serait pareil si on avait un langage avec juste les feature de C auquel on aurait simplement ajouté les contraintes de Rust sur les pointeurs.
[^] # Re: Perf
Posté par thoasm . En réponse au journal la rouille et la comtesse. Évalué à 3.
C’est pas tant une question de volume de fonctionnalité du langage, plutôt une question de nature des fonctionnalités ... Ce qui fait que C++ est long à compiler c’est principalement une fonctionnalité, les template qui sont Turing complètes et qui peuvent générer beaucoup de génération de code.
Pour Ada et SPARK c’est pas la complexité du langage, Rust est pas si compliqué, c’est plus que le compilateur fait de l’analyse statique pour vérifier que le code est correct, ce qui peut prendre du temps. Certaines constructions buguées qui sont valides en C et que le compilateur laisserait passer sans broncher sont non valides en Rust, par exemple. Mais ce serait pareil si on avait un langage avec juste les feature de C auquel on aurait simplement ajouté les contraintes de Rust sur les pointeurs.