On 21 September 2013 16:06, Dan Bron <[email protected]> wrote: > TL;DR: The last sentence of the Vocabulary entry for & is "The phrase x > f@[&0 y is equivalent to f^:x y , apply the monad f x times to y ." But if > you want to know why.... > > It breaks down like this: [...etc] >
Thanks you for that most painstaking explanation. Very much appreciated. I have only recently started using &(bind) with verb arguments, this was pretty much a masterclass to me. PS: Did you notice the sleight of hand? We turned x g@[&0 y into g^:x y ; > the zero simply disappeared! Poof. > Funnily enough, the vanishing zero was about the only bit of it that I *had* understood, having recently dealt with something similar. :) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
