Re: Haskell Wish list: library documentation

1999-09-09 Thread Martin Norb{ck
--XsQoSWH+UP9D9v3l Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Thu Sep 09 1999, Christian Sievers -> > Two poeple suggested to use Strings in the example for unzip, > (and they even suggested the same strings!) >=20 > > unzip [("a", 1), ("b", 2), (

Re: Haskell Wish list: library documentation

1999-09-09 Thread Bart Demoen
Jn Fairbairn wrote: > > It's a good idea to use two different types in an example, but Char > > is not well chosen, because the canonical way to write the above > > result is ("abc",[1,2,3]). > > Good point. String is best: > > unzip [("a", 1), ("b", 2), ("c", 3)] = (["a", "b", "c"], [1, 2,

Re: Haskell Wish list: library documentation

1999-09-09 Thread Christian Sievers
Two poeple suggested to use Strings in the example for unzip, (and they even suggested the same strings!) > unzip [("a", 1), ("b", 2), ("c", 3)] = (["a", "b", "c"], [1, 2, 3]) This is better, but now beginners might get the impression that "c" is the way to name a Char, so I suggest to chan

RE: Haskell Wish list: library documentation

1999-09-09 Thread S. Alexander Jacobson
> At 03:55 AM 9/9/99 , Mark P Jones wrote: > Some folks out there want to use Haskell to write real programs. For > them, there's Haskell 98. To be clear, I am not an academic researcher. I develop real world web sites. I would really like to use Haskell for this process, but the tools and lib

Arrows

1999-09-09 Thread Marcin 'Qrczak' Kowalczyk
I have just read . Very interesting. Where can I read more? Are there plans to replace standard Haskell's monads with arrows or integrate them in some other way? I'm not sure how exactly could it look like in practice. -- __("

Re: Haskell Wish list: library documentation

1999-09-09 Thread Marcin 'Qrczak' Kowalczyk
Thu, 9 Sep 1999 14:48:50 +0100 (BST), [EMAIL PROTECTED] <[EMAIL PROTECTED]> pisze: > I missed the discussion that decided that show should omit the > syntactically unnecessary spaces when converting lists and tuples. > While this may save space in files, I don't see that we are >

Re: Haskell Wish list: library documentation

1999-09-09 Thread Jon . Fairbairn
On 9 Sep, Christian Sievers wrote: > It's a good idea to use two different types in an example, but Char > is not well chosen, because the canonical way to write the above > result is ("abc",[1,2,3]). Good point. String is best: unzip [("a", 1), ("b", 2), ("c", 3)] = (["a", "b", "c"], [1, 2,

Re: Haskell Wish list: library documentation

1999-09-09 Thread Christian Sievers
Jon Fairbairn wrote: > [3] I think this example is slightly easier, though on second thoughts > > unzip [('a', 1), ('b', 2), ('c', 3)] = (['a', 'b', 'c'], [1, 2, 3]) > > is better still. It's a good idea to use two different types in an example, but Char is not well chosen, because the

Beginner's prelude & type-based lookup (was "Haskell Wish list: lib doc")

1999-09-09 Thread Fritz K Ruehr
One comment and one questions re the recent discussion about Haskell libraries and documentation: First, if the "BlueSkyMode/Perfect Haskell Prelude" ever does come to pass, I imagine it'll be pretty daunting for beginners (crammed full of constructor classes, arrows, polytypism, points-free d

Re: Haskell Wish list: library documentation

1999-09-09 Thread Jon . Fairbairn
On 9 Sep, George Russell wrote: > Here is my revised version of the documentation. my :-) (which incorporates some of the other suggestions.) I've given reasons at the bottom. Type: > unzip :: [(a,b)] -> ([a],[b]) unzip takes a list of pairs and returns a pair of lists. Definition

Re: Haskell Wish list: library documentation

1999-09-09 Thread Lennart Augustsson
Josef Sveningsson wrote: > The report doesn't even say that Haskell should be lazy, only that it's > non-strict. Now, it happens that most (all?) implementations have very > similar operational semantics, but I don't think that a Haskell library > should assume anything more about the semantics o

Emarrassing error: was Re: Haskell Wish list: library documentation

1999-09-09 Thread Phil Molyneux
Michael (& the Haskell mailing list) On Thu, 9 Sep 1999, Phil Molyneux wrote: [stuff deleted] > unzip :: [(a,b)] -> ([a],[b]) > unzip [] = ([],[]) > unzip (a,b):ps > = (a:as,b:bs) > where > (as,bs) = unzip ps > Of cours

Re: Haskell Wish list: library documentation

1999-09-09 Thread Josef Sveningsson
On Thu, 9 Sep 1999, Martin Norb{ck wrote: > Thu Sep 09 1999, Josef Sveningsson -> > Just because it's only informally defined in the report, doesn't mean it > does not exist. For practical programming purposes, the informal > semantics suffices. If you are a compiler/interpretor designer you may

Re: Haskell Wish list: library documentation

1999-09-09 Thread Phil Molyneux
Michael (& the Haskell mailing list) --- I empathise with your remarks: we're in the process of switching our teaching from using Miranda to Haskell/Hugs & your comments prompted me to mail my colleagues with a few questions (copy below). The Haskell language is intended for allcomers but the Hask

Re: HaskellScript

1999-09-09 Thread Daan Leijen
> Hello, > > I'm interested in using HaskellScript. Who can tell me where I can find > useful infomation about how to use it to build interactive web pages? > Thanks in advance! The best place to start is at: http://www.haskell.org/haskellscript All the best, Daan Leijen > > Regards, > Ch

Re: Haskell Wish list: library documentation

1999-09-09 Thread George Russell
For comparison, see http://www.cs.bell-labs.com/~jhr/sml/basis/pages/list-pair.html I think this style of documentation is fairly useful, and it doesn't take long to see if the function you want is there. My only quibble with this format is that it separates the type of a function from its de

Re: Haskell Wish list: library documentation

1999-09-09 Thread Lars Lundgren
On Thu, 9 Sep 1999, George Russell wrote: > Here is my revised version of the documentation. Sorry I can't > manage the pretty formatting: > > unzip :: [(a,b)] -> ([a],[b]) > - > > Description: >unzip takes a list of pairs and returns a pair of lists. > > Examples: >unzip [(1,2),(

Re: Haskell Wish list: library documentation

1999-09-09 Thread D. Tweed
On Thu, 9 Sep 1999, George Russell wrote: > Here is my revised version of the documentation. Sorry I can't > manage the pretty formatting: > > unzip :: [(a,b)] -> ([a],[b]) > - > Description: >unzip takes a list of pairs and returns a pair of lists. Minor quibble: the verbal descriptio

Re: Haskell Wish list: library documentation

1999-09-09 Thread Martin Norb{ck
--7AUc2qLy4jB3hD7Z Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Thu Sep 09 1999, Josef Sveningsson -> > This strikes me as odd. How can you define the operational semantics of a > function when Haskell does not have an operational semantics? Just becaus

Re: Haskell Wish list: library documentation

1999-09-09 Thread Martin Norb{ck
--k1lZvvs/B4yU6o8G Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Thu Sep 09 1999, George Russell -> > This is very much better than what we have already, but I'll make > the following quibbles anyway: > (1) it should be possible to view all the specificat

Re: Haskell Wish list: library documentation

1999-09-09 Thread Jonathan King
On Thu, 9 Sep 1999, S. Alexander Jacobson wrote: > On Wed, 8 Sep 1999, Andy Gill wrote: > > > > Literate Haskell is simply a way of including comments. > > Javadoc attaches meaning to stylized comments, > > such that the tool can produce annotated indexes. > > > > The two concepts are orthogona

Re: Haskell Wish list: library documentation

1999-09-09 Thread Josef Sveningsson
On Wed, 8 Sep 1999, Andy Gill wrote: > > > At 05:54 PM 9/8/99 , Andy Gill wrote: > > >I've been playing will possible formats of such documentation. > > >Have a look at http://www.cse.ogi.edu/~andy/gooddoc.htm > > >for what I'm currently thinking of. > > This looks real nice. As someone else on

Re: Haskell Wish list: library documentation

1999-09-09 Thread George Russell
Andy Gill wrote: [snip] > I've been playing will possible formats of such documentation. > Have a look at http://www.cse.ogi.edu/~andy/gooddoc.htm > for what I'm currently thinking of. This is very much better than what we have already, but I'll make the following quibbles anyway: (1) it should be

Re: Haskell Wish list: library documentation

1999-09-09 Thread Michael T. Richter
At 05:33 AM 9/9/99 , you wrote: >unzip >= >Type: > [(a,b)] -> ([a],[b]) > unzip takes a list of pairs and returns a pair of lists. >Description: > - >Examples: >. >. >. I like this. A lot. The type information is, for Haskell, a vital part of documentation. It's just shouldn't be th

RE: Haskell Wish list: library documentation

1999-09-09 Thread Michael T. Richter
At 03:55 AM 9/9/99 , Mark P Jones wrote: >My short term hope is for a stable Haskell 98, that's well-documented, >well-supported, and well-used, both for writing useful applications, >and for exploring potential ideas for later versions of the language. >Good documentation for the H98 libraries (a

RE: Haskell Wish list: library documentation

1999-09-09 Thread Michael T. Richter
At 03:55 AM 9/9/99 , Mark P Jones wrote: >I hope that my comments here will help you to understand Erik's >message more fully, and to begin to appreciate how useful types >can be in reading, understanding, and writing Haskell code. I understand what Erik said and how useful types can be in such

Re: Haskell Wish list: library documentation

1999-09-09 Thread trb
S. Alexander Jacobson writes: > Are we talking about documentation for the H98 libraries? > Are these libraries relevant? Don't MPTC, Existential Types, Restricted > Type Synonyms, Arrows, and an FFI substantial change the architecture, > interface, and implementation of the libraries? As th

RE: Licenses and Libraries

1999-09-09 Thread trb
Sigbjorn Finne (Intl Vendor) writes: > Here's a quick update on what I've been up to lately re: HDirect & > what the next release will support: > > * Java <--> Haskell (aka Lambada) support. > * automatically generate Haskell stubs from .h files & support > for working with pristine

Re: Haskell Wish list: library documentation

1999-09-09 Thread S. Alexander Jacobson
On Wed, 8 Sep 1999, Andy Gill wrote: > Literate Haskell is simply a way of including comments. > Javadoc attaches meaning to stylized comments, > such that the tool can produce annotated indexes. > > The two concepts are orthogonal. They are only sort of orthogonal. Another approach that combin

Re: Haskell Wish list: library documentation

1999-09-09 Thread Andy Gill
Josef Sveningsson wrote: > > Maybe the definition of a function should be left out from the > documentation, at least by default. Javadoc has a number of options so > that one can choose how much information the documentation should contain. > If we have a good specification and a set of axioms a

RE: Haskell Wish list: library documentation

1999-09-09 Thread Mark P Jones
| Are we talking about documentation for the H98 libraries? | Are these libraries relevant? Yes, in my opinion, these libraries are very relevant --- to anyone who wants to build code using Haskell 98. Stability and compatibility are the rewards that you get by choosing to write a program in Has

RE: Haskell Wish list: library documentation

1999-09-09 Thread Mark P Jones
Hi Michael, | > OK, you fire up Hugs and type :t unzip and Hugs tells you that | | > unzip :: [(a,b)] -> ([a],[b]) | | > Completely clear, unzip takes a list of pairs and returns a | pair of lists. | | As a new user (and a complete newbie to FP), perhaps I can shed some light | on something