Ressources gratuites
Programmation logique et fonctionnelle
Poser des questions à des faits et des règles en Prolog, et écrire des fonctions typées en Haskell.
Deux labs, chacun un terminal avec un langage qui pense autrement : SWI-Prolog, où un programme est fait de faits et de règles et où l’exécuter revient à poser une question, et GHC, où un programme est fait de fonctions typées.
Labs pratiques
Leçons pratiques
Chaque leçon se déroule dans un lab pratique : un vrai environnement avec un terminal à côté, sans rien à installer. Un compte gratuit lance tous les labs, avec assez de crédit gratuit chaque mois pour suivre la plupart des leçons, et reçoit les leçons de base sur l’accueil ; sans compte, vous pouvez lancer le lab Git et le lab SQL.
Leçon pratique · lab de conteneurs
Prolog Basics
Suivez cette leçon dans un vrai lab, avec un terminal à côté, et pas seulement en la lisant.
Un interpréteur SWI-Prolog privé pour chaque élève : faits, règles, questions et règle récursive. Code sur GitHub.
Comment ça marche · Source sur GitHub · Créer un compte gratuit pour le lancer
Leçon pratique · lab de conteneurs
Haskell Basics
Suivez cette leçon dans un vrai lab, avec un terminal à côté, et pas seulement en la lisant.
Un compilateur GHC Haskell privé pour chaque élève : fonctions typées, listes, repliements et un type à soi. Code sur GitHub.
Comment ça marche · Source sur GitHub · Créer un compte gratuit pour le lancer
Les leçons de base sont données à chaque compte gratuit, sur l’accueil, et à chaque établissement. Le cours complet s’ajoute à sa propre bibliothèque avec un compte personnel, ou s’enseigne avec un compte d’établissement. Les labs de VM Ubuntu sont proposés par un enseignant dans un module, et leurs leçons démarrent la VM pour vous.
Les lancer vous-même
Un compte personnel gratuit lance chaque lab de cette page et sa leçon, avec assez de crédit gratuit chaque mois pour suivre la plupart des leçons. Vous enseignez ? Créez un établissement et donnez-les à vos élèves.
Créer un compte gratuitCréer un établissement
Vous avez déjà un compte ? Se connecter