A Letter from Dijkstra on APL
Summary
A transcription and discussion of Edsger W. Dijkstra's 1982 letter on APL, highlighting why ease of use may be overrated and how notation and executability shape learning and practice. It includes examples from APL (Ackermann’s function and inverted table index-of) to illustrate APL’s expressive power and the role of machines in teaching formal methods.