Re: The importance and relevance of FP

2000-08-15 Thread Friedrich Dominicus
> > This is, needless to say, something of a matter of opinion and historical > interpretation. I wouldn't call LISP an FP language, though it is surely > ancestral to many FP languages, and many FP concepts have their basis in > LISP features. Could you explain why Lisp isn't a FP language? I t

Re: The importance and relevance of FP

2000-08-15 Thread Craig Dickson
Jacques Lemire wrote: > On the contrary, languages like C++ (and Java) and > C# are full of concepts and ideas coming from FP > languages. For example, the catch/try/throw construct > is coming directly from Common Lisp (Lisp is a > (although impure) FP language). This is, needless to say, som

The importance and relevance of FP

2000-08-15 Thread Jacques Lemire
Mr Rawson wrote:   = However, almost no one is even thinking about FP.  I think NGWS willbe the kiss of death for FP in the large -- OO just seems 90 degrees out ofphase with FP.  =   On the contrary,  languages like C++ (and Java) and C#  are f

Haskell Applications?

2000-08-15 Thread J. J. Wright
Does anyone know of any advanced books on Haskell? Or can anyone recommend a good source of information on producing applications written in Haskell? I am a third year undergraduate student at Leicester University, and am aiming to use haskell, combined with the Haskell-Tk binding developed by Ei

RE: Haskell and the NGWS Runtime

2000-08-15 Thread Doug Ransom
I think most C++ programmers realize C++ for what it is, a poorly designed portable object oriented assembler language. Most C++ programmers use C++ because they program for windows and COM, and the only other real choices of development environments are VB and Delphi (which I do not know anything

basAlgPropos, dependent types

2000-08-15 Thread S.D.Mechveliani
Dear haskellers, I suggest the two points to your attention. New basAlgPropos materials reside in http://www.botik.ru/pub/local/Mechveliani/basAlgPropos /haskellInCA.ps.zip /bal-

Re: monadic source of randomness

2000-08-15 Thread Koen Claessen
Shin-Cheng Mu wrote: | Undoubtedly you can write your own monad and encapsulate | the random number generation yourself. It is just an | instance of a state monad. A state monad has (like you say) the disadvantage that it is single threaded. A big problem then is laziness; it becomes impossi

Re: monadic source of randomness

2000-08-15 Thread Shin-Cheng Mu
Hello, Undoubtedly you can write your own monad and encapsulate the random number generation yourself. It is just an instance of a state monad. Nevertheless, the problem of using state monads for random number generation is that the code must be single-threaded, which is sometimes too restric

Re: Haskell and the NGWS Runtime

2000-08-15 Thread S. Achterop IWI-120 3932
Fergus Henderson wrote: > > On 14-Aug-2000, Benjamin Leon Russell <[EMAIL PROTECTED]> wrote: > > > > Ah, a testable hypothesis! If you are right, then you should be able to > > provide an example of a language that meets the requirements of writing > > both low-level kernel code and most user ap

Re: Haskell and the NGWS Runtime

2000-08-15 Thread Fergus Henderson
On 14-Aug-2000, Benjamin Leon Russell <[EMAIL PROTECTED]> wrote: > Tyson Dowd <[EMAIL PROTECTED]> wrote: > > I don't believe you can teach programmers anything by > > trying to take > > tools away from them. > > > > I believe you can only teach programmers by showing them > > a better tool. > >