Séance de cours

Une mise en œuvre simple du FRP

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Séances de cours associées (33)

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

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.

Ingénierie pratique 1: Traitement du signal

Explore des sujets avancés d'ingénierie logicielle et de traitement du signal en utilisant des listes paresseuses pour construire un synthétiseur sonore à partir de zéro.

Compiler Extension Lab

Couvre le Compiler Extension Lab, en se concentrant sur l'ajout de nouvelles fonctionnalités à un compilateur de langage fonctionnel simple.

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.

Abstraction contextuelle

Explore l'abstraction contextuelle dans la construction de logiciels, en discutant comment les fonctions et les cours peuvent être écrits sans connaissance détaillée du contexte dans lequel ils seront utilisés.

Principes de programmation fonctionnelle

Couvre les principes et les avantages de la programmation fonctionnelle, en mettant l'accent sur les données et les fonctions immuables.

Programmation fonctionnelle: concepts et mise en œuvre

Couvre les concepts et la mise en œuvre de la programmation fonctionnelle dans Scala, mettant l'accent sur les fonctions, les données immuables et l'abstraction des données.

Bases de programmation Python

Couvre les bases de la programmation Python, en se concentrant sur les structures de contrôle de flux, le mode interactif, le mode script et les variables.

Programmation FPGA avec Speedgoat : traitement du signal en temps réel

Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.

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.

Programmation réactive fonctionnelle : signaux et transformations

Explore la programmation réactive fonctionnelle à l'aide de signaux pour simplifier les changements d'état et les réactions aux événements dans une approche plus fonctionnelle et propre.

Signaux et systèmes II: propriétés statistiques et représentation du signal

Explore les propriétés statistiques, la représentation des signaux, les signaux discrets et les signaux binaires.

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Bases de programmation fonctionnelle en Scala

Couvre les bases de la programmation fonctionnelle de Scala, y compris les stratégies d'évaluation, les conditions et les définitions de valeur, en mettant l'accent sur le calcul des racines carrées avec la méthode de Newton.

Programmation Matlab: Script et Fonction

Explore la programmation Matlab avec des scripts et des fonctions, vectorisation et graphiques 2D.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

Introduction à Coq: Expressions arithmétiques et évaluateurs

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Disques et Variantes

Introduit des enregistrements, des variantes, des règles d'évaluation, des règles de dactylographie, des défis d'aliasing et des avantages 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.