hasufell
/
haskell-lectures
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Convert "Types, types, types" slide into "How to think haskell?" 

This should give a general idea of how to think haskell.
This commit is contained in:
Julian Ospald 2015-04-16 20:26:51 +02:00
parent 31bb5dc24c
commit ea4f20e724
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
VL1.tex
View File

@ -242,13 +242,23 @@ Let's reiterate. Haskell is:
\end{frame} \end{frame}
\begin{frame} \begin{frame}
\frametitle{Types, types, types} \frametitle{How to think haskell?}
\begin{itemize} \begin{itemize}[<+->]
\item think in types! \item think in types!
\begin{itemize}[<+->]
\item don't be afraid of type errors \item don't be afraid of type errors
\item let the type-checker do the work for you (does this function do what I think it does?) \item let the type-checker do the work for you (does this function do what I think it does?)
\item understand functions just by looking at their type signature? \item understand functions just by looking at their type signature?
\end{itemize} \end{itemize}
\item think abstract!
\begin{itemize}[<+->]
\item don't repeat yourself!
\item "develop a solution space, rather than an individual solution" -- Ralf Hinze
\item "imagine a graph, rather than a single path" -- Ralf Hinze
\item "first solve a more general problem, then extract the interesting bits and pieces by transforming the general program into more specialised ones" -- Ralf Hinze
\end{itemize}
\item solve atomic parts of general problems and combine them into greater solution
\end{itemize}
\end{frame} \end{frame}
\begin{frame}[fragile] \begin{frame}[fragile]