Monads for effects are familiar to the Haskell programmer; they were introduced by Wadler's "Monads for functional programming" and are the accepted way to work with side effects in a lazy language.
As I wrote elsewhere, garbage collection—manual memory management correspond to intuitionistic logic—linear logic. So garbage collection is a technology with logical implications.
Suppose we wish to compute successive differences. In J:
I adapted the xor example here from Python; they used NumPy.
Dimension is a functor. This is true for points in space as well as arrays (more concretely).
prev | next