Clément Delafargue
From Penazen consulting
Clément Delafargue est consultant indépendant. Il travaille dans le web depuis 2002. Il est particulièrement intéressé par la programmation fonctionnelle.
Passionné par la technique et le développement, il a co-fondé en 2009 Eklaweb, une entreprise de développement sur mesure. Dans ce cadre, il a assemblé une équipe d’ingénieurs et les a formés à la programmation fonctionnelle. Il est désormais consultant indépendant et collabore avec différentes startups dont Clever-Cloud et Sounderbox.
En parallèle de son activité professionnelle, il donne des cours de développement, de FP et de CI à l’École Centrale de Nantes et à l’IMIE. Il a créé le Nantes FP, y donne des conférences et fait partie de scala.io
DevOps, Agilité, Méthodologie & Tests
TDD, comme dans Type-Directed Development
Le développement dirigé par les tests (TDD) est largement considéré comme une bonne pratique. Mais pouvons-nous faire mieux ? En spécifiant le comportement attendu d'un programme avec des types, on peut aller très loin, avec plus de confiance et moins de complications qu'avec des tests.
Dans ce talk, je montrerai une autre vision des types, en explorant la différence fondamentale entre types et tests au niveau des spécifications. J'aborderai la manière dont les types permettent de prouver des propriétés sur les programmes et pourquoi les génériques sont l'outil le plus puissant à votre disposition. Je momnterai des moyens de raisonner basés sur les types et décrirai ce qu'ils apportent. Enfin, je montrerai comment complémenter le Type-DD avec le Test-DD pour finir de spécifier avec des tests ce qui n'a pas pu être spécifié par des types
Architecture, Performance et Securité
Comment Clever Cloud fonctionne ? Des décisions radicales pour construire un design fonctionnel
Quentin Adam
Clever Cloud, comment ça marche ? Cela fait 5 ans qu'on construit un PaaS avec des microservices.
Clever Cloud est un PaaS français, pas construit au dessus d'amazon (ni d'aucun autre IaaS). Clever Cloud n'utilise ni cloud foundry ni OpenStack.
Pourquoi ces choix ? Pourquoi utilisons-nous des VMs et pas des containers? Comment gère-t-on la sécurité ? Beaucoup de nos choix architecturaux sont différents de ce qui est fait dans d'autres boites. Pourquoi sommes-nous partis sur cette voie ? Plus important : est-ce que ça marche ?
Clever Cloud est construit autour de microservices (~100 projects qui collaborent pour faire fonctionner la plateforme).
Ce talk décrit notre architecture, les protocoles utilisées (il n'y a pas que HTTP dans la vie). Nous verrons comment nous ajoutons des fonctionnalités et comment l'archi nous permet de gérer le changement et de sortir rapidement des features tout en intégrant de nombreuses technologies.
Cette université est un mix entre retour d'expérience et concepts d'archi.
Langages alternatifs
Les Types de Données Algébriques, c'est fun et utile.
En programmation, il y a des structures de données qui s'appellent les types de données algébriques (ou ADT).
Vous les connaissez, mais pas sous ce nom. Et ce que vous ne connaissez sûrement pas, c'est leur relation avec ce qu'on a tous appris en maths au collège.
On va réviser ensemble l'addition et la multiplication; ensuite on verra en quoi c'est super utile dans vos programmes. Ensuite on verra à quoi correspondent les types exponentiels