Le cours, Python et l’exécution dans le navigateur¶

Ce projet privilégie une correspondance lisible entre axiomes, définitions et code, plutôt que la performance.

Prérequis Python¶

La syntaxe élémentaire est acquise. Le dispatch des opérateurs, la transformation des fonctions par les décorateurs et les méthodes générées par dataclass sont enseignés car ils sont indispensables.

Zensical et Pyodide¶

Zensical construit les pages et Pyodide exécute Python dans un Web Worker. Le premier lancement télécharge l’environnement ; le code n’est pas envoyé à un serveur.

Limites pédagogiques¶

La chaîne des prédécesseurs rend les grands nombres lents. Les tests couvrent des cas finis ; l’induction reste nécessaire pour tous les naturels.