[stack] Meta-combinators?
"Christopher Diggins" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
I have been intrigued by two typed-combinators which I haven't noticed
in Joy, and that I am considering adding to Cat.
I am calling them producer and consumer.
consumer : (('A -> 'B) -> ('A -> ))
producer : ('A ('A -> 'B) -> 'A ( -> 'B))
The consumer transforms any function into a new function which
produces nothing, but consumes what was expected.
The producer transforms any function into a new function which
consumes nothing, but produces the result as if it was fed the stack
configuration when it was created.
Production is like a generalized form of currying.
How would this be possible in the general case in Joy? Or Factor, or
any other concatenative language for that matter?
Thanks,
Christopher
--
http://www.cdiggins.com