\chapter{Types}

\section{Pourquoi utiliser des types}

Au niveau du langage d'assemblage, il n'y a pas de type.

Toutes les variables du shell sont des chaînes de caractères, il n'y a qu'un
seul type, on ne parle donc pas de typage.\\

Les types permettent d'aider le programmeur pour lui montrer lorsqu'il fait
quelque chose d'incorrect.

Cela permet également d'ajouter des variables plus abstraites : tableaux,
records, ...

\section{Le concept des types}

\section{Introduction au calcul des séquents}
