Edsger W. Dijkstra: Difference between revisions
Jump to navigation
Jump to search
→APL by Dijkstra's criteria
Miraheze>Marshall |
Miraheze>Marshall |
||
Line 60: | Line 60: | ||
== APL by Dijkstra's criteria == | == APL by Dijkstra's criteria == | ||
While Dijkstra believed that APL failed as a language for the development and communication of mathematical ideas, many APLers have disputed this idea and expressed confusion as to how he arrived at this viewpoint.<ref>J forums. [http://www.jsoftware.com/pipermail/chat/2007-November/000633.html "why did Dijkstra dislike APL so much?"]</ref> Array programmers have argued that APL, designed as a mathematical notation, is one of the best embodiments of Dijkstra's goals for programming languages, and some have attributed his dislike for the language with a lack of familiarity or understanding. In particular, examples of the use of APL in proofs include: | While Dijkstra believed that APL failed as a language for the development and communication of mathematical ideas, many APLers have disputed this idea and expressed confusion as to how he arrived at this viewpoint.<ref>J forums. [http://www.jsoftware.com/pipermail/chat/2007-November/000633.html "why did Dijkstra dislike APL so much?"]</ref> Array programmers have argued that APL, designed as a mathematical notation, is one of the best embodiments of Dijkstra's goals for programming languages, and some have attributed his dislike for the language with a lack of familiarity or understanding. In particular, examples of the use of APL and J in proofs include: | ||
* [https://code.jsoftware.com/wiki/Essays/Ackermann%27s_Function "Ackermann's Function"] | * [https://code.jsoftware.com/wiki/Essays/Ackermann%27s_Function "Ackermann's Function"] | ||
* [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"] | ||