Y combinator: Difference between revisions
m
J: essay
m (J: essay) |
|||
Line 3,158:
=={{header|J}}==
See also: [[j:Essays/Combinators]]
===Non-tacit version===
Unfortunately, in principle, J functions cannot take functions of the same type as arguments. In other words, verbs (functions) cannot take verbs, and adverbs or conjunctions (higher-order functions) cannot take adverbs or conjunctions. This implementation uses the body, a literal (string), of an explicit adverb (a higher-order function with a left argument) as the argument for Y, to represent the adverb for which the product of Y is a fixed-point verb; Y itself is also an adverb.
|