Re: [Haskell] Re: About Random Integer without IO

2004-11-12 Thread Dylan Thurston
On Fri, Nov 12, 2004 at 02:15:51PM +0100, Jerzy Karczmarczuk wrote: > First, we don't care about 'real random' numbers, actually there are > problems even with their definition. We need sequences which > *behave* randomly, from the point of view of feasible tests, > spectral/statistical; correlatio

Re: [Haskell] Re: About Random Integer without IO

2004-11-12 Thread Keean Schupke
I am sorry, but you are wrong. You cannot programmatically generate a sequence of random numbers - this is a mathematical fact and has nothing to do with discussions about brains and turing machines. Secondly the 'ergodic' functions you describe _will_ produce the same sequence every time they

Re: [Haskell] Re: About Random Integer without IO

2004-11-12 Thread Jerzy Karczmarczuk
This is my *last* word, promised... Keean Schupke wrote: Hmm... It is impossible to write a purely functional program to generate random numbers. Not only that it is impossible for a computer to generate random numbers (except using hardware like a noise generator). Pseudo random numbers require

Re: [Haskell] Re: About Random Integer without IO

2004-11-12 Thread Keean Schupke
Hmm... It is impossible to write a purely functional program to generate random numbers. Not only that it is impossible for a computer to generate random numbers (except using hardware like a noise generator). Pseudo random numbers require a seed. Functional programs by definition only depend o

Re: [Haskell] Re: About Random Integer without IO

2004-11-11 Thread Clive Brettingham-Moore
This really really should have moved to haskell-cafe as previously suggested (sending to both with this in mind); apologies for being a little confising to haskell-cafe This isn't a language design issue, it is a FAQ, or at best a nebulous conceptual debate (speaking of which, has anyone got somet

[Haskell] Re: About Random Integer without IO

2004-11-11 Thread karczma
Thomas Davie writes, commenting my statement that one does need any 'stateful' (monadic, etc.) RN generator initializer within the program, since you can always pass a parameter during its launching. While I agree that it is often useful to start your program with different parameters each time

[Haskell] Re: About Random Integer without IO

2004-11-11 Thread Thomas Davie
On 11 Nov 2004, at 22:02, karczma wrote: Thomas Davie writes: This method unfortunately depends on having a seed first though. Which "this method"? Please, quote the text you are referring to *before* your answer. One must use a different value every time the program is started, commonly time or

[Haskell] Re: About Random Integer without IO

2004-11-11 Thread karczma
Thomas Davie writes: This method unfortunately depends on having a seed first though. Which "this method"? Please, quote the text you are referring to *before* your answer. One must use a different value every time the program is started, commonly time or the first few bytes from /dev/rando

Re: [Haskell] Re: About Random Integer without IO

2004-11-11 Thread Thomas Davie
This method unfortunately depends on having a seed first though. One must use a different value every time the program is started, commonly time or the first few bytes from /dev/random. Any one of these is going to require a monadic function to generate (i.e. it must come from the environment

[Haskell] Re: About Random Integer without IO

2004-11-11 Thread karczma
Georg Martius answers the request of: Jose Manuel Hernando Cobeƃa I need generate random numbers by create polygons with "wxHaskell", I am searching in the web, but all I only find IO functions like test :: Integer -> IO Integer ... I need this but with types :: Integer -> Integer you need to rea