---
# System prepended metadata

title: Untitled

---

QCM MIF08 - mercredi 4 novembre 2020

Question 1 L'analyse de typage statique PLUSIEURS REPONSES
-
- [X]  permet de rejeter des programmes incorrects 
- [ ]  est indécidable
- [X]  est décidable

Question 2 Une erreur de typage en C lèvera une erreur 
-
- [ ]  Pendant l'éxécution
- [x]  A la compilation du programme
- [ ]  Au chargement du programme, avant de lancer l'éxécution

Question 3 Quelles lignes de code extraite d'un programme C lèveraient une erreur au moment de la vérification de typage ? PLUSIEURS REPONSES
- 
- [x]  int x; x = 1 + y /* Mince, j'ai oublié de déclarer y */
- [ ]  int x; x = (1 + 2 /* Mince, j'ai oublié la parenthèse fermante */
- [ ]  /* Tiens, qui n'a pas fermé ce commentaire?
- [ ]  int x; int x; /* Oups, double déclaration */

Question 4 Le patron de conception (design pattern) <<visiteur>> est utile PLUSIEURS REPONSES
- 

- [ ]  Pour réaliser l'analyse lexicale
- [x]  Pour réaliser l'analyse de typage
- [x]  Pour parcourir un arbre (de dérivation ou de syntaxe abstraite)
- [ ]  Pour réaliser l'analyse syntaxique

Question 5 Une erreur de typage en Python lèvera une erreur
-
- [ ]  Au chargement du programme, avant de lancer l'exécution
- [x]  Pendant l'exécution
- [ ]  A la compilation du programme


Question 6 Cochez les langages de programmation utilisant du typage dynamique PLUSIEURS REPONSES
-
- [x]  Python
- [x]  PHP
- [x]  Lisp et ses variantes comme Scheme
- [ ]  JAVA
- [ ]  C

Question 7 Les règles de typages données en cours transparent 19 imposent ...PLUSIEURS REPONSES
-
- [x]  Que la condition d'un while soit booléenne
- [x]  Que la condition d'un if soit booléenne
- [X]  Que les deux membres d'une affectation (x et e dans x = e) soient de même type
