2015-04-20 16:06:58 +00:00
|
|
|
\section{Reiteration}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_reiteration.tex}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\section{Polymorphism}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_polymorphism1.tex}
|
|
|
|
|
\slide{./content/VL2_polymorphism2.tex}[ (cnt.)]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\section{More ways to define functions}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_more_ways_to_define_functions.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Where}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_where.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Let}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_let.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Let vs Where}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_let_vs_where.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Anonymous functions}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_anonymous_functions.tex}
|
|
|
|
|
|
|
|
|
|
\section{Currying}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_currying1.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Definition}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_currying2.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Mathematical example}
|
|
|
|
|
\slide{./content/VL2_currying3.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Geometrical example}
|
|
|
|
|
\slide{./content/VL2_currying4.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Conclusion}
|
|
|
|
|
\slide{./content/VL2_currying5.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Partial application}
|
2015-04-20 16:07:56 +00:00
|
|
|
\slide{./content/VL2_currying6.tex}
|
2015-04-20 16:06:58 +00:00
|
|
|
|
|
|
|
|
\subsection{Curry and Uncurry}
|
2015-04-20 16:07:56 +00:00
|
|
|
\slide{./content/VL2_currying7.tex}
|
2015-04-20 16:06:58 +00:00
|
|
|
|
|
|
|
|
\subsection{Summary}
|
2015-04-20 16:07:56 +00:00
|
|
|
\slide{./content/VL2_currying8.tex}
|
2015-04-20 16:06:58 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
\section{Function composition}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_composition1.tex}
|
|
|
|
|
\slide{./content/VL2_composition2.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_composition3.tex}[ (cnt.)]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\section{Recursion patterns}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_rec_patterns.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Map}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_map1.tex}
|
|
|
|
|
\slide{./content/VL2_map2.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_map3.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_map4.tex}[ (cnt.)]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\subsection{Filter}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_filter1.tex}
|
|
|
|
|
\slide{./content/VL2_filter2.tex}[ (cnt.)]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\subsection{Fold}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_fold1.tex}
|
|
|
|
|
\slide{./content/VL2_fold2.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_fold3.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_fold4.tex}[ (cnt.)]
|
|
|
|
|
\slide{./content/VL2_fold5.tex}[ (cnt.)]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\section{Reflection}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\subsection{What you should know}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_what_you_should_know.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Questions for you}
|
|
|
|
|
|
|
|
|
|
\slide{./content/VL2_questions_for_you.tex}
|
|
|
|
|
|
|
|
|
|
\section{References}
|
|
|
|
|
|
|
|
|
|
\slidetoc
|
|
|
|
|
|
|
|
|
|
\subsection{Links}
|
|
|
|
|
|
|
|
|
|
\slide{../common/content/VL_links.tex}
|
|
|
|
|
|
|
|
|
|
\subsection{Sources}
|
|
|
|
|
|
|
|
|
|
\slide{../common/content/VL_sources.tex}
|
