4 ms·
Second this, because I'm no mathematician myself and it doesn't look like there are much layman-available material out there. "Point-free" is also another name
by tliltocatl 2y ago
Second this, because I'm no mathematician myself and it doesn't look like there are much layman-available material out there. "Point-free" is also another name for tacit programming (i. e. without assigning names to variables, like Forth or bash pipelines), but I can't find any reference on if it is just named for superficial similarity or is there some deeper theoretical connection between point-free topology and point-free programming.
- 082349872349872 2y agoIn the tacit programming case, I'm pretty sure it's for (a) superficial resemblance, and (b) the excuse to call one's favoured technique "pointless programming". (there's probably something interesting to be gotten at by considering how much violence a particular function does to structure in the input space —thinking of compositions of homomorphisms being homomorphisms of compositions, or how mapping a monotonic function over keys allows one to avoid reindexing— but I'm pretty sure that's mostly orthogonal to whether one binds parameter names or not)