Optimisation pour les 20 pages

This commit is contained in:
Mysaa 2022-08-14 12:09:11 +02:00
parent ee742cb8a6
commit 6591b1c3ce
Signed by: Mysaa
GPG Key ID: 7054D5D6A90F084F

View File

@ -568,6 +568,7 @@
Cependant, cela est généralement faux, puisque il est possible en Featherweight Java de considérer des expressions qui acceptent une suite infinie de réductions, mais que l'on peut \enquote{utiliser} avec des appels à méthodes ou des attributs. Nous pouvons par exemples utiliser les listes infinies, définies en annexe (\autoref{anx:classes:listes}). Cette classe \fj{IList} définit deux attributs, dont un de son propre type.
\begin{figure}
\small
\begin{fjlisting}
\fjclass{Static}{}{
\fjmethod{IList}{intList}{Int i}{new IList(i, intList(i+1))}
@ -693,7 +694,6 @@
La structure de \eng{test interface} peut aussi être utilisée à d'autre fins, par exemple à la définition de librairies, ou de \enquote{modules} dans la terminologie de Java 9+.
\clearpage
\section{Bibliographie}
\printbibliography