stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Unify example

Browse Source
This commit is contained in:
JanUlrich 2024-05-02 16:14:35 +02:00
parent 4ec030d731
commit b9ef35526f
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
unify.tex
View File

@ -20,6 +20,17 @@ someList(){
}
\end{lstlisting}
Constraints for the untyped \texttt{someList} method:
\begin{constraintset}
$\begin{array}{l}
\exptype{List}{\tv{x}} \lessdot {\tv{r}}, \type{String} \lessdot {\tv{x}},
\exptype{List}{\tv{y}} \lessdot {\tv{r}}, \type{Integer} \lessdot {\tv{y}}
\end{array}$
\end{constraintset}
The constraint $\type{String} \lessdot {\ntv{x}}$ is solved by applying
\rulename{Super} and substituting $\type{String}$ for $\ntv{x}$.
\subsection{Description}
The \unify{} algorithm tries to find a solution for a set of constraints like
$\set{\exptype{List}{String} \lessdot \tv{a}, \exptype{List}{Integer} \lessdot \tv{a}}$.