From: Maciej Sobczak <see.my.homepage@gmail.com>
Cc: mailbox@dmitry-kazakov.de
Subject: Re: Little people supporting Ada, possibly through AdaCore?
Date: Thu, 19 Jul 2012 00:45:19 -0700 (PDT)
Date: 2012-07-19T00:45:19-07:00 [thread overview]
Message-ID: <a7887fa9-f298-46af-8c84-c68eca67ad4c@googlegroups.com> (raw)
In-Reply-To: <b5ps05xpprxg$.1e2yxwtsy6v9f.dlg@40tude.net>
W dniu środa, 18 lipca 2012 19:14:35 UTC+2 użytkownik Dmitry A. Kazakov napisał:
> True. However a set of truly unordered elements cannot be implemented
> otherwise than on top of an ordered set.
Why?
> E.g. to be able to implement
> membership test.
Membership test does not require any order.
> It is interesting to speculate about the interface of an unordered set such
> that the clients could not exploit its ad-hoc order.
Make it... parallel?
You know, instead of relying on sequential algorithms try to think in terms similar to those in ParaSail. Membership test is a question asked to multiple tasks (representing subsets or even individual elements from the domain), where at most one of them will answer "yes".
Inefficient? This depends on the hardware - our current hardware is sequential in nature where parallelism is an afterthought, but take molecular computing into account and things start to look a lot different.
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
next prev parent reply other threads:[~2012-07-26 1:01 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-05-04 13:26 Little people supporting Ada, possibly through AdaCore? Patrick
2012-05-04 14:36 ` Marc C
2012-07-16 15:47 ` Adrian Hoe
2012-07-16 18:13 ` Marc C
2012-07-17 1:58 ` Adrian Hoe
2012-07-17 6:00 ` Thomas Løcke
2012-07-17 13:47 ` Adrian Hoe
2012-07-17 15:06 ` Thomas Løcke
2012-07-18 13:33 ` Marc C
2012-07-18 17:14 ` Dmitry A. Kazakov
2012-07-18 17:49 ` Simon Wright
2012-07-18 20:57 ` Vasiliy Molostov
2012-07-19 8:08 ` Dmitry A. Kazakov
2012-07-19 12:12 ` Vasiliy Molostov
2012-07-19 13:22 ` Georg Bauhaus
2012-07-21 17:01 ` Vasiliy Molostov
2012-07-20 2:51 ` Randy Brukardt
2012-07-21 17:04 ` Vasiliy Molostov
2012-07-19 7:45 ` Maciej Sobczak [this message]
2012-07-19 8:23 ` Dmitry A. Kazakov
2012-07-19 12:42 ` Maciej Sobczak
2012-07-19 14:05 ` Dmitry A. Kazakov
2012-07-19 1:01 ` gautier_niouzes
2012-05-04 17:55 ` Manuel Gomez
2012-05-04 19:59 ` okellogg
2012-05-05 17:13 ` Simon Wright
2012-05-06 16:26 ` okellogg
2012-05-06 16:42 ` Yannick Duchêne (Hibou57)
2012-05-06 16:55 ` Simon Wright
2012-05-06 17:21 ` Yannick Duchêne (Hibou57)
2012-05-06 19:33 ` Simon Wright
2012-05-20 13:38 ` okellogg
2012-05-05 14:17 ` Marco
2012-05-06 13:01 ` Lucretia
2012-05-04 19:28 ` gautier_niouzes
2012-05-05 13:28 ` Pascal Obry
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox