CFP: Eight International Conference on Computer Aided Systems Theory

2000-10-23 Thread Juan J. Quintela
The following message is a courtesy copy of an article that has been posted to comp.lang.ml,comp.lang.functional as well. Dear Colleagues, I would be most grateful if you would distribute the appended Call For Papers to your colleagues (and/or any mailing lists you see appropriate). Any help i

Re: mapM/concatMapMy

2000-10-23 Thread Richard
Sengan Baring-Gould writes: >Is >>= not lazy? since no experts have answered yet, this newbie will answer. I think it's strict. somewhere in the compiler doco, IIRC, it says (>>=) was lazy at first, but experience showed it was more confusing for users (Haskell programmers). moreover, from the

Re: Overloaded function and implicit parameter passing

2000-10-23 Thread Fergus Henderson
On 23-Oct-2000, José Romildo Malaquias <[EMAIL PROTECTED]> wrote: > - cut here > module Main where > > class C a where > f :: (?env :: Integer) => a -> Integer > > instance C Integer where > f x = ?env + x > > main = putStrLn (show (f (45::Integer) with ?env = 10

Overloaded function and implicit parameter passing

2000-10-23 Thread José Romildo Malaquias
Hi. While experimenting with the implicit parameter extension to Haskell 98, implemented in GHC 4.08.1 and latest Hugs, I came accross a difference among those implementations regarding overloading functions with implicit parameters. As a test consider the program - cut