Re: Haskell and the NGWS Runtime

2000-08-10 Thread Tyson Dowd
On 10-Aug-2000, Brent Fulgham <[EMAIL PROTECTED]> wrote: > > You can download it here: > > http://msdn.microsoft.com/net/#sdk > > > > There is a C# compiler and runtime environment in the SDK. > > > > Thanks for the link! Unfortunately, its click-through > license forbids disassembly, reve

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Tyson Dowd
On 10-Aug-2000, Theodore Norvell <[EMAIL PROTECTED]> wrote: > Thanks to Nigel for answering my question > > Tyson Dowd wrote: > > > Microsoft indicates that C# will not support "genericity", through > > > even anything as crude as C++'s templates, so it is unlikely that > > > they will seek to su

Re: GC in embedded systems (was Re: Haskell and the NGWS Runtime)

2000-08-10 Thread Manuel M. T. Chakravarty
Adrian Hey <[EMAIL PROTECTED]> wrote, > My objection to the use of GC (and by implication all current Haskell > implementations) in embedded systems would be that if your program is > sufficiently complex/powerful that it can't be implemented as some kind > of _finite_ state machine, then it can

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Manuel M. T. Chakravarty
Byron Hale <[EMAIL PROTECTED]> wrote, > At 06:46 PM 8/10/2000 -0400, you wrote: > >What bothers me most about C# is that although, at first glance, it seems > >to be a variation on Java, it doesn't follow the spirit of Java in at > >least one important respect. > > > >Specifically, one common a

Re: GC in embedded systems (was Re: Haskell and the NGWS Runtime)

2000-08-10 Thread Byron Hale
At 05:21 AM 8/11/2000 +0100, you wrote: >On Fri 11 Aug, Byron Hale wrote: > > Also, garbage collection is unlikely to satisfy any need > > for automatic memory management in real-time systems for the foreseeable > > future because an extra thread on a single processor is still > > non-deterministi

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Lyndon While
At 6:46 pm -0400 10/8/2000, Benjamin Leon Russell wrote: >Somebody once wrote that a clearly written, well-documented program >that doesn't work is usually more valuable than a badly written, >poorly-documented program that does work because it can easily be >fixed and reused. Who wrote this?

GC in embedded systems (was Re: Haskell and the NGWS Runtime)

