%\subsubsection{Ocaml}
\begin{frame}{Langages fonctionnels - Ocaml}
\begin{exampleblock}{Généralités}
\begin{itemize}
\item langage fonctionnel et impératif
\item créé par l'INRIA
\item langage compilé
\item compilateur libre et gratuit
\item gestion de la mémoire
\end{itemize}
\end{exampleblock}

\begin{block}{Aspects scientifiques}
\begin{itemize}
\item code \og{} prouvable \fg{}
\end{itemize}
\end{block}
\end{frame}

\begin{frame}[fragile]\frametitle{Langages fonctionnels - Ocaml}
\begin{block}{Aspects informatiques}
\begin{itemize}
\item très performant
\item support multithread
\item code portable entre UNIX
\item débogueur très avancé
\item possibilité d'utiliser des librairies en C
\end{itemize}
\end{block}
\end{frame}

\begin{frame}[fragile]\frametitle{Langages fonctionnels - Ocaml}
\begin{block}{Support au développement}
\begin{itemize}
%% TODO \href ??
\item Documentation accessible ici
\verb+http://caml.inria.fr/pub/docs/manual-ocaml/+
\item présence d'un shell
\item tests unitaires : OUnit
\end{itemize}
\end{block}
\end{frame}
