tex-projects/LaTeX-examples
2
0
Fork 0
mirror of https://github.com/MartinThoma/LaTeX-examples.git synced 2025-04-26 06:48:04 +02:00
Code Activity

Typisierungsregel hinzugefügt

Browse source
This commit is contained in:
Martin Thoma 2014-03-26 09:17:52 +01:00
parent bb674b307b
commit 9eb2958571
4 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
documents/Programmierparadigmen/Typinferenz.tex
View file

@ -104,6 +104,11 @@ verwendet. Man schreibt also beispielsweise:
\[\sigma \Gamma \vdash t : \tau\]
\end{definition}
\begin{beispiel}[Typisierungsregel]\xindex{Typisierungsregel}%
Das Folgende nennt man eine Typisierungsregel:\footnote{Klausur WS 2010 / 2011}
\[\frac{\Gamma \vdash b: \text{\texttt{bool}}\;\;\; \Gamma \vdash x: \tau \;\;\; \Gamma \vdash y: \tau }{\Gamma \vdash \text{\textbf{if} b \textbf{then} x \textbf{else} y} : \tau}\]
\end{beispiel}
\section{Beispiele}
Im Folgenden wird die Typinferenz für einige $\lambda$-Funktionen durchgeführt.