On Sat, 2012-04-14 at 02:38 +0800, [email protected]
wrote:
> Date: Fri, 13 Apr 2012 14:18:41 -0400
> From: Raul Miller <[email protected]>
> Subject: Re: [Jprogramming] Functors in mathematics, Haskell and an
> example in J
> To: Programming forum <[email protected]>
> Message-ID:
> <cad2jou85gzfc1k5c953pu-yuadl-n2evkai-mzq4gp0irac...@mail.gmail.com>
Bravo! Raul made these basic concepts concrete
> arrow=: 2 :0
> assert. n -: y
> u y
> )
>...etceteras
demonstrating the general applicability of Iverson notation. I'm afraid
one of the more useful things I'll take from the discussions is merely
that 1 -: '' {:: <1 . Previously I'd have tried 0 {:: <1 giving length
error, eventually resolved by raveling the rank 0 box.
1 -: 0 {:: ,<1
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm