summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-11-14 19:09:59 +0100
committerDavid A. Madore <david+git@madore.org>2023-11-14 19:09:59 +0100
commitf4581bfe1ddd67b446a25e0ce08d723e7c35a9b6 (patch)
tree507f49c40e4a8bc22a55efa0d70144c9fa80ef28
parenta50ca41e03717aeed2ac590857a06c320dd702b6 (diff)
downloadinf110-lfi-f4581bfe1ddd67b446a25e0ce08d723e7c35a9b6.tar.gz
inf110-lfi-f4581bfe1ddd67b446a25e0ce08d723e7c35a9b6.tar.bz2
inf110-lfi-f4581bfe1ddd67b446a25e0ce08d723e7c35a9b6.zip
Minor clarification.
-rw-r--r--transp-inf110-02-typage.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index bd65942..688b2c1 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -287,12 +287,13 @@ Pas seulement pour les fonctions ! $\texttt{[]} :
\itempoint Polymorphisme \textbf{ad hoc} (ou « surcharge » /
« \textit{overloading} ») : la fonction \alert{agit différemment} en
-fonction du type de son argument.
+fonction du type de son argument (connu à la compilation !).
\bigskip
{\footnotesize Le sous-typage est parfois considéré comme une forme de
- polymorphisme. Les limites de ces notions sont floues.\par}
+ polymorphisme, voire la coercion (\textit{cast}). Les limites de
+ ces notions sont floues.\par}
\end{frame}
%