Lambda Lille - λ • remote 5 - Julien Truffaut & Guillaume Bogard

Merci ! Partagez avec vos amis !

Vous avez aimé cette vidéo, merci de votre vote !

Ajoutées 3 années by admin

85 Vues

Types vs Tests -- Julien Truffaut @JulienTruffaut (60 min)

Faut-il mieux utiliser des types ou des tests ou les deux?
Cette question est une source de conflit perpétuel dans notre communauté. Dans cette présentation, je propose une technique pour mesurer l'impact des types et des tests sur nos programmes, ce qui nous permettra de décider quand et comment utiliser des types ou des tests.

----

Free Monads -- Guillaume Bogard @bogardguillaume (60 min)

Si la programmation fonctionnelle préconise l'absence d'effets de bord, alors comment écrire des programmes purs et utiles à la fois ? Comment structurer et tester des programmes sans être dépendant du monde extérieur ?
Les Free Monads permettent de structurer des programmes complexes de manière pure, en découplant leur description de leur exécution. Mais comment ça marche ?
Après de brèves explications sur les effets et le modèle d'évaluation par substitution, on montrera une implémentation minimaliste de Free Monad en Haskell et en Scala, et on abordera les avantages des Free Monads "dans le monde réel".

Descriptif de la vidéo :
0:00 Types vs Tests
56:39 Free Monads