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.
Explique les concepts essentiels des fonctions dans la programmation C, y compris les définitions, les prototypes et les techniques de passage d'arguments.
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.
Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.
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.
Couvre les fonctions de la programmation C, mettant l'accent sur la réutilisabilité et la réduction des erreurs grâce à une structure de fonction appropriée.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Couvre les concepts de programmation C essentiels, y compris la gestion de la mémoire, les techniques de débogage et les applications pratiques dans les projets de programmation.
Discute des types avancés en C, y compris les types énumérés, les typesdefs et les structures, avec des exemples pratiques pour illustrer leur utilisation.
