Browse Source

Clarify dynamic type comment

stripped-german
Julian Ospald 9 years ago
parent
commit
c7973c7652
No known key found for this signature in database GPG Key ID: 220CD1C5BDEED020
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      VL1.tex

+ 1
- 1
VL1.tex View File

@@ -224,7 +224,7 @@ In haskell expressions are not evaluated until their results are actually needed
\frametitle{What does \textbf{statically typed} mean?} \frametitle{What does \textbf{statically typed} mean?}
Every haskell expression has a type and types are always checked at \emph{compile-time}. Programs with errors will not compile and definitely not run.\\ Every haskell expression has a type and types are always checked at \emph{compile-time}. Programs with errors will not compile and definitely not run.\\
\vspace{\baselineskip} \vspace{\baselineskip}
It is possible to simulate dynamic types however. In the end, they are still statically type-checked (as in: the compiler always knows what's going on).
It is possible to simulate dynamic types however, i.e. types which may be converted to the type you need them in, following rigid rules. In the end, they are still statically type-checked (as in: the compiler always knows what's going on).
\end{frame} \end{frame}


\begin{frame} \begin{frame}


Loading…
Cancel
Save