C'était une boutade, visiblement ratée, pour inciter à visionner une conférence de Philip Wadler dont le thème central est la question Qu'est-ce qu'un type ?. Ce qui revient à se poser la question : qu'est-ce que la grammaire ?
La conf est dans la lignée de ce commentaire que j'avais fait en réponse à une énième critique de Riendf sur la grammaire, et auquel tu avais répondu à l'époque, je te cite in extenso :
I hit the "pertinent" button like a motherfuckin' truck on a motherfuckin' wall !!1!one
La vidéo est très instructive, et la conclusion... je la laisse découvrir à ceux qui voudront bien prendre le temps de la regarder (c'est en anglais, et elle dure une cinquantaine de minutes).
Philip Wadler enseigne l'informatique théorique à l'université d'Edimbourg, est spécialisé dans la conception des langages de programmation et a à son actif, entre autre, le langage Haskell et l'implémentation des génériques en Java.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Dépêche actuelle et la suite
Posté par kantien . En réponse à la dépêche Les coulisses du standard C++. Évalué à 1. Dernière modification le 24 août 2016 à 17:23.
Arf, j'ai mal vendu mon lien ! :-/
C'était une boutade, visiblement ratée, pour inciter à visionner une conférence de Philip Wadler dont le thème central est la question Qu'est-ce qu'un type ?. Ce qui revient à se poser la question : qu'est-ce que la grammaire ?
La conf est dans la lignée de ce commentaire que j'avais fait en réponse à une énième critique de Riendf sur la grammaire, et auquel tu avais répondu à l'époque, je te cite in extenso :
La vidéo est très instructive, et la conclusion... je la laisse découvrir à ceux qui voudront bien prendre le temps de la regarder (c'est en anglais, et elle dure une cinquantaine de minutes).
Philip Wadler enseigne l'informatique théorique à l'université d'Edimbourg, est spécialisé dans la conception des langages de programmation et a à son actif, entre autre, le langage Haskell et l'implémentation des génériques en Java.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.