"Type Driven Development" avec Rust

mar. 26 février à 19:00

HarryCow Coworking
Toulouse
France
Toulouse

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.

Source: https://www.meetup.com/fr-FR/Toulouse-Rust-Meetup/events/258761649/


HarryCow Coworking
Toulouse
France

Technologie
Nous avons temporairement désactivé la possibilité de naviguer vers les tags.