19 lines
511 B
TeX
19 lines
511 B
TeX
|
\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}
|