>>1You're not hoping to get anywhere near the space reduction, are you? Because you'd basically need APL/J/K for that. I've seen 10k lines of C reduced to 7 lines of K (granted it had to do with calculations in 3D.) Syntax isn't enough, you need the operations, and adverbs.
On the flipside I've found you get a small but significant fraction of APL in Perl 6, with hyper/meta ops. I don't know if there's a good concise way to handle rank intelligently. I suspect there is but I havne't given it much thought.
>>9While J is full of monads, virtually every one can be called dyadically. This solves the problem neatly. Functor juggling is not typically done with monads, however. Some dyads are used but I think they're mostly done with adverbs.
But I could be talking out of my ass.