Edsger W. Dijkstra: Difference between revisions

Jump to navigation Jump to search
95 bytes added ,  18:26, 10 November 2019
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"]


Anonymous user

Navigation menu