diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-30 15:08:35 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-30 15:08:35 +0100 |
| commit | c6de39abc6e82b1b715b1bbc86fe6f4ba522b777 (patch) | |
| tree | 6e078b905e0853598ed0d08c504a8e75ca1e71e2 | |
| parent | 33da1b1e43c9e3e3f8a56c1b93e96b404dcc65e5 (diff) | |
| download | inf110-lfi-c6de39abc6e82b1b715b1bbc86fe6f4ba522b777.tar.gz inf110-lfi-c6de39abc6e82b1b715b1bbc86fe6f4ba522b777.tar.bz2 inf110-lfi-c6de39abc6e82b1b715b1bbc86fe6f4ba522b777.zip | |
Minor fixes.
| -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 |