source: trunk/presentation-langages/beamer/generalite_fonctionnel.tex @ 407

Last change on this file since 407 was 363, checked in by revillet, 13 years ago
  • correction following last ISMAD meeting (orthographe not yet corrected)
File size: 1008 bytes
Line 
1\subsection{Généralités}
2\begin{frame}
3\frametitle{Langages fonctionnels}
4
5\begin{block}{Programmation fonctionnelle}
6\begin{itemize}
7\item expression sous forme \og{}mathématique\fg{} du code
8\item prédictible, sans effet de bord, le résultat ne dépend que des valeurs en
9entrée
10\item pas de changement d'état ($var = 2; var = 3$)
11\end{itemize}
12\end{block}
13
14\begin{block}{Avantages}
15\begin{itemize}
16\item les algorithmes s'expriment plus naturellement
17\item chaque fonction peut être testée individuellement
18\item le code est "prouvable" (nécessaire sur des applications trÚs critiques)
19\end{itemize}
20\end{block}
21
22\end{frame}
23
24\begin{frame}[fragile]
25\frametitle{exemples de code}
26\begin{exampleblock}{C}
27\begin{verbatim}
28int factorielle(int n) {
29    if (n > 1) return n * factorielle(n - 1);
30    else return 1;
31}
32\end{verbatim}
33\end{exampleblock}
34
35
36\begin{exampleblock}{haskell}
37\begin{verbatim}
38fac :: Int -> Int
39fac 0 = 1
40fac n = n * fac (n - 1)
41\end{verbatim}
42\end{exampleblock}
43\end{frame}
Note: See TracBrowser for help on using the repository browser.