Dimension is a functor. This is true for points in space as well as arrays (more concretely).
Linear logic is often introduced with unintuitive and contrived examples involving food. For computer scientists, linear logic is well motivated by memory management à la C.
One of the virtues of J is its conciseness; I think this is underrated in exploratory programming. Here I present some J one-liners alongside samples of other languages.
Here I'd like to show an example of runtime complexity, arising from a practical problem.next