Concept

Short-circuit evaluation

Séances de cours associées (28)

Évaluation de la fonction : Principes de base

Explique les trois principaux aspects d'une fonction et son processus d'évaluation.

Flux de données: Modèles d'exécution pour l'informatique distribuée

Explore le modèle de flux de données pour le calcul distribué à l'aide des DDR dans Spark.

Programmes de vérification avec l'inox: Partie 2

Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.

Outils de traitement du langage naturel

Présente des outils NLP comme Hugging Face et PyTorch Lightning pour les tâches texte et l'évaluation.

Compiler Extension Lab

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

Modèles de programmation : aperçu et exemples

Explore les modèles de programmation pour le traitement des mégadonnées, y compris les RDD de Spark et les optimisations.

Évaluation paresseuse

Explore l'évaluation paresseuse dans la programmation fonctionnelle, en se concentrant sur la mise en œuvre de listes paresseuses par Scala.

Préfixe, Infix, Postfix et génération de code

Explore les notations de préfixe, d'infixe et de postfixe dans les expressions et leur rôle dans la génération de code.