2000-08-10 Thread Adrian Hey
On Fri 11 Aug, Byron Hale wrote: > Also, garbage collection is unlikely to satisfy any need > for automatic memory management in real-time systems for the foreseeable > future because an extra thread on a single processor is still > non-deterministic. I'm not sure this is true, doesn't it depe

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Manuel M. T. Chakravarty
Ketil Malde <[EMAIL PROTECTED]> wrote, > "Manuel M. T. Chakravarty" <[EMAIL PROTECTED]> writes: > > > A good analysis of were C# fits re Java and C++ is at > > > > http://slashdot.org/article.pl?sid=00/08/09/1612254&mode=thread > > Wherein we read: > > > One new feature that I mentioned alr

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Antony Courtney
Benjamin Leon Russell wrote: > > [example of an unsafe method in C#] > > Taken to an extreme, this ability could encourage some programmers to > ignore the spirit of higher-level abstraction and focus back on The Old > Way (TOW): rampant pointer-level optimization to squeeze out that extra > iot

Re: doubles

2000-08-10 Thread Ralf Muschall
Sebastian Schulz <[EMAIL PROTECTED]> writes: > John Peterson wrote: > > Or you can just set USE_DOUBLE_PRECISION in options.h if you want to I did that (to be precise, I had to do it every time when building hugs :-( ). pi::Double is defined by the prelude as primPiDouble, and this seems to be

RE: Why is the following not lazy?

2000-08-10 Thread Sigbjorn Finne
Hi, you'll need to loosen up your data dependencies a little. Consider the following expression, let action = a1 >> a2 >> ... >> an in runI action 'runI' forces the evaluation of an IState, which according to your (>>=) defn, action's IState will be the one that 'an' evaluates to/returns.

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Byron Hale
At 06:46 PM 8/10/2000 -0400, you wrote: >What bothers me most about C# is that although, at first glance, it seems >to be a variation on Java, it doesn't follow the spirit of Java in at >least one important respect. > >Specifically, one common advantage of both Haskell and Java is that they >en

Why is the following not lazy?

2000-08-10 Thread Sengan
I'm writing a program that involves the use of an interaction Monad. However it seems to be insufficiently lazy to provide any interaction. The following code is derived from my original but highly simplified. Why is "works" lazy, but "main" is not? Thanks for any help Sengan > module Main(main

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Craig Dickson
Benjamin Leon Russell wrote: > However, according to the C# Language Reference, > "For developers who are generally content with > automatic memory management but sometimes need > fine-grained control or that extra iota of > performance, C# provides the ability to write > “unsafe” code. Such code

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Benjamin Leon Russell
What bothers me most about C# is that although, at first glance, it seems to be a variation on Java, it doesn't follow the spirit of Java in at least one important respect. Specifically, one common advantage of both Haskell and Java is that they encourage higher-order abstraction: Haskell thr

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Fergus Henderson
On 10-Aug-2000, Theodore Norvell <[EMAIL PROTECTED]> wrote: > With Haskell# or Mondrian: Can I use C# to create an instance of > a Haskell class? Can I use Haskell to extend a C# abstract class? > I suspect the answer to both these questions is currently no. I'm not sure either, but I think the a

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Fergus Henderson
On 10-Aug-2000, Brent Fulgham <[EMAIL PROTECTED]> wrote: > I hope they at least get rid of > the hungarian notation while they are at it. Yes, thankfullly they have indeed done that. That one got a round of applause even from the (mostly) Microsoft faithful who attended PDC, when it was mention

Re: monadic source of randomness

2000-08-10 Thread Dana Harrington
>>> Does anybody know of work using monads to encapsulate a source of >>> random numbers? >> Is the global random number generator, in section >> 17.3 of the Haskell 98 library report, the sort of thing you're after? > No; that appears to embed a generator in the IO monad. Not what I'd > hoped f

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Theodore Norvell
Thanks to Nigel for answering my question Tyson Dowd wrote: > > Microsoft indicates that C# will not support "genericity", through > > even anything as crude as C++'s templates, so it is unlikely that > > they will seek to support functional programming languages in the > > short term. Perhaps t

Re: doubles

2000-08-10 Thread Jan Skibinski
> > Aha . And how many digits will GHC offer me? I would think that you will get the same number of digits as is available for C - unless some bits are reserved for something special, which I am not aware of. For example, in some implementations of Smalltalk the

Re: doubles

2000-08-10 Thread Sebastian Schulz
John Peterson wrote: > > Or you can just set USE_DOUBLE_PRECISION in options.h if you want to > rebuild hugs. > > John Same question as to Jan : how many significant digits will that change give me? regards seb --

Re: doubles

2000-08-10 Thread Sebastian Schulz
Jan Skibinski wrote: > > 1. What you see printed and what is used in internal >computations are two different things. In HUGS I can see 6 digits. How many are used in the intrnal computation? > 2. But Hugs'es Double is the same as Float, anyway. >This use

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Craig Dickson
Brent Fulgham wrote: > Thanks for the link! Unfortunately, its click-through > license forbids disassembly, reverse engineering, and a > raft of other endeavors that one should be allowed if > they were truly interested in global acceptance. Well, this _is_ Microsoft, after all. > Of course, a

Re: doubles

2000-08-10 Thread John Peterson
Or you can just set USE_DOUBLE_PRECISION in options.h if you want to rebuild hugs. John

Re: doubles

2000-08-10 Thread Jan Skibinski
On Thu, 10 Aug 2000, Sebastian Schulz wrote: > Hi! > > How can I use Doubles which are more exact than six digits? > For example HUGS gives me : > > >1,23456789 > 1.23457 1. What you see printed and what is used in internal computations are two different things. 2

doubles

2000-08-10 Thread Sebastian Schulz
Hi! How can I use Doubles which are more exact than six digits? For example HUGS gives me : >1,23456789 1.23457 I want to rotate coordinates with eulerian matrizes and I'm using the pi from the Prelude ( 6 digits). After about 1000 360°-rotations I have an error of about 0.1% ; but I want it m

RE: Haskell and the NGWS Runtime

2000-08-10 Thread Brent Fulgham
> You can download it here: > http://msdn.microsoft.com/net/#sdk > > There is a C# compiler and runtime environment in the SDK. > Thanks for the link! Unfortunately, its click-through license forbids disassembly, reverse engineering, and a raft of other endeavors that one should be allow

RE: Haskell and the NGWS Runtime

2000-08-10 Thread Doug Ransom
Interesting results might be generated if Microsoft were to provide the entire C# team and the team designing the virtual machine 2 weeks to learn Haskell and play with it. -Original Message- From: Tyson Dowd [mailto:[EMAIL PROTECTED]] Sent: Wednesday, August 09, 2000 9:26 PM To: Bren

Erlang User Conference, October 3, Stockholm

2000-08-10 Thread Bjarne Däcker
Call for Participation Erlang users and other interested parties are invited to the Sixth Erlang/OTP User Conference which will take place in Älvsjö, Stockholm, on the 3rd of October. All information, conference program, how to register, where to go, how to pay, etc. etc. can be found in h

Re: Haskell and the NGWS Runtime

2000-08-10 Thread Keith Wansbrough
Florian Hard <[EMAIL PROTECTED]> writes: > How did they say on segfault.org: > >Microsoft plans to expand Marketese in the future, adding a pound sign >to every language currently in their suite of compilers and a plus >sign to every acronym currently used to describe Microsoft techn

Re: monadic source of randomness

2000-08-10 Thread Fergus Henderson
On 09-Aug-2000, Carl R. Witty <[EMAIL PROTECTED]> wrote: > Norman Ramsey <[EMAIL PROTECTED]> writes: > > > Does anybody know of work using monads to encapsulate a source of > > random numbers? A quick web search suggested Haskell 98 did not take > > this path. I'd be curious for any insights w