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

Recherche

Afficher tous les résultats pour

Accueil

Cours

CS-210: Functional programming

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de ce cours (70)

Fonctions d'ordre supérieur utilisant des substitutions naïves

Explore les fonctions d'ordre supérieur, les environnements, l'évaluation à l'aide de la substitution et des exemples tels que double factorielle.

Éviter la capture variable

Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.

Fonctions d'ordre supérieur utilisant des environnements

Démontre une approche métacirculaire pour interpréter efficacement les fonctions d'ordre supérieur en utilisant des environnements et des fonctions de première classe.

Définitions récursives imbriquées

Explore les définitions récursives imbriquées en utilisant des environnements et la levée de fonctions binaires pour travailler sur des valeurs.

Parsing avec les combinateurs

Explore l'analyse du texte dans les arbres à l'aide de combinateurs d'analyseurs dans Scala, couvrant le filtrage, la transformation, le séquençage, les alternatives, la récursion, la manipulation des espaces, le lexing, la nature monadique et la notation.

Codage de la récursivité comme auto-application

Explore le calcul lambda, les fonctions d'ordre supérieur et l'encodage récursif des fonctions.

Chiffres d'église et conditionnels

Explore les chiffres de l'église et encode les conditionnels en lambda calcul.

Fonctions d'ordre supérieur

Couvre les fonctions d'ordre supérieur, les types de fonctions et les fonctions anonymes dans la programmation.

Curry: Applications pas à pas

Couvre le curry, les applications par étapes et l'histoire du concept.

Trouver des points fixes : méthodes itératives de convergence

Couvre les méthodes itératives pour trouver des points fixes de fonctions, en se concentrant sur les calculs de racine carrée et la puissance des fonctions en tant que valeurs de retour.

Page 4 sur 4