Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-17 Thread Fergus Henderson
On 15-Jul-1998, S. Alexander Jacobson [EMAIL PROTECTED] wrote: Are you wanting to do away with Makefiles? Makefiles can do an awful lot more than import chasing can and GNU makefiles are very, very short in the normal case. Both Java and Eiffel attempt to do away with Makefiles. Java

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-17 Thread Simon L Peyton Jones
But if there are too many things missing, no one will use Standard Haskell - it already seems as if most of the people on this list are going to go straight to Haskell 2, which would mean that Standard Haskell might only be used for teaching. Indeed, I do expect that most of the people on

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-17 Thread Erik Meijer
Indeed, I do expect that most of the people on this list will go straight to (the moving target of) Haskell 2. The purpose of Std Haskell is to address the needs of people who don't need the latest greatest, but do need something stable. For example, the fact that Haskell keeps moving (which in

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-16 Thread Jon . Fairbairn
On 15 Jul, Simon L Peyton Jones wrote: I hadn't realised that your suggestion was a propos of Standard Haskell. I'm pretty leery about trying to agree any new libraries at this stage, unless someone comes up with a worked-out, and implemented, specification pretty quickly. The name of the

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-16 Thread Fergus Henderson
On 15-Jul-1998, S. Alexander Jacobson [EMAIL PROTECTED] wrote: On Tue, 14 Jul 1998, Alastair Reid wrote: and it's not clear that fetching URLs outside the IO monad is sensible. Not at all clear. I am thinking about using Haskell for XML scripting in which one imports XML DTD's into

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-16 Thread S. Alexander Jacobson
On Fri, 17 Jul 1998, Fergus Henderson wrote: Both Java and Eiffel attempt to do away with Makefiles. http://eiffel.com/doc/manuals/language/intro/system.maker.html). So what's the difference between an "Assembly of Classes", and a GNU Makefile, other than the name? The virtue of ACE is

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Simon L Peyton Jones
etc... all seem to be things that are waiting 'till Haskell 2. My point was that _something_ should be in Standard Haskell. The features you mention are likely to help when writing a better network library, but let's not get distracted from the option of including something straightforward

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Simon L Peyton Jones
More generally, regardless of the standards process, it feels like the GHC, Hugs define the de facto Haskell standard (it doesn't look like HBC is still in progress but I could be wrong). As such, it seems tough to write libraries right now as the upcoming GHC/Hugs release will contain

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Alastair Reid
On Tue, 14 Jul 1998, Alastair Reid wrote: and it's not clear that fetching URLs outside the IO monad is sensible. Not at all clear. S. Alexander Jacobson replied: I am thinking about using Haskell for XML scripting in which one imports XML DTD's into Haskell as a set of data statements

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
On Tue, 14 Jul 1998, Alastair Reid wrote: and it's not clear that fetching URLs outside the IO monad is sensible. Not at all clear. I am thinking about using Haskell for XML scripting in which one imports XML DTD's into Haskell as a set of data statements and then reads XML datastructures off

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Alastair Reid
Alastair: There's a lot of things on the list of things we'd like to do but have no time for at the moment. Alex: I understand. Actually the ratio of externally visible tasks to manpower makes me a little nervous. You (or other people) could fix that by giving us enough money to

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Alastair Reid
On Wed, 15 Jul 1998, Simon L Peyton Jones wrote: For these * multi-parameter type classes * existential types * exceptions * mutually recursive import [GHC does this ok] we'll have a shiny new GHC beta release before ICFP (end Sept). (I.e. it's pretty much working now.)

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
On Wed, 15 Jul 1998, Simon L Peyton Jones wrote: For these * multi-parameter type classes * existential types * exceptions * mutually recursive import [GHC does this ok] we'll have a shiny new GHC beta release before ICFP (end Sept). (I.e. it's pretty much working now.) Don't know

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
On Wed, 15 Jul 1998, Alastair Reid wrote: I'm not so worried about reliability (though that too is an issue) as by the fact that web pages keep changing. My suggestion here is that you can rely on HTTP 1.1 cache control semantics. Specifically, HTTP 1.1 allows pages to define a

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
On Thu, 16 Jul 1998, Fergus Henderson wrote: Well, if you're willing to ignore the possibility that the page will change, you should be willing to ignore the possibility that accessing the page may fail... or at least put off dealing with such failures until Haskell has better exception

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Erik Meijer
I am very dubious about making getURL pure. Right, and I don't understand why people are so afraid of the IO monad. Anyway, using the Haskell-COM interface it is easy to use IWebBrowser, which gives you anything you want in terms of web access. The downside is that you are stuck in the brain

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
On Wed, 15 Jul 1998, Alastair Reid wrote: My understanding from Alastair was that Hugs was being synchronized with GHC so that it could using precompiled GHC libs. Wouldn't that require that it support these features as well? The doubt was about when Hugs would do another release or

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread S. Alexander Jacobson
Alastair, I don't have money right now. I am trying to raise it. When I do, I'd love to spend it on developing a commercial Haskell middleware project. -Alex- On Wed, 15 Jul 1998, Alastair Reid wrote: Alastair: There's a lot of things on the list of things we'd like to do but have

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Patrick Logan
I suppose it would be really elegant if we could define a new net monad(?) which allows us to reason generally about computations with different expiration times, but that goes far beyond my expertise. See the following paper on "service combinators"...

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-15 Thread Patrick Logan
Both Java and Eiffel attempt to do away with Makefiles. Java does import chasing (see above). I prefer Eiffel's approach. Eiffel allows you to define an Assembly of Classes in Eiffel in which you explicitly specify where to find all the classes used in a particular

GHC/Hugs Status (was Re: simple interface to web?)

1998-07-14 Thread S. Alexander Jacobson
I definitely agree that Haskell should have network primitives in the standard library, but doesn't this have to wait until the whole exceptions issue is resolved? (speaking of which, I didn't see them on the State-Of-Play document) More generally, regardless of the standards process, it feels

Re: GHC/Hugs Status (was Re: simple interface to web?)

1998-07-14 Thread Jon . Fairbairn
On 14 Jul, S. Alexander Jacobson wrote: I definitely agree that Haskell should have network primitives in the standard library, but doesn't this have to wait until the whole exceptions issue is resolved? I don't think so - all exceptions to do with net protocols can (be deferred until they