Cours de langages de programmation

Leçon 1 • Histoire et Évolution des Langages

Retrace le développement des langages de l'assemblage aux paradigmes modernes. Fournit un contexte historique pour comprendre les décisions de conception actuelles.

Leçon 2 • Qu'est-ce qu'un Langage de Programmation

Définit les langages de programmation comme des systèmes formels pour exprimer le calcul. Établit le vocabulaire utilisé tout au long du cours.

Leçon 3 • Classification des Langages et Paradigmes

Catégorise les langages par paradigme : impératif, fonctionnel, logique et orienté objet. Prépare les étudiants à évaluer tout langage par rapport à une taxonomie.

Leçon 1 • Arbres Syntaxiques Abstraits

Distingue les arbres syntaxiques abstraits des arbres d'analyse syntaxique et explique leur rôle dans la compilation. Prépare les étudiants à l'analyse sémantique dans les chapitres suivants.

Leçon 2 • Analyse Syntaxique Descendante et Ascendante

Compare les stratégies d'analyse syntaxique récursive descendante et par décalage-réduction. Équipe les étudiants pour choisir et implémenter des analyseurs syntaxiques appropriés.

Leçon 3 • Analyse Lexicale et Tokenisation

Couvre le rôle de l'analyseur lexical dans la conversion du texte source en jetons avant l'analyse syntaxique. Fait le pont entre le code source brut et l'analyse au niveau de la grammaire.

Leçon 4 • Arbres d'Analyse Syntaxique et Ambiguïté

Explique comment les arbres d'analyse syntaxique représentent la structure syntaxique et comment l'ambiguïté compromet l'analyse syntaxique déterministe. Soutient directement les compétences en conception de grammaires.

Leçon 1 • Approches de la Sémantique Formelle

Introduit les sémantiques opérationnelle, dénotationnelle et axiomatique comme cadres complémentaires. Établit la base du raisonnement sur la correction des programmes.

Leçon 2 • Fondamentaux des Systèmes de Types

Définit les types, la vérification de types et le spectre du typage statique au typage dynamique. Relie la discipline de type à la fiabilité des programmes.

Leçon 3 • Inférence de Type et Polymorphisme

Couvre l'inférence de type basée sur des algorithmes et le polymorphisme paramétrique. Montre comment les langages atteignent la généralité sans sacrifier la sécurité.

Leçon 1 • Variables et Modèles de Stockage

Examine les attributs des variables — nom, type, valeur, durée de vie — et comment le stockage est alloué. Fonde toutes les discussions ultérieures sur la portée et la liaison.

Leçon 2 • Espaces de Noms et Modules

Couvre les mécanismes d'espace de noms qui partitionnent la portée globale et soutiennent les programmes à grande échelle. Fait le pont entre la théorie de la portée et l'organisation logicielle pratique.

Leçon 3 • Règles de Portée et Visibilité

Contrastre la portée statique (lexicale) et dynamique et leurs effets sur la résolution de noms. Impacte directement la façon dont les étudiants lisent et écrivent du code dans tout langage.

Leçon 1 • Concurrence et Coroutines

Introduit les threads, l'async/await et les coroutines comme abstractions avancées du flux de contrôle. Étend la programmation structurée aux modèles d'exécution concurrente.

Leçon 2 • Sous-programmes et Passage de Paramètres

Examine la conception des fonctions et procédures, y compris tous les modes de passage de paramètres. Relie aux concepts de portée et de liaison du chapitre précédent.

Leçon 3 • Instructions Conditionnelles et de Sélection

Couvre les constructions if-else, switch et de filtrage par motif à travers les paradigmes. Établit la base de toute l'étude du flux de contrôle.

Leçon 4 • Itération et Constructions de Boucle

Analyse les boucles contrôlées par compteur, par condition et basées sur les collections. Prépare les étudiants à raisonner sur la terminaison et l'efficacité.

Leçon 1 • Patrons de Conception OOP en Pratique

Applique des patrons de conception classiques pour renforcer les principes de l'OOP. Fait le pont entre les fonctionnalités du langage et l'architecture logicielle professionnelle.

Leçon 2 • Concepts Cœur du Langage Impératif

Passe en revue l'assignation, le séquencement et la mutation d'état comme fondement de la programmation impérative. Ancre l'étude de l'OOP dans les racines procédurales.

Leçon 3 • Classes, Objets et Encapsulation

Définit les classes comme des modèles et les objets comme des instances, en mettant l'accent sur l'encapsulation. Construit le vocabulaire structurel pour la conception OOP.

Leçon 4 • Héritage et Polymorphisme

Couvre l'héritage simple et multiple, la redéfinition de méthode et la répartition dynamique. Relie les concepts de système de types au comportement à l'exécution de l'OOP.

Leçon 1 • Fonctions d'Ordre Supérieur et Fermetures

Couvre map, filter, fold et la capture de fermeture comme outils fonctionnels fondamentaux. S'appuie sur les connaissances de portée et de liaison des chapitres précédents.

Leçon 2 • Types de Données Algébriques et Filtrage par Motif

Utilise les types sommes et produits avec le filtrage par motif pour modéliser les données avec précision. Renforce les concepts de système de types dans un contexte fonctionnel.

Leçon 3 • Concepts Fonctionnels Cœur

Introduit les fonctions pures, l'immuabilité et la transparence référentielle comme piliers de la programmation fonctionnelle. Contraste avec la mutation d'état impérative.

Leçon 4 • Récursivité et Optimisation des Appels Terminaux

Examine la récursivité comme mécanisme d'itération principal et l'optimisation des appels terminaux comme stratégie de performance. Relie aux concepts de flux de contrôle.

Leçon 1 • Gestion Manuelle de la Mémoire

Couvre l'allocation et la désallocation explicites, y compris les erreurs courantes comme les fuites et les pointeurs pendants. Relie aux concepts de durée de vie des variables.

Leçon 2 • Architecture du Système d'Exécution

Explore les composants d'un système d'exécution de langage : pile d'appels, gestionnaire de tas et intégration du GC. Synthétise tous les sujets de mémoire en un modèle unifié.

Leçon 3 • Algorithmes de Ramasse-Miettes

Passe en revue les stratégies de marquage-balayage, de comptage de références et de GC générationnel. Équipe les étudiants pour raisonner sur la surcharge et les temps de pause du GC.

Leçon 4 • Organisation et Allocation de la Mémoire

Décrit les régions mémoire de la pile, du tas et statique, et comment les langages allouent les objets. Fonde toutes les discussions sur la gestion de la mémoire.