Concept
Monade (informatique)
Séances de cours associées (24)
Une mise en œuvre simple du FRP
Couvre la mise en œuvre simple des signaux et des Vars dans la programmation réactive fonctionnelle, y compris le maintien des dépendances et les types de fonctions implicites.
Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme
Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.
Monads: Structures de données avec lois
Couvre les monades en tant que structures de données avec des lois et des exemples spécifiques tels que Liste et Option.
Tuples: Désucrage et mise en œuvre
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.
Interprète: Expressions arithmétiques
Couvre un langage fonctionnel simple, des arbres syntaxiques abstraits, des expressions interprétatives et du dessugaring.
Adjonctions : Construire des joints désirés
Explore la construction des joints souhaités dans des catégories spécifiques comme Set.
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.
Catégories de functors Composition et functors induits
Explore la composition des functeurs, les functeurs induits, et la préservation des diagrammes commutatifs dans la théorie de catégorie.
Principes de base de la programmation réactive fonctionnelle
Couvre les bases de la programmation réactive fonctionnelle, y compris les API, les détails de mise en œuvre, la création de signaux et l'évaluation des signaux.
MATLAB Essentials : fonctions et variables
Couvre les fonctions MATLAB essentielles, les variables, les boucles et les outils de débogage.