Leslie Lamport와 함께 '그 논문'을 쓰게 된 이야기
I came to write THAT paper with Leslie Lamport
1992년, Leslie Lamport는 'Types Considered Harmful'이라는 논문을 제출했지만, 저자 Lawrence C. Paulson을 포함한 심사자들은 이를 거절했습니다. 그러나 편집자 Andrew Appel의 제안으로 Paulson은 Lamport와 공동 저자가 되어 논문을 개선하게 됩니다. 이후 두 번째 심사에서도 거절당했지만, 결국 게재되었습니다. 이 글은 그 과정을 회고하며, 27년 후 타입 시스템이 어떻게 발전했는지, 그리고 Lamport의 주장이 얼마나 유효했는지 평가합니다.
타입이 없는 형식주의는 표기법의 오버로딩을 지원하지 않는데, 이는 원칙적으로는 사소하지만 실제로는 큰 문제입니다.