Very nicely said.
You might find Iverson’s Notation as a Tool of Thought paper interesting, since APL represents (in many ways) notation derived from a “practical philosophy” of calculation as opposed to a philosophy of computation (e.g. Haskell).
This looks really interesting. Thanks for reading my post and thanks for the recommendation!