Notation as a Tool of Thought
jsoftware.com
Notation as a Tool of Thought
1–10 of 44 posts
Re: Notation as a Tool of Thought
#2Re: Notation as a Tool of Thought
#3This is Kenneth Iverson's 1979 Turing Award lecture.
Re: Notation as a Tool of Thought
#4This is Kenneth Iverson's 1979 Turing Award lecture.
Yes. There are some deep insights in this exposition. The irony is (in my opinion) APL is the worst Array/Matrix based programming language. In fairness it was also the first, but compared to Matlab or Julia it is not as expressive and feels much harder to use.
Engineers love it for prototyping, though, so maybe I just haven't worked with Matlab enough.
Re: Notation as a Tool of Thought
#5Re: Notation as a Tool of Thought
#6Another example is juggling notation, that allowed not only the sharing of patterns but the discovery of new ones [2].
Re: Notation as a Tool of Thought
#7Reminds me of these notes: https://github.com/hypotext/notation
Re: Notation as a Tool of Thought
#8Earlier quoted context omitted.
Yes. There are some deep insights in this exposition. The irony is (in my opinion) APL is the worst Array/Matrix based programming language. In fairness it was also the first, but compared to Matlab or Julia it is not as expressive and feels much harder to use.
There's a certain mathematical elegance to APL, I think. When the language is terse enough it helps you visualize and work with the language as a tool of thought--Matlab attempts to map actual mathematics to ASCII which is not that successful for me at least, since it meets a middle ground where it's too difficult for me to think quickly purely in Matlab and it's too high level for it to be useful as a practical lang…
Re: Notation as a Tool of Thought
#9Its modern descendent are https://en.wikipedia.org/wiki/J_(programming_language) & https://en.wikipedia.org/wiki/K_(programming_language).
Re: Notation as a Tool of Thought
#10For those unfamiliar with the power of APL, see this demo of someone livecoding the Game of Life: https://www.youtube.com/watch?v=a9xAKttWgP4 Its modern descendent are https://en.wikipedia.org/wiki/J_(programming_language) & https://en.wikipedia.org/wiki/K_(programming_language) .
There's also bqn[0], among others.