Séances du CS-320: Computer language processing

JVM Backend: Génération de code et traduction Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la traduction de programmes, de définitions et d'expressions en bytecode à l'aide du moteur JVM.

Évaluation paresseuse: introduction et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'évaluation paresseuse, la mémorisation, la mise en œuvre d'interprètes, les défis de génération de code et les extensions potentielles.

Fonctions d'ordre supérieur: Théorie de l'unification Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type.

Machine virtuelle WASM : Groupe 13 Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.

Paramètres implicites : bases et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des paramètres implicites dans Scala, présentant leur implémentation dans une classe Logger et leur application dans un objet SimpleAI.

Formateur de code: Impression jolie personnalisable Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit un formateur de code pour une jolie impression personnalisable, y compris des options comme si sur des lignes séparées et les défis rencontrés dans la gestion des positions des commentaires.

C Backend : Structure du compilateur et types de données abstraits Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la structure d'un compilateur C et les types de données abstraits.

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.

Interface de fonction étrangère à JavaScript Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'implémentation d'une interface de fonction étrangère à JavaScript dans Scala, en se concentrant sur des fonctionnalités telles que l'ouverture et la lecture de fichiers.

Conversion implicite : concepts de base Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de base de la conversion implicite dans Scala et son implémentation dans le code Scala.

Types polymorphes chez Amy Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.

Optimisations de code : constantes et variables Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les techniques d'optimisation de code telles que le pliage constant, le précalcul et la propagation constante pour améliorer l'efficacité et la qualité du code.

C Backend : Génération de code et ADT Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'adaptation de la génération de code wasm pour C, la gestion de la mémoire, la représentation des ADT et la traduction d'expressions.

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.

Tuples: Désucrage et mise en œuvre Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les détails de mise en œuvre des tuples dans Scala, y compris le dessugaring, l'analyse lexicale, l'analyse et la génération de code.

Fonctions Lambda : Syntaxe et exemples Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la syntaxe et des exemples de fonctions lambda, y compris les paramètres, les types, les corps et les environnements.

Language Server Protocol: Implémentation pour le compilateur IME Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'implémentation du protocole Language Server pour le compilateur IME, en se concentrant sur des fonctionnalités telles que l'auto-complétion et les assistants de signature.

Langages formels : Concepts

Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.

Opérations sur les langues formelles

Explore les opérations formelles du langage, y compris la concaténation, l'union, l'intersection et l'étoile Kleene pour la répétition du langage.

Expressions régulières et idée de Lexer

Explore les expressions régulières, y compris leur histoire, les opérateurs, l'analyse lexicale et la construction manuelle des lexers.