Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Syntaxe

Séances de cours associées (32)

Représentations intermédiaires : CPS/L3 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

Interprètes et machines virtuelles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les interprètes et les machines virtuelles, en discutant de leurs avantages, de leurs types et de leurs techniques d'optimisation.

Esthétique de forme complexe Connectez-vous à Mediaspace pour regarder cette vidéo

S'insère dans l'esthétique de la forme complexifiée dans la musique, mettant l'accent sur l'anticipation, la tension et la surprise.

Fonctions et structures de contrôle en Python Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des fonctions et des structures de contrôle en Python, en soulignant leur importance pour l'organisation et la réutilisation du code.

Opérateurs personnalisés Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'implémentation d'opérateurs personnalisés dans un langage de programmation, y compris des exemples de syntaxe, des niveaux de préséance, des étapes d'analyse et des solutions telles que la surcharge de fonctions.

Habillements de mots: Gants et relations sémantiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les ancrages de mots, le modèle de gants, les relations sémantiques, les ancrages de sous-mots et les relations syntaxiques.

Multithreading : génération de code et vérification de type Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.

Polymorphisme dans Coq: Structures de données et fonctions Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.

Introduction au traitement des langues naturelles Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les bases du traitement du langage naturel, couvrant les défis, les domaines d'application et les niveaux de traitement linguistique.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.

Flux de contrôle en Python : déclarations conditionnelles et boucles Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le flux de contrôle en Python, en se concentrant sur les instructions conditionnelles et les boucles.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans le volume de code, la complexité et la métaprogrammation des requêtes par rapport au code.