Je pense fortement (même si je n'ai pas de démonstration) que ce que tu proposes (n'autoriser que le polymorphisme comme structure de contrôle) donne un langage qui n'est plus Turing-complete, et qui est même très très limité en expressivité. Donc forcément, toutes les réactions que tu reçois, ce sont des propositions pour contourner cette limitation absurde (en utilisant d'autres structures de contrôle, que du coup tu proposes d'interdire aussi, ce qui fait qu'il ne reste plus quasiment rien => langage incomplet).