Troisième Meetup OCaml Toulousain

Notre troisième Meetup OCaml Toulousain aura lieu le Mardi 27 Juin à 18h. Rendez-vous à l'ENSEEIHT, 2 rue Charles Camichel, en Salle des thèses. Compte tenu des horaires d'ouverture de l'accueil, l'entrée dans le bâtiment risque d'être plus compliquée après 18h, aussi nous vous recommandons d'arriver bien à l'heure.

Afin d'organiser au mieux cet événement, merci de nous signaler votre présence en vous inscrivant (gratuitement) à l'événement par le biais de cette page.

Il sera suivi par une collation au O'Briens Irish Pub Jean Jaures (6 Rue des Trois Journées) ; merci de préciser dans votre inscription si vous souhaitez y participer.

Programme :

18h00 - Accueil

18h10 - Mathieu Barbin

Bopkit : un langage de description pour la programmation de circuits numériques synchrones

Il était une fois, lorsque j'étais étudiant, j’ai suivi un cours d’architecture des ordinateurs... Le projet du cours consistait à implémenter un simulateur de circuits digitaux synchrones avec pour objectif final la conception d’un microprocesseur capable de piloter un calendrier digital. Avec mon binôme, nous avons implémenté en OCaml un langage de description de circuits inspiré du langage 2Z utilisé dans les polycopiés du cours, et nous avons développé notre microprocesseur “visa” dans ce langage.

Début 2023 (soit 15 ans plus tard), j’ai retrouvé ce projet dans mes archives, et j’ai eu envie de lui donner une seconde vie. J’ai réécrit certaines parties en m’appuyant sur des fonctionnalités, bibliothèques et outils apparus dans l'écosystème OCaml depuis la version initiale, comme les gadt, ppx, opam, dune, ocamlformat, menhir, core, tsdl & bogue pour les parties graphiques, mdx & docusaurus pour la doc, etc.

Mon talk portera sur ce projet. Tout d’abord j’introduirai le langage, puis je présenterai différents circuits en démo, dont le microprocesseur visa.

https://github.com/mbarbin/bopkit

18h50 - Anthony Scemama - CNRS - LCPQ

Utilisation d'OCaml dans le contexte du calcul haute performance (HPC)

QCaml est une bibliothèque d'algorithmes pour la chimie quantique. Les langages les plus utilisés en chimie quantique sont Fortran, C et C++ car les calculs sont souvent très coûteux. On voit apparaître depuis une dizaine d'années des codes en Python où la performance est réduite mais où l'effort de développement est réduit. OCaml paraît être un meilleur choix que Python, car il permet de générer du code performant et plus sûr.

Je montrerai comment OCaml a facilité l'implémentation d'algorithmes difficiles à programmer en Fortran. Je montrerai aussi comment QCaml peut être utilisé interactivement à l'aide de Notebooks Jupyter ou org-mode, pour développer de nouvelles méthodes de calcul, ou bien en mode compilé pour réaliser des calculs de production.

https://scemama.gitlab.io/QCaml/

19h30 - Départ pour le pub

Informations complémentaires :

Les caméliens toulousains disposent également d'une mailing list ! Inscrivez-vous sur https://groupes.renater.fr/sympa/info/ocaml-toulouse.