CM3

Question 1

Typage dynamique

Answer 1

pendant l’exécution
langages: Lisp, PHP, Python, JavaScript

Question 2

Typage statique

Answer 2

au moment de la compilation après le lexing et l’analyse syntaxique
langages: C, Java, OCaml

Question 3

Hybride

Answer 3

permettre les annotations de typage sur les langages typés dynamiquement
Langages: Python avec Pyright et JS avec TypeScript

Question 4

Objectif 1 du typage (décidable)

Answer 4

Le système de typage doit être décidable:
* doit être déterministe
* doit pouvoir inférer le type des expressions de manière prévisible

Question 5

qu’est ce que le système de typage doit être capable de détecter ?

Answer 5

détecter et signaler les incompatibilités de types dès que possible, idéalement lors de la compilation ou avant l’exécution

Question 6

le système de typage peut être conçu pour détecter quoi ?

Answer 6

différents types d’erreurs, en fonction des besoins spécifiques du langage de programmation et du contexte d’utilisation

Question 7

qu’est ce qu’il est important que le système de typage devient?

Answer 7

Il est important que le système de typage soit suffisamment flexible pour permettre l’écriture de programmes expressifs tout en garantissant la sureté et la cohérence de typage

Question 8

les règles de typage informelle pour Mini-While

Answer 8

1. les expressions peuvent être de type int ou bool
2. les conditions des instructions if et while doivent être de type booléen
3. + prend des opérandes de type int et retourne des résultats de type int
4. < prend des opérandes de type int et retourne un résultat de type bool
5. = fonctionne pour les variables de type int et bool
6. les constantes entières sont de type int

Question 9

Comment règles les problèmes des règles de typage informelle de Mini-While?

Answer 9

on utilise la spécification formelle
* qui définit le comportement et le typage du langage à l’aide de règles précises et sans ambiguïté, ce qui facilite l’écriture de code et de tests , ainsi que la vérification de la conformité du code aux spécifications

Question 10

Expressions hybrides

Answer 10

impliquent des opérations entre des valeurs de types différents, comme additionner un flottant et un int

Question 11

Comment OCaml gère les expressions hybrides?

Answer 11

Il les rejette car OCaml est statiquement typé avec un système de types strict et dit que les opérations doivent se faire entre des valeurs de même type.

Question 12

Comment d’autres langages comme C, Python, Java gèrent les expressions hybrides?

Answer 12

• ils vont faire de la conversion implicite
• du coercion type
• l’AST peut être modifier pour insérer les conversions de type nécessaires