Re: poll: polymorphic let bindings in do

2000-06-04 Thread Koen Claessen
John Launchbury and Levent Erkok wrote: | We are trying to determine how important it is to have | polymorphic let-bindings in the do-expression. You cannot ask a question like this without explaining why you are interested in this subject! :-) Just out of curiosity... (I think that it is has

A challenge for computer science?

2000-06-04 Thread Colin Paul Adams
I quite appreciate the expressive power of Haskell, but of course it's quite useless for real applications. There's provocation for you! What I should say, is that it is too slow for my application, which is to play the ancient game of Chu Shogi (Middle Japanese Chess). Anyway, a problem has

confused

2000-06-04 Thread Roy Haskell
Dear Friend I was recently browsing the web and came across an article HOW TO DO EXCEPTIONS IN HASKELL (I think) and I'm very curious what it's all about. The reason for my curiosity is simply that my name is Haskell and currently reside in South Africa but am originally from Manchester in the

Re: Module QuantumVector

2000-06-04 Thread Jan Skibinski
On Fri, 2 Jun 2000, Jerzy Karczmarczuk wrote: I hope that this work will progress. So it does. I started working on linear operators. New version of the module is available for downloading. Much still needs to be done, but the closure formula is already

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Lennart Augustsson
Koen Claessen wrote: which you want to depend on a few state variables or something, then I do the following: funWrapper y = runST computation where computation = do var - newSTRef [] let fun x = .. var .. x .. fun y Where is the polymorphism?

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Koen Claessen
Lennart Augustsson wrote: |funWrapper y = runST computation | where |computation = | do var - newSTRef [] | let fun x = .. var .. x .. | fun y | | Where is the polymorphism? You're right! This was indeed a bad example. A better example

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Levent Erkok
On Sun, 04 Jun 2000, Koen Claessen wrote: You cannot ask a question like this without explaining why you are interested in this subject! :-) Just out of curiosity... (I think that it is has to do with a recursive do-translation, am I right? Yes, we're working on a new semantics for do,

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Marcin 'Qrczak' Kowalczyk
Sun, 4 Jun 2000 11:02:20 -0700, Levent Erkok [EMAIL PROTECTED] pisze: Yes, we're working on a new semantics for do, where you'll be able to bind variables recursively. For instance: do xs - Just (1:xs) return (take 5 xs) Ah, like: import MonadFix --

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Amr A Sabry
[EMAIL PROTECTED] (Marcin 'Qrczak' Kowalczyk) I'm curious how the generic translation into mfix could look like if everything is visible everywhere ... The implementation of recursive definitions when the right-hand sides have computational effects is ancient (dates back to at least Landin's

Haskell pronounciation

2000-06-04 Thread J. D.
How is Haskell pronouced? That is, does it rhyme with "cell" like most words ending in "ell", or does it rhyme with "cull" like in some names? No one in this area has heard of Haskell. I'd like to speak the correct name when I make people aware of Haskell. Regards, - John

Re: poll: polymorphic let bindings in do

2000-06-04 Thread Lennart Augustsson
Koen Claessen wrote: I just went through my code and looked at how many definitions in do-notation actually were polymorphic. And what was the result? -- -- Lennart

Re: Integer arithmetic broken (again)

2000-06-04 Thread Marc van Dongen
Sven Panne ([EMAIL PROTECTED]) wrote: : [EMAIL PROTECTED] might be the more appropriate list. A reader of that list asked me explicitly not to send it to that list because he thought it wasn't appropriate to sent cvs-bug messages to that list:-) I'll send further error messages to cvs-ghc in

cannot use hSelect

2000-06-04 Thread Ulrich Norbisrath
When I use hSelect in my code I get this message: /usr/lib/ghc-4.06/libHSutil.a(Select__5.o): In function `Select_zdwgetFd_fast2':Select__5.o(.text+0x73): undefined reference to `PosixUtil_FDzh_con_info' What did I do wrong? I tried Suse Linux 6.4 precompiled binaries and compiled ghc-4.06

RE: finalizers never run

2000-06-04 Thread Ulrich Norbisrath
Thanks, they are running now, but only at the end of my program. Is their another possibility to speed this? Or a possibility to see by which objects an object is reachable? If I have structures: data Subtest a = Subtest a data Test = Test {subtest :: Subtest Int) ...and use somewhere do

Re: cannot use hSelect

2000-06-04 Thread Manuel M. T. Chakravarty
Ulrich Norbisrath [EMAIL PROTECTED] wrote, When I use hSelect in my code I get this message: /usr/lib/ghc-4.06/libHSutil.a(Select__5.o): In function `Select_zdwgetFd_fast2':Select__5.o(.text+0x73): undefined reference to `PosixUtil_FDzh_con_info' What did I do wrong? I tried Suse Linux