On Sat, 2012-04-14 at 02:38 +0800, programming-requ...@jsoftware.com
wrote:
> Date: Fri, 13 Apr 2012 14:18:41 -0400
> From: Raul Miller <rauldmil...@gmail.com>
> Subject: Re: [Jprogramming] Functors in mathematics,    Haskell and an
>         example in J
> To: Programming forum <programming@jsoftware.com>
> 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

Reply via email to