Add "You should be able to answer these questions" section
This commit is contained in:
parent
c4caeaf225
commit
66b0198a2c
22
VL1.tex
22
VL1.tex
@ -672,6 +672,28 @@ For haskell IDEs, see \url{https://wiki.haskell.org/IDEs}
|
|||||||
\end{itemize}
|
\end{itemize}
|
||||||
\end{frame}
|
\end{frame}
|
||||||
|
|
||||||
|
\begin{frame}[fragile]
|
||||||
|
\frametitle{You should be able to answer these questions}
|
||||||
|
\begin{itemize}
|
||||||
|
\item What are side effects?
|
||||||
|
\item What is referential transparency?
|
||||||
|
\item Can you have referential transparency with side effects?
|
||||||
|
\item What does the output of a haskell function depend on?
|
||||||
|
\item What is laziness?
|
||||||
|
\item When are types checked in haskell?
|
||||||
|
\end{itemize}
|
||||||
|
\vspace{\baselineskip}
|
||||||
|
Does this compile? If not, fix it. Is this a total function?
|
||||||
|
\setHaskellCodeStyle
|
||||||
|
\begin{lstlisting}
|
||||||
|
data FakeInt = MkDouble Double
|
||||||
|
| MkInt Int
|
||||||
|
|
||||||
|
f :: Int -> FakeInt
|
||||||
|
f 0 = 0.5
|
||||||
|
\end{lstlisting}
|
||||||
|
\end{frame}
|
||||||
|
|
||||||
\begin{frame}
|
\begin{frame}
|
||||||
\frametitle{Sources}
|
\frametitle{Sources}
|
||||||
\begin{itemize}
|
\begin{itemize}
|
||||||
|
Loading…
Reference in New Issue
Block a user