"Type Driven Development" avec Rust

Pour ce second meetup, nous vous proposons une soirée qui sera l'occasion de découvrir le typage et la programmation par traits.

La présentation sera accessible à des programmeurs de tous niveaux.

L'événement sera limité à 80 places et hébergé à l'espace HarryCow en centre-ville. Il débutera à 19h précises et se terminera vers 21h. Les places seront réservées aux inscrits sur Meetup: même si l'événement semble complet, n'hésitez pas à vous inscrire sur la liste d'attente, il y aura probablement des désistements le jour J, ou bien nous verrons s'il est possible d'ajouter quelques places.

Programme détaillé :

=== Programmation par Traits sous l'influence de la gestion mémoire ===
Par Didier Plaindoux
@dplaindoux

On nous parle trop souvent de Rust en terme de gestion mémoire avec le borrowing et le lifetime mais quid de la conception logicielle dans un tel contexte ?

Je propose d'explorer le langage en ayant une approche objet très naive pour ensuite dériver et voir comment Rust nous propose des chemins différents. L'ouverture du code - pour une plus grande réutilisabilité et adaptabilité - dirigée par la gestion mémoire est une nouveauté et va nous permettre de pousser l'abstraction en utilisant les génériques et les contraintes de typage pour notre plus grand bien ! Nous finirons par explorer l'"expression problem" de P. Wadler et voir comment Rust peut y répondre.