source: trunk/presentation-langages/ocaml.tex @ 302

%\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é
\end{itemize}
\end{block}

\begin{block}{Autres}
\begin{itemize}
%% TODO \href ??
\item Documentation accessible ici
\verb+http://caml.inria.fr/pub/docs/manual-ocaml/+
\item présence d'un shell
\end{itemize}
\end{block}
\end{frame}