Modules, fichiers et JSON on kodkod | Cours d'introduction

Les modules : pourquoi découper en fichiers, import, from et as

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Ce qu’est un module.
Pourquoi on découpe un projet en plusieurs fichiers.
Trois formes d’import : import, from ... import, as.
Ce qui se passe exactement quand Python importe un fichier.

Pourquoi en avons-nous besoin ?

Nous avons déjà utilisé des modules : import os, import logging, import socket. Aujourd’hui, nous allons écrire les nôtres.

Les packages, init.py et if name == "main"

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Le package — un dossier qui contient des modules.
Le fichier __init__.py et son rôle.
Importer depuis un package.
La variable spéciale __name__, et le modèle if __name__ == "__main__":.

Pourquoi en avons-nous besoin ?

Quand il y a 3 modules, ils peuvent être dans le même dossier. Quand il y en a 30, il faut des dossiers : tout ce qui concerne les utilisateurs dans un dossier, tout ce qui concerne les paiements dans un autre. C’est ainsi que sont construits tous les vrais projets, et aussi toutes les bibliothèques que vous installerez (FastAPI est un énorme package avec des dizaines de sous-packages).

Travailler avec des fichiers texte : open, with, lecture et écriture

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Ouvrir un fichier avec open et les modes d’ouverture.
Pourquoi un fichier doit être fermé, et comment with le fait automatiquement.
La lecture : le fichier entier, ligne par ligne.
L’écriture et l’ajout.
Un chemin robuste, qui ne dépend pas de l’endroit d’où l’on lance (promis dans le thème sur l’ordinateur, le système d’exploitation et le réseau !).

Pourquoi en avons-nous besoin ?

Le thème sur l’ordinateur, le système d’exploitation et le réseau : « tout ce qui est en RAM disparaît à la fin du programme ». Les fichiers sont le moyen de base pour enregistrer des informations sur le stockage : réglages, rapports, historique, données d’import et d’export. Le compteur qui revenait toujours à 1 dans memory_test.py ? Aujourd’hui, nous allons le faire survivre d’une exécution à l’autre.

JSON : lire, écrire et enregistrer des données

Mon, 01 Jan 0001 00:00:00 +0000

Qu’allons-nous apprendre ?

Ce qu’est JSON et à quoi il ressemble.
Comment JSON correspond aux dict et list de Python.
Enregistrer dans un fichier et charger depuis un fichier.
Convertir entre une chaîne JSON et des données.

Pourquoi en avons-nous besoin ?

Dans la leçon précédente, nous avons enregistré du texte, et pour cela nous avons inventé notre propre « format » : Dana,90 sur chaque ligne. Supposons maintenant que chaque étudiant ait une liste de notes, une adresse avec une ville et une rue, et un indicateur is_active. Comment enregistrer cela dans une ligne de texte ? Chacun inventera un format différent, et il faudra écrire un code d’analyse compliqué.

Modules, fichiers et JSON on kodkod | Cours d'introduction

Les modules : pourquoi découper en fichiers, import, from et as

Qu’allons-nous apprendre ?

Pourquoi en avons-nous besoin ?

Les packages, __init__.py et if __name__ == "__main__"

Qu’allons-nous apprendre ?

Pourquoi en avons-nous besoin ?

Travailler avec des fichiers texte : open, with, lecture et écriture

Qu’allons-nous apprendre ?

Pourquoi en avons-nous besoin ?

JSON : lire, écrire et enregistrer des données

Qu’allons-nous apprendre ?

Pourquoi en avons-nous besoin ?

Les packages, init.py et if name == "main"