diff options
| -rw-r--r-- | transp-inf110-02-typage.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 9d31d0b..8ee4ae4 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -422,7 +422,7 @@ paramétrique) avec Java 5, puis diverses sortes d'inférence. \medskip \itempoint Rust : interaction avec la gestion de la mémoire -($\approx$ typage linéaire). +($\approx$ typage linéaire/affine). \end{frame} % @@ -845,8 +845,8 @@ $\sigma_1,\ldots,\sigma_k$ : \begin{itemize} \item une \textbf{variable de terme} ($a$, $b$, $c$... en nombre illimité), \item une \textbf{application} $(PQ)$ où $P$ et $Q$ sont deux termes, -\item une \textbf{abstraction} $\lambda(v:\sigma).E$ où $v$ est une - variable, $\sigma$ un type et $E$ un terme. +\item une \textbf{abstraction} $\lambda(v:\sigma).E$ avec $v$ + variable, $\sigma$ type et $E$ préterme. \end{itemize} \medskip |