From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
Subject: Re: Ada OS
Date: Wed, 26 Dec 2007 23:48:12 +0100
Date: 2007-12-26T23:48:16+01:00 [thread overview]
Message-ID: <1198709292.7457.10.camel@K72> (raw)
In-Reply-To: <fkuf2r$suf$1@registered.motzarella.org>
On Thu, 2007-12-27 at 02:56 +0600, I. Levashew wrote:
> Next generation OS must be managed in a
> functional way. One property of a function is exploited here: it's
> deterministic.
You mean, the mathematical notion of a function, the one that
---absent monads or a similar feature---asks its programmers
to not consider the operating system issues: time and space?
> It must produce the same results wherever and whenever it
> was invoked.
How would a function like that implement the random numbers device?
next prev parent reply other threads:[~2007-12-26 22:48 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-11-19 13:14 Ada OS Peter Hermann
2007-11-19 18:37 ` tmoran
2007-11-20 10:13 ` Peter Hermann
2007-11-21 20:11 ` Lucretia
2007-11-22 10:13 ` Peter Hermann
2007-11-22 14:50 ` Lucretia
2007-11-23 2:08 ` anon
2007-11-23 9:46 ` Peter Hermann
2007-11-23 13:02 ` Maciej Sobczak
2007-11-24 0:34 ` Brian May
2007-11-27 1:34 ` Randy Brukardt
2007-12-20 7:52 ` I. Levashew
2007-12-20 7:54 ` I. Levashew
2007-12-21 11:29 ` anon
2007-12-24 5:41 ` Paul
2007-12-26 19:49 ` OpenBSD and Ada (was: Re: Ada OS) Tero Koskinen
2007-12-28 15:04 ` Ada lacks support greatly (was: OpenBSD and Ada) Rico Secada
2007-12-30 20:28 ` Ada lacks support greatly Florian Weimer
2007-12-29 0:39 ` OpenBSD and Ada Samuel Tardieu
2007-12-26 20:56 ` Ada OS I. Levashew
2007-12-26 21:56 ` Dmitry A. Kazakov
2007-12-26 22:48 ` Georg Bauhaus [this message]
2007-12-27 9:26 ` Dmitry A. Kazakov
2007-12-28 1:28 ` I. Levashew
2008-01-08 16:07 ` Thomas Preymesser
2008-01-08 18:04 ` anon
2008-01-08 19:19 ` Georg Bauhaus
2008-01-08 20:58 ` Simon Wright
2008-01-08 22:34 ` anon
2008-01-09 1:15 ` Jeffrey Creem
2008-01-09 19:32 ` anon
2008-01-09 20:50 ` Georg Bauhaus
2008-01-09 21:15 ` Simon Wright
2008-01-08 21:27 ` Simon Wright
2008-01-08 22:19 ` Simon Wright
2008-01-09 8:04 ` Ole-Hjalmar Kristensen
[not found] <fe4bb2c2.0208052200.77d14528@posting.google.com>
2002-08-10 8:16 ` AFS97209
2002-08-10 18:32 ` Caffeine Junky
2002-08-11 4:10 ` Marc Spitzer
2002-08-11 4:32 ` Christopher Browne
2002-08-12 7:47 ` antoine terrienne
2002-08-13 17:43 ` Marin D. Condic
2002-08-13 15:46 ` Wes Groleau
2002-08-13 16:44 ` Christopher Browne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox