Wie ich mit Leslie Lamport genau jenes Paper schrieb
I came to write THAT paper with Leslie Lamport
Lawrence C. Paulson erzählt, wie er unfreiwillig Mitautor von Leslie Lamports umstrittenem Paper „Types Considered Harmful“ wurde. Ursprünglich als Gutachter abgelehnt, wurde er vom Herausgeber Andrew Appel gedrängt, das Paper mit Lamport zu überarbeiten. Nach einer zweiten Ablehnungsrunde erschien es schließlich doch. Paulson zieht Bilanz: Typisierte Formalismen haben sich bewährt, während die Probleme untypisierter Systeme bestehen bleiben.
Ohne Typen hat man keine Überladung von Notation, was prinzipiell trivial ist (man kann einfach viele verschiedene Symbole verwenden), aber in der Praxis eine große Sache ist.