point-free en · ADJ
Etymology
From point + -free.
Meanings
-
(not-comparable) Employing or relating to tacit programming.
Point-free coding is a byproduct of adopting declarative programming. You can use point-free coding without FP. But because point-free is all about improving the readability of code at a glance and making it simpler to parse, having the guarantees imposed by FP furthers this cause.
2021, Luis Atencio, The Joy of JavaScript, Simon and Schuster, →ISBN, page 104:
-
(not-comparable) Synonym of pointless (“without points”).
Hence, what are the (hopefully natural) conditions under which they do hold? All this calls for studying the point-free separation.
2021, Jorge Picado, Aleš Pultr, Separation in Point-Free Topology, Springer Nature, →ISBN, page xii: