Séance de cours
Type Inférence
Séances de cours associées (32)
Fondements de Scala: Modélisation et Systèmes de Type
Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.
Laboratoire de vérification de type
Se concentre sur la mise en œuvre d'un vérificateur de type pour Amy, couvrant l'analyse des noms et des types, la génération de contraintes de frappe et l'importance de la vérification de type dans la compilation.
Types de données C avancés
Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.
Bloc tiré par un ressort
Explore la dynamique d'un bloc tiré par un ressort dans diverses conditions.
Le calcul Lambda et la sécurité des types: un aperçu
Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Type Inférence: Hindley-Milner Aperçu
Explore les algorithmes et les règles d'inférence de type, y compris l'inférence de type Hindley-Milner pour les langages typés statiquement.
Principes de la mécanique structurale : équilibre et stabilité
Explore les principes de la mécanique structurale, y compris les charges internes, la stabilité d'équilibre et le principe de superposition.
Presse et méthodologies: Analyser les sources et la politique étrangère suisse
Explore les sources d'analyse de la politique étrangère suisse pendant la guerre froide et les conséquences de la Seconde Guerre mondiale.
Types dans Lambda Calculus
Couvre les types dans le calcul lambda, y compris la définition des types, la spécification des règles et la preuve de la solidité.