[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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.