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

\subsection{}
\begin{frame}\frametitle{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{frame}

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

\begin{frame}\frametitle{Aspects informatiques}
\begin{itemize}
\item trÚs performant
\item support multithread
\item code portable entre UNIX
\end{itemize}
\end{frame}

\begin{frame}[fragile]
\frametitle{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{frame}