1
edit
Edsger W. Dijkstra: Difference between revisions
Jump to navigation
Jump to search
→APL by Dijkstra's criteria: added TAO Axioms to list of examples
m (Change back to quote template) |
(→APL by Dijkstra's criteria: added TAO Axioms to list of examples) |
||
| Line 64: | Line 64: | ||
* [https://www.dyalog.com/blog/2015/01/cholesky-decomposition/ "Cholesky Decomposition"] | * [https://www.dyalog.com/blog/2015/01/cholesky-decomposition/ "Cholesky Decomposition"] | ||
* [https://www.dyalog.com/blog/2018/11/tolerated-comparison-part-1/ "Tolerated Comparison"] | * [https://www.dyalog.com/blog/2018/11/tolerated-comparison-part-1/ "Tolerated Comparison"] | ||
* [https://www.jsoftware.com/papers/TAOaxioms.htm "TAO Axioms"] | |||
Dijkstra laments the inability of APL programmers to live without an APL session: an odd criticism, as the first APL session, [[APL\360]], was released years after the publication of [[A Programming Language]], and created at a time when [[Iverson Notation]] had already been used to teach mathematics and design IBM hardware. In fact it is common for APLers to communicate verbally, on a blackboard, or on paper without using an APL session; [[Aaron Hsu]] is known for combining his use of APL with a love of calligraphy and fountain pens in order to fill notebooks<ref>Hsu, Aaron. [https://www.sacrideo.us/paper-is-dead-long-live-paper-programming/ "Paper is dead, long live Paper Programming"]</ref>. Among mathematically inclined APLers, the session is often considered an aid in constructing a correct proof rather than a goal in itself. As an "executable mathematical notation" APL is both suited for expressing the final result and for verifying with examples that the steps of the proof are correct. | Dijkstra laments the inability of APL programmers to live without an APL session: an odd criticism, as the first APL session, [[APL\360]], was released years after the publication of [[A Programming Language]], and created at a time when [[Iverson Notation]] had already been used to teach mathematics and design IBM hardware. In fact it is common for APLers to communicate verbally, on a blackboard, or on paper without using an APL session; [[Aaron Hsu]] is known for combining his use of APL with a love of calligraphy and fountain pens in order to fill notebooks<ref>Hsu, Aaron. [https://www.sacrideo.us/paper-is-dead-long-live-paper-programming/ "Paper is dead, long live Paper Programming"]</ref>. Among mathematically inclined APLers, the session is often considered an aid in constructing a correct proof rather than a goal in itself. As an "executable mathematical notation" APL is both suited for expressing the final result and for verifying with examples that the steps of the proof are correct. | ||