Question 1 : Toute liste est constituée d'une tête et d'une queue faux vrai
Question 2 : Affecter les champs d'une cellule permet de se dispenser de l'allouer faux vrai
Question 3 : Une équation au point fixe a une solution unique faux vrai
Question 4 : Toutes les valeurs de type List représentent des listes finies faux vrai
Question 5 : Une liste qui a un nombre fini de sous-listes est appelée finie périodique rationnelle
Question 6 : La fonction sum termine sur toutes les listes faux vrai
Question 7 : Pour définir un type disjonctif, la méthode du champ sélecteur marche dans tous les langages seulement dans les langages dans lesquels tous les types sont non vides
Question 8 : En Caml, un type enregistrement récursif est vide ne contient que des valeurs infinies contient des valeurs infinies et des valeurs finies
Question 9 : Le mécanisme de l'allocation et des enregistrements sont distincts en C mais pas en Java en Java, mais pas en C dans ces deux langages
Soumettre