Could Haskell be taken over by Microsoft?

1998-07-20 Thread Jorgen Frojk Kjaersgaard
It seems that many prominent Haskell people are more or less associated with Microsoft. It has just been announced that Hugs may go into Microsoft Developers Studio and Simon Peyton-Jones is about to move to Microsoft. Is there a risk (or change, if you like) that Microsoft will eventually take ov

GHC import chasing [Was: GHC/Hugs Status]

1998-07-20 Thread Tommy Thorn
Alastair Reid wrote/a ecrit/skrev: > > * import-chasing as part of the spec > > This is an environment feature not a language feature. > > What does it mean for GHC? > Are you wanting to do away with Makefiles? > Makefiles can do an awful lot more than import chasing can > and GNU makefiles are

Re: GHC import chasing

1998-07-20 Thread Malcolm Wallace
Tommy Thorn writes: > I use a lot of Makefiles, but why must we use ugly tools with beatiful > languages? They are especially bad for a novice, just trying to gain > a little more speed on his Hugs program. I agree, which is why I adapted 'hbcmake' and 'nhcmake' to come up with 'hmake' - a comp

Re: GHC import chasing [Was: GHC/Hugs Status]

1998-07-20 Thread Sigbjorn Finne
Tommy Thorn writes: > Alastair Reid wrote/a ecrit/skrev: > > > * import-chasing as part of the spec > > > > This is an environment feature not a language feature. > > > > What does it mean for GHC? > > Are you wanting to do away with Makefiles? > > Makefiles can do an awful lot more than impor

type contexts

1998-07-20 Thread S.D.Mechveliani
Alex Ferguson <[EMAIL PROTECTED]> writes >Sergey Mechveliani writes:> >> But question aside, on "MPC forces me to use non-variable contexts": >> its this necessary to represent a Set as a constructor class? >> Why do not declare >>class (Foo a,Foo' b) => Set a b where ... >> ?

Re: Monomorphism

1998-07-20 Thread Olaf Chitil
Simon L Peyton Jones wrote: > What worries me is that a programmer might write this: > > read2 :: (Read a, Read b) => String -> (a,b) > read2 2 = let [(r1,s1)] = read s > [(r2,s2)] = read s1 > in > (r1,r2) The examples of