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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.