Mouais

Franchement je n'ai pas trouvé ce panel très intéressant, et ça a contribué à me faire penser que les panels, sauf quand c'est vraiment très très bien fait, sont toujours un peu ratés. Ce que j'ai retiré de cette présentation c'est que Simon Peyton-Jones a trop la classe, et que Martin Odersky et Don Syme auraient aimé travaillé ensemble plutôt que faire deux langages séparés (idée qui m'a surpris et intéressé).

J'ai écrit un commentaire reddit sur les exposés intéressants du Milner Symposium d'un point de vue langages de programmation. À mon avis dépenser son temps en lisant les slides des présentations citées sera beaucoup plus productif et intéressant que regarder la vidéo de ce débat.

Je profite du fait que LinuxFR et reddit utilisent tous les deux markdown pour citer le commentaire en plein ci-dessous. En espérant que ça motivera les gens à comprendre l'anglais.

The most programming-related talks of the symposium were probably Xavier Leroy's The continuation of functional programming by other means and Martin Odersky's Objects and modules: two sides of the same coin?. For more foundational aspects of language and type systems, Benjamin Pierce's Types à la Milner and Robert Harper's Defining a programming language were also very interesting.

If you like pi-calculus and concurrent communication calculi, I personally enjoyed Davide Sangiorgi's Some remarks on bisimulation and coinduction and Jean Krivine's Jobbers, sentient buildings and lions: a short walk into Robin Milner's tower. Finally, if you're into weird little mathematics puzzles (I think notfancy might enjoy this for example), Jan Rutten's Coalgebraic bisimulation felt to me like a possibly anecdotic, but nice and interesting presentation.