comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Lotto simulation
Date: Sun, 15 Jun 2014 21:53:11 +0200
Date: 2014-06-15T21:53:11+02:00	[thread overview]
Message-ID: <lnktj7$gp$1@dont-email.me> (raw)
In-Reply-To: <alpine.DEB.2.10.1406152040130.4330@debian>

Le 15/06/2014 20:54, Stefan.Lucks@uni-weimar.de a écrit :
> The alternative is to (2n) instantiate a single random generator (I've
> forgotten the package name, but it is not A.N.Discrete_Random), which
> just generates a Float F_Rand between 0 and 1. Then set R_I :=
> Truncate(1 + F_Rand * (50-I)).
This is not equivalent. I don't remember the details, but in the making
of Ada 95 there was a furious discussion between numericists about
whether it was possible to make a discrete random generator given a
floating point random generator.

After megabytes of E-mail discussion, they concluded that NO, it was not
possible, and therefore that Ada should have both.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  reply	other threads:[~2014-06-15 19:53 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-06-15 17:07 Lotto simulation montgrimpulo
2014-06-15 18:54 ` Stefan.Lucks
2014-06-15 19:53   ` J-P. Rosen [this message]
2014-06-16  5:25     ` Stefan.Lucks
2014-06-16  7:49       ` J-P. Rosen
2014-06-16 11:15         ` Stefan.Lucks
2014-06-16 13:40           ` J-P. Rosen
2014-06-16 14:13             ` Natasha Kerensikova
2014-06-16 17:51             ` Randy Brukardt
2014-06-15 19:56 ` Denis McMahon
2014-06-15 20:10 ` Dirk Heinrichs
2014-06-15 20:43   ` Simon Wright
2014-06-16 20:22     ` Dirk Heinrichs
2014-06-15 20:54 ` Simon Wright
2014-06-15 22:09 ` Jeffrey Carter
2014-06-16 11:40 ` Markus Schöpflin
2014-06-16 14:25   ` Jacob Sparre Andersen
2014-06-16 12:02 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox