Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Donald Bruce Stewart
mechvel: > On Mon, Apr 26, 2004 at 04:06:22PM +0100, Philippa Cowderoy wrote: > > On Mon, 26 Apr 2004, Serge D. Mechveliani wrote: > > > > > Alexander is right. > > > > > > Also as Integer has more sense than Int, > > > > > > > To ask a silly question, is Int defined as 32 bits or is it define

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Serge D. Mechveliani
On Mon, Apr 26, 2004 at 10:09:18PM +0200, Ketil Malde wrote: > "Serge D. Mechveliani" <[EMAIL PROTECTED]> writes: > > > Alexander is right. > > > > Also as Integer has more sense than Int, > > I would suggest for the future standard Haskell library to have > > Integer as default. For example

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Serge D. Mechveliani
On Mon, Apr 26, 2004 at 04:06:22PM +0100, Philippa Cowderoy wrote: > On Mon, 26 Apr 2004, Serge D. Mechveliani wrote: > > > Alexander is right. > > > > Also as Integer has more sense than Int, > > > > To ask a silly question, is Int defined as 32 bits or is it defined in a > similar vein to C'

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread ajb
G'day all. Quoting "S. Alexander Jacobson" <[EMAIL PROTECTED]>: > I'll cite that hoary Hoare quotation here. > "Premature optimization is the root of all evil." Agreed! In particular, functions meant for general use, especially in the standard library, should not optimise for a specific case an

[Haskell] Re: ANNOUNCE: GHC version 6.2.1

2004-04-26 Thread Donald Bruce Stewart
simonmar: > > > The (Interactive) Glasgow Haskell Compiler -- version 6.2.1 > > > We are pleased to announce a new patchlevel release of the Glasgow > Haskell Compil

Re: [Haskell] sizeFM type

2004-04-26 Thread Don Groves
On Mon, 26 Apr 2004 21:21:09 +0200, Remi Turk <[EMAIL PROTECTED]> wrote: On Mon, Apr 26, 2004 at 08:58:53PM +0200, Wolfgang Jeltsch wrote: Am Montag, 26. April 2004 20:45 schrieb Don Groves: > Some languages handle the Int/Integer question automatically, > determined by the size of the integer in

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Ketil Malde
"Serge D. Mechveliani" <[EMAIL PROTECTED]> writes: > Alexander is right. > > Also as Integer has more sense than Int, > I would suggest for the future standard Haskell library to have > Integer as default. For example: > length :: [a] -> Integer >

Re: [Haskell] Why is newChan in the IO Monad?

2004-04-26 Thread Jan-Willem Maessen - Sun Labs East
If you want to pass in a splittable supply, I recommend saving yourself the trouble of building the plumbing. Instead, try the Supply library which I wrote a few years back: http://csg.lcs.mit.edu/~earwig/haskell-lib/index.html You can create a splittable supply of channels using > chanSu

Re: [Haskell] sizeFM type

2004-04-26 Thread Remi Turk
On Mon, Apr 26, 2004 at 08:58:53PM +0200, Wolfgang Jeltsch wrote: > Am Montag, 26. April 2004 20:45 schrieb Don Groves: > > Some languages handle the Int/Integer question automatically, > > determined by the size of the integer in question. Int is used > > until the integer excedes what the underl

Re: [Haskell] sizeFM type

2004-04-26 Thread Wolfgang Jeltsch
Am Montag, 26. April 2004 20:45 schrieb Don Groves: > [...] > Hello, Haskell newbie here. > > Some languages handle the Int/Integer question automatically, > determined by the size of the integer in question. Int is used > until the integer excedes what the underlying architecture can > handle, t

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Don Groves
On Mon, 26 Apr 2004 20:20:10 +0200, Sven Panne <[EMAIL PROTECTED]> wrote: Perhaps one could drop the Int/Integer distinction altogether if there was a global switch for what "Int" should mean. But separate compilation and the FFI would complicate things quite a bit then, I guess. Hello, Haskell n

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread S. Alexander Jacobson
On Mon, 26 Apr 2004, Robert Will wrote: > I understand the Int type to be as large as pointers on each kind of > hardware. So one cannot possible have any data structure whose size > doesn't fit in an Int. If my data structure is created/destroyed lazily, I don't see why not. Trivially, [0..2^12

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Sven Panne
Robert Will wrote: I understand the Int type to be as large as pointers on each kind of hardware. [...] ... excluding "unimportant" architectures like DEC Alpha (at least with one of DEC's early C compilers), x86 in real mode, tons of embedded processors in hundreds of millions of mobile phones, di

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Robert Will
> On Sun, Apr 25, 2004 at 03:18:20PM -0400, S. Alexander Jacobson wrote: > > > >[..] > > Dell's Poweredge servers address up to 32GB of > > memory today! There are already 5.7 billion > > people on the planet (>2^31) and 741 million phone > > lines. In my mind, there is NO QUESTION that 2^31 > >

Re: [Haskell] sizeFM type

2004-04-26 Thread Malcolm Wallace
Wolfgang Jeltsch <[EMAIL PROTECTED]> writes: > > To ask a silly question, is Int defined as 32 bits or is it defined in a > > similar vein to C's int? > > I think it is defined to cover at least the numbers from > -(2 ^ 27) + 1 > to > 2 ^ 27 - 1. Actually, according to section 6.4 of the

Re: [Haskell] sizeFM type

2004-04-26 Thread Wolfgang Jeltsch
Am Montag, 26. April 2004 17:06 schrieb Philippa Cowderoy: > [...] > To ask a silly question, is Int defined as 32 bits or is it defined in a > similar vein to C's int? I think it is defined to cover at least the numbers from -(2 ^ 27) + 1 to 2 ^ 27 - 1. So its exact range is implementati

Re: [Haskell] Re: sizeFM type

2004-04-26 Thread Philippa Cowderoy
On Mon, 26 Apr 2004, Serge D. Mechveliani wrote: > Alexander is right. > > Also as Integer has more sense than Int, > To ask a silly question, is Int defined as 32 bits or is it defined in a similar vein to C's int? -- [EMAIL PROTECTED] ___ Haskell

[Haskell] Re: sizeFM type

2004-04-26 Thread Serge D. Mechveliani
Alexander is right. Also as Integer has more sense than Int, I would suggest for the future standard Haskell library to have Integer as default. For example: length :: [a] -> Integer smallLength :: [a] -> Int ---

[Haskell] UNIF'04 workshop @ IJCAR 2004: First Call for Papers

2004-04-26 Thread Michael Kohlhase
[ Apologies for multiple copies which are unavoidable. -Michael. ] First Call for Papers/Abstracts/System descriptions UNIF 2004 18th International Workshop on Unification July 4-5, 2004, Cork, Ireland

[Haskell] WSC9 - Call for Papers

2004-04-26 Thread Ajith Abraham
** WSC9 - Call for Papers *** ### FREE ONLINE CONFERENCE ### WSC9: 9th Online World Conference on Soft Computing in Industrial Applications September 20th - October 08th, 2004 ** On the World Wide Web ** Conference URL: http://www.cs.nmt.edu/~wsc9/ Mirror: http://wsc9.softcomputing.net/ Ge

Re: [Haskell] a newbie question

2004-04-26 Thread Tom Pledger
[EMAIL PROTECTED] wrote: Hi there. I got this question while I'm messing around with my toy monad. I was thinking about creating a generic monad that can persist state change even when fail is called. The StateT monad will discard the state change so it makes it hard to add tracing to the progra

Re: [Haskell] Why is newChan in the IO Monad?

2004-04-26 Thread Alastair Reid
On Friday 23 April 2004 20:05, S. Alexander Jacobson wrote: > Yes, that makes sense, but I'm ok with passing in > an identity. I'd like a function like this: > > newChanSafe::Identity -> Chan a > type Identity = Double -- or whatever As Nick observes, using this function would require you to