On Understanding Types, Data Abstraction, and Polymorphism

Pour la rentrée de PWL Paris, Nicolas Rolland propose de nous intéresser à

"On Understanding Types, Data Abstraction, and Polymorphism" de Luca Cardelli.

http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf

Le programmeur est inevitablement confronté a 4 challenges dans sa pratique: les bugs, l'abstraction, l'interfacage avec des API, la maintenabilité. Dans ces quatre domaines, les types s'annoncent comme de veritables sesames, comme en temoigne leur utilisation sans cesse plus etendue chez des grands noms comme Facebook. Cet article, toujours aussi moderne malgré son âge, explore ce que sont les types et comment ils peuvent structurer notre pratique logicielle au delà de l'Agile, du TDD, du scrum etc..

Nicolas Rolland : Avec plusieurs casquettes, dont celle de programmeur, principalement fonctionnel (haskell, ocaml, etc..), j'aime apporter des réponses théoriques puissantes aux problèmes pratiques. Dans la revolution digitale qui n'en est qu'à ses balbutiements, il est important de réfléchir au delà de sa pratique afin d'anticiper les changements à venir, et c'est ce que je vous propose de faire ensemble.