[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-apl] IOTA
From: |
Mike Duvos |
Subject: |
Re: [Bug-apl] IOTA |
Date: |
Sun, 6 Mar 2016 08:08:41 -0800 |
Hi Jürgen,
When James A. Brown wrote APL2, he based his arrays on Trenchard
More's "Array Theory", an attempt to give nested rectangular arrays an
axiomatic foundation equivalent to that of set theory. The major
implementation of this idea is in the language NIAL, of which Q'NIAL
is a popular incarnation.
I haven't read More's paper, but I would assume that for array theory
to be consistent, enclose of a non-simple scalar can't be a no-op,
because disclose of a non-simple scalar isn't a no-op, and enclose and
disclose need to be inverses of each other.
Regards,
Mike
- Re: [Bug-apl] IOTA, (continued)
- Re: [Bug-apl] IOTA, Jay Foad, 2016/03/03
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/03
- Re: [Bug-apl] IOTA, Jay Foad, 2016/03/03
- Re: [Bug-apl] IOTA, Kacper Gutowski, 2016/03/03
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/03
- Re: [Bug-apl] IOTA, Elias Mårtenson, 2016/03/03
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/03
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/03
- Re: [Bug-apl] IOTA, Mike Duvos, 2016/03/03
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/03
- Re: [Bug-apl] IOTA,
Mike Duvos <=
- Re: [Bug-apl] IOTA, Juergen Sauermann, 2016/03/06
Re: [Bug-apl] IOTA, Christian Robert, 2016/03/01
Re: [Bug-apl] IOTA, Ala'a Mohammad, 2016/03/03