point-free

English

Etymology

point +‎ -free

Adjective

point-free (not comparable)

1. (programming) Employing or relating to tacit programming.

   Synonym: (derogatory) pointless

   • 2021, Luis Atencio, The Joy of JavaScript, Simon and Schuster, →ISBN, page 104:

     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.

2. (mathematics) Synonym of pointless (“without points”)
   • 2021, Jorge Picado, Aleš Pultr, Separation in Point-Free Topology, Springer Nature, →ISBN, page xii:

     Hence, what are the (hopefully natural) conditions under which they do hold? All this calls for studying the point-free separation.