Category:Programming paradigm/Tacit

Revision as of 12:55, 3 January 2024 by imported>MaD70 (Better definition and added another reference)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Programming paradigm/Tacit is a programming language feature.

Tacit programming, also called point-free style, is a programming style in which function definitions refer implicitly (i.e. not by name) to arguments (or "points") on which they operate. They compose other functions, among which are combinators that manipulate the arguments.

See also:

References:

  • John Backus. 1978. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Commun. ACM 21, 8 (Aug. 1978), 613–641. https://doi.org/10.1145/359576.359579
  • Henry G. Baker. 1994. Linear logic and permutation stacks—the Forth shall be first. SIGARCH Comput. Archit. News 22, 1 (March 1994), 34–43. https://doi.org/10.1145/181993.181999

Subcategories

This category has the following 4 subcategories, out of 4 total.

B

  • BQN(1 C, 272 P)

J

  • J(3 C, 1,413 P)
  • Jq(2 C, 1,138 P)

L