Tux aux hermines

Initiation : OCaml et C++

mardi 12 avril 2016, par Claude Arnould

Cette séance se déroulera en deux parties :

1) Initiation à OCaml par Stéphane Grognet :

Après une présentation rapide des enjeux :
- pourquoi un système de types ?
- pourquoi un typage statique ?
- pourquoi le lambda-calcul ?
- pourquoi une inférence de type ?, on procèdera à une lecture-promenade du code contenu dans l’archive ci-jointe. Il est destiné au pseudo-interpréteur de commandes : "ocaml" d’OCaml. Il est inspiré du jeu des piles d’assiettes utilisé par Pascal Chauvin dans l’initiation Python.

(2) Comparaison entre C++ et OCaml par Matthias Borer :

On procèdera à une lecture-promenade du code en C++ et OCaml d’un même problème : comparer quelques algorithmes de tri et afficher les résultats statistiques avec gnuplot.

Quand l’archive sera prête, elle sera disponible à l’adresse :

http://www.math.sciences.univ-nante...

ou aussi en effectuant l’instruction :

git clone http://www.math.sciences.univ-nante...>

Cette initiation aura lieu le 23 avril 2016 de 14h30 à 17h30 au local associatif « Bellamy 17 ».

Cette initiation est soutenue par l’IREM des Pays de la Loire.

Pour les nécessités d’organisation, chaque participant(e) doit s’inscrire en envoyant dès à présent un e-mail à l’adresse initiations@linux-nantes.org.

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0