From c7973c7652be75ad2cb97368f5899563c9828f2f Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Thu, 16 Apr 2015 20:12:30 +0200 Subject: [PATCH] Clarify dynamic type comment --- VL1.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/VL1.tex b/VL1.tex index d2195d4..00ad924 100644 --- a/VL1.tex +++ b/VL1.tex @@ -224,7 +224,7 @@ In haskell expressions are not evaluated until their results are actually needed \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.\\ \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} \begin{frame}