150 lines
2.8 KiB
TeX
150 lines
2.8 KiB
TeX
\section{Why haskell?}
|
|
|
|
\slidetoc
|
|
|
|
\slide{./content/VL1_why_haskell1.tex}
|
|
|
|
\subsection{Comparsion C and C++}
|
|
|
|
\slide{./content/VL1_why_haskell2.tex}
|
|
\slide{./content/VL1_why_haskell3.tex}[ (cnt.)]
|
|
|
|
\subsection{Comparsion Java}
|
|
\slide{./content/VL1_why_haskell4.tex}
|
|
\slide{./content/VL1_why_haskell5.tex}[ (cnt.)]
|
|
|
|
|
|
\section{What is haskell?}
|
|
|
|
\slidetoc
|
|
\slide{./content/VL1_what_is_haskell.tex}
|
|
|
|
|
|
\subsection{What does functional mean?}
|
|
|
|
\slide{./content/VL1_what_does_functional_mean1.tex}
|
|
\slide{./content/VL1_what_does_functional_mean2.tex}
|
|
|
|
|
|
\subsection{What does pure mean?}
|
|
|
|
\slide{./content/VL1_what_does_pure_mean.tex}
|
|
|
|
\subsection{What does lazy mean?}
|
|
|
|
\slide{./content/VL1_what_does_lazy_mean.tex}
|
|
|
|
\subsection{What does statically typed mean?}
|
|
|
|
\slide{./content/VL1_what_does_statically_typed_mean.tex}
|
|
|
|
\subsection{What is haskell, Summary}
|
|
|
|
\slide{./content/VL1_what_is_haskell_summary.tex}
|
|
|
|
\section{How to think haskell?}
|
|
|
|
\slide{./content/VL1_how_to_think_haskell.tex}
|
|
|
|
\section{How to write haskell?}
|
|
|
|
\slidetoc
|
|
|
|
\subsection{Declarations}
|
|
|
|
\slide{./content/VL1_declarations.tex}
|
|
|
|
\subsection{Arithmetic and co.}
|
|
|
|
\slide{./content/VL1_arithmetic_and_co.tex}
|
|
|
|
\subsection{Functions and control structures}
|
|
|
|
\slide{./content/VL1_functions_and_control_structures1.tex}
|
|
|
|
\subsubsection{Pattern matching}
|
|
|
|
\slide{./content/VL1_functions_and_control_structures2.tex}
|
|
|
|
\subsubsection{Guards and recursion}
|
|
|
|
\slide{./content/VL1_functions_and_control_structures3.tex}
|
|
|
|
\subsection{Lists}
|
|
|
|
\slide{./content/VL1_lists1.tex}
|
|
\slide{./content/VL1_lists2.tex}[ (cnt.)]
|
|
\slide{./content/VL1_lists3.tex}[ (cnt.)]
|
|
|
|
\subsubsection{List comprehension}
|
|
|
|
\slide{./content/VL1_lists4.tex}
|
|
|
|
\subsection{Pairs}
|
|
|
|
\slide{./content/VL1_pairs.tex}
|
|
|
|
\subsection{Algebraic Data Types}
|
|
|
|
\slide{./content/VL1_ADT1.tex}
|
|
\slide{./content/VL1_ADT2.tex}[ (cnt.)]
|
|
\slide{./content/VL1_ADT3.tex}[ (cnt.)]
|
|
\slide{./content/VL1_ADT4.tex}[ (cnt.)]
|
|
|
|
\subsubsection{Trees}
|
|
|
|
\slide{./content/VL1_ADT5.tex}
|
|
\slide{./content/VL1_ADT6.tex}[ (cnt.)]
|
|
|
|
\subsubsection{ADTs generalized}
|
|
|
|
\slide{./content/VL1_ADT7.tex}
|
|
|
|
\section{Résumé}
|
|
|
|
\slidetoc
|
|
|
|
\subsection{Questions so far?}
|
|
|
|
\slide{./content/VL1_questions_from_you.tex}
|
|
|
|
\subsection{Common misconceptions}
|
|
|
|
\slide{./content/VL1_common_misconceptions.tex}
|
|
|
|
\subsection{Pitfalls}
|
|
|
|
\slide{./content/VL1_pitfalls.tex}
|
|
|
|
\subsection{Difficulties}
|
|
|
|
\slide{./content/VL1_difficulties1.tex}
|
|
\slide{./content/VL1_difficulties2.tex}[ (cnt.)]
|
|
|
|
\section{Toolchain}
|
|
|
|
\slide{./content/VL1_toolchain.tex}
|
|
|
|
\section{Reflection}
|
|
|
|
\slidetoc
|
|
|
|
\subsection{What you should know}
|
|
|
|
\slide{./content/VL1_what_you_should_know.tex}
|
|
|
|
\subsection{Questions for you}
|
|
|
|
\slide{./content/VL1_questions_for_you.tex}
|
|
|
|
\section{References}
|
|
|
|
\slidetoc
|
|
|
|
\subsection{Links}
|
|
|
|
\slide{../common/content/VL_links.tex}
|
|
|
|
\subsection{Sources}
|
|
|
|
\slide{../common/content/VL_sources.tex} |