From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,19924f2facf8443 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!62.111.101.3.MISMATCH!news.germany.com!news.belwue.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Fri, 08 Aug 2008 19:37:15 +0200 From: Georg Bauhaus User-Agent: Thunderbird 2.0.0.16 (Macintosh/20080707) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Larger matrices References: <40ed91c2-3dab-4994-9a7b-4032058f0671@56g2000hsm.googlegroups.com> <4899b545$0$20713$9b4e6d93@newsspool4.arcor-online.net> <96f76821-fc2a-4ec1-83e7-b7b9a5be0520@r66g2000hsg.googlegroups.com> <9cabee20-877a-4fdc-80f8-7746879331da@8g2000hse.googlegroups.com> <489a9675$0$20718$9b4e6d93@newsspool4.arcor-online.net> <75a339dd-969b-4c7a-8e89-7b640171bc2f@e53g2000hsa.googlegroups.com> <13426f2d-0060-47f0-8139-09506383f648@e53g2000hsa.googlegroups.com> <489c2f68$0$1060$9b4e6d93@newsspool3.arcor-online.net> <489c542e$0$12944$9b4e6d93@newsspool2.arcor-online.net> <1d0ueuhuo8z2e.ewzvifms2lau$.dlg@40tude.net> <489c68e1$0$12941$9b4e6d93@newsspool2.arcor-online.net> <1ernhelikct1f$.phk7n6xktz5h.dlg@40tude.net> In-Reply-To: <1ernhelikct1f$.phk7n6xktz5h.dlg@40tude.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <489c844b$0$12953$9b4e6d93@newsspool2.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 08 Aug 2008 19:37:15 CEST NNTP-Posting-Host: 72b36ced.newsspool2.arcor-online.net X-Trace: DXC=9Q_2e6o X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:1559 Date: 2008-08-08T19:37:15+02:00 List-Id: Dmitry A. Kazakov schrieb: >> A systems programming language must provide for the low >> level. > > Nope, it must provide systems programming domain abstractions. Ada does > this. This does not make it low-level. The systems programming domain abstractions are fairly low level. Please, fairly. Yes, there are some higher level abstractions, like the whole of tasking is. But tasking is far from describing the entirety of Ada. You can have the same tasking offered with much higher level PLs. > 1. Considering hardware as the environment. Ada running on an Ada-hardware > (if such existed) [...] > > 2. Considering programming paradigms as the environment, i.e. the terms in > which programs are thought an composed. Ada is again very high level, as it > supports up to 3rd set abstractions: > > value -> type (sets of) -> class / generic (sets of) Wow, "value -> type (set of)" sorts assembly languages just one tiny bit below a type safe generic O-O language: imul / fmul. No constructionist shuffling of artificial categorization frameworks will convince me that Ada is not a systems programming language. C++ is one, too. (For another example, Erlang is reportedly good if helped by a FFI.) And Ada is a rich set of fairly low-level features. (I am not away of an 'Address mechanism in ML (without FFI).) There is no EVAL or COMPILE in Ada. There is no goal directed evaluation. There is no function environment (no upward closures). There are no generators with suspension. There are no comprehensions, no infinite data structurs. There is no symbol manipulation, no expression macros, no inference. There is no higher order anything. There are no solvers. There are no graphics primitives etc.. There are good elementary data types. And then no data structures other than those that the programmer defines using the find construction primitives. Tasks and POs are built into the typesystem. Great for systems programming, and also for higher level things like ... pfhhh, whatever ... But does a shared variable mechanism lift Ada to the level of languages such as APL (which tends to have it, too)? >> A language that does not provide for the low level >> is not a systems programming language. > > A logical fallacy: A => B does not imply A = B. No wonder, you stopped after the first premise ;-) > No chance. O(N**2) is only memory complexity. You should also consider the > number of operations required per element. Naive matrix multiplication is > O(N**3). Factor 10 means (N x 10)**3 thousand times slower! And this is > only the lower bound. But all this is in order learn that the fancy > language X is greatly slower than Ada and is totally unsuitable for > production code? I know it in advance! > You can write an algorithm operating on matrices in O(Absurdly High Degree). The original question was about vector product where one operand is a row of a matrix. The specific problem seems to make it desirable to be able to say, 5 3 .. 14 by . 16 You get the idea. Other algorithms may require more elaborate subset of matrix cells. Use a language that allows you to say, using *builtin* operators, things like "Give me all blocks of neighbours no more than two edges apart." That's high level. -- Georg