Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 4:45 PM, Gregory Crosswhite wrote: > First, there needs to be lots of [STRUCTURE] that makes it easy for people to > skim through and pick out the specific information that they want to find out > about [...] Grr! I have no idea why that word got dropped out, since it was

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 3:49 PM, Richard O'Keefe wrote: > On 19/12/2011, at 5:46 PM, Gregory Crosswhite wrote: > [improved Monoid documentation] Thank you. :-) > I would go so far as to point out that "mappend is a generalisation of > Data.List.sum, Data.List.product, Data.List.and, and Data.List

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Richard O'Keefe
On 19/12/2011, at 5:46 PM, Gregory Crosswhite wrote: [improved Monoid documentation] I would go so far as to point out that "mappend is a generalisation of Data.List.sum, Data.List.product, Data.List.and, and Data.List.or, where the initial value and combining rule are implied by the type. > >

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 1:01 PM, Richard O'Keefe wrote: > Documentation for a library module needs to start by telling people what > it is for. For a particular function, someone needs to know very quickly > "is this what I am looking for? is this the kind of thing I _should_ have > been looking for

[Haskell-cafe] PEPM12: Second Call For Participation

2011-12-18 Thread oleg
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM12 January 23-24, 2012. Philadelphia, PA, USA (co-located with POPL'12) Second Call For Participation Program is now available http://www.program-transformation.or

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 1:01 PM, Richard O'Keefe wrote: > > On 19/12/2011, at 3:44 PM, Gregory Crosswhite wrote: >> So what do you all think about my own suggestion for the documentation? > > It is an improvement. > > Documentation for a library module needs to start by telling people what > it is

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 1:03 PM, Alexander Solla wrote: > The "incidental" comment is significantly more clear than an English > description. That is only true for someone who has already seen a sentence like that one before and so can immediately pick up what it is getting at. :-) In particula

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Alexander Solla
On Sun, Dec 18, 2011 at 6:44 PM, Gregory Crosswhite wrote: > > On Dec 19, 2011, at 12:39 PM, Brandon Allbery wrote: > > On Sun, Dec 18, 2011 at 20:42, Richard O'Keefe wrote: > >> No. Not by a country mile. >> It's better than "non-existent". >> It's better than "misleading". >> But it's not even

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Richard O'Keefe
On 19/12/2011, at 3:44 PM, Gregory Crosswhite wrote: > So what do you all think about my own suggestion for the documentation? It is an improvement. Documentation for a library module needs to start by telling people what it is for. For a particular function, someone needs to know very quickly

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Gregory Crosswhite
On Dec 19, 2011, at 12:39 PM, Brandon Allbery wrote: > On Sun, Dec 18, 2011 at 20:42, Richard O'Keefe wrote: > No. Not by a country mile. > It's better than "non-existent". > It's better than "misleading". > But it's not even on the same *continent* as "adequate". > > +1 So what do you all t

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Brandon Allbery
On Sun, Dec 18, 2011 at 20:42, Richard O'Keefe wrote: > No. Not by a country mile. > It's better than "non-existent". > It's better than "misleading". > But it's not even on the same *continent* as "adequate". > +1 -- brandon s allbery allber...@gmail.com

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Richard O'Keefe
On 17/12/2011, at 3:35 PM, Matthew Farkas-Dyck wrote: > On 15/12/2011, Gregory Crosswhite wrote: >> 1) Documentation really needs to be improved >> 2) some/many cannot be physically separated from Alternative, but there >> *might* be an advantage to creating a subclass for them anyway purely for

Re: [Haskell-cafe] [Alternative] summary of my understanding so far

2011-12-18 Thread Sebastian Fischer
On Thu, Dec 15, 2011 at 9:13 AM, Gregory Crosswhite wrote: > To quote Ross Paterson's proposals: > > instance Alternative [] where >... >some [] = [] >some (x:xs) = repeat (repeat x) > >many [] = [[]] >many (x:xs) = repeat (repeat x) > Isn't this instance conflating the ZipLis

Re: [Haskell-cafe] Type checker for haskell-src-exts (was: Typechecking Using GHC API)

2011-12-18 Thread Thomas Schilling
On 17 December 2011 05:39, Gregory Crosswhite wrote: > > On Dec 17, 2011, at 9:58 AM, Thomas Schilling wrote: > > Wll... I've gotten a little bit of a different perspective on this > since working at a company with very high code quality standards (at > least for new code). There is practica

Re: [Haskell-cafe] Adding state to a library

2011-12-18 Thread Kevin Jardine
By upgrading, I meant move a function from an IO monad with a config parameter to a state monad without one. On Dec 18, 10:52 pm, Bas van Dijk wrote: > On 18 December 2011 22:26, Kevin Jardine wrote: > > > I have a library of functions that all take a config parameter (and usually > > others) an

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Sun, Dec 18, 2011 at 01:05:06PM +0100, Magnus Therning wrote: > On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: >> On Tue, Dec 13, 2011 at 03:39, Magnus Therning wrote: >>> 1. What to call files?  I understand (C)WEB suggests using .w, and >>> that noweb uses .nw, what should I c

Re: [Haskell-cafe] Announce: The Haskell Platform 2011.4

2011-12-18 Thread Peter Simons
Hi guys, > We're pleased to announce the release of the Haskell Platform: a > single, standard Haskell distribution for everyone. Haskell Platform 2011.4 is fully supported on NixOS . Take care, Peter ___ Haskell-Cafe mailing lis

Re: [Haskell-cafe] Adding state to a library

2011-12-18 Thread Bas van Dijk
On 18 December 2011 22:26, Kevin Jardine wrote: > I have a library of functions that all take a config parameter (and usually > others) and return results in the IO monad. > > It is sometimes useful to drop the config parameter by using a state-like > monad.. If you're not modifying the configura

Re: [Haskell-cafe] Adding state to a library

2011-12-18 Thread Kevin Jardine
My apologies. My last message was sent prematurely. I have a library of functions that all take a config parameter (and usually others) and return results in the IO monad. It is sometimes useful to drop the config parameter by using a state-like monad.. I have found that I can wrap all my functi

[Haskell-cafe] Adding state to a library

2011-12-18 Thread Kevin Jardine
I have a library of functions that all take cfg parameter (and usually others) and return results in the IO monad. It is sometimes useful to drop the config parameter by using a state-like monad.. I have found that I can wrap all my functions like so: withLibrary cfg f = f cfg stateF a b c d =

Re: [Haskell-cafe] How hard is it to start a web startup using Haskell?

2011-12-18 Thread Yves Parès
Bryan O' Sullivans's company and Scrive may not be relevant examples, as they employ respectively people like, well... ^^ Bryan O'Sullivan and Magnus Carlsson (the Haskeller, not the singer). So you can expect such people to do wonders. But for instance I personnaly have one or two ideas of web dev

Re: [Haskell-cafe] How hard is it to start a web startup using Haskell?

2011-12-18 Thread Michael Snoyman
On Sun, Dec 18, 2011 at 6:57 PM, Gracjan Polak wrote: > > Hi all, > > The question 'How hard is it to start a technical startup with Haskell?' > happened a couple of times on this list. Sometimes it was in the form 'How > hard > is to find Haskell programmers?' or 'Are there any Haskell jobs?'. >

Re: [Haskell-cafe] How hard is it to start a web startup using Haskell?

2011-12-18 Thread Carlos López Camey
> The question 'How hard is it to start a technical startup with Haskell?' > happened a couple of times on this list. Sometimes it was in the form 'How > hard > is to find Haskell programmers?' or 'Are there any Haskell jobs?'. > > I'd like to provide one data point as an answer: > > http://www.re

[Haskell-cafe] How hard is it to start a web startup using Haskell?

2011-12-18 Thread Gracjan Polak
Hi all, The question 'How hard is it to start a technical startup with Haskell?' happened a couple of times on this list. Sometimes it was in the form 'How hard is to find Haskell programmers?' or 'Are there any Haskell jobs?'. I'd like to provide one data point as an answer: http://www.reddit.

Re: [Haskell-cafe] ANNOUNCE: Anansi 0.4.2 (literate programming pre-processor)

2011-12-18 Thread Magnus Therning
On Tue, Dec 13, 2011 at 12:36:44PM -0800, John Millikin wrote: > On Tue, Dec 13, 2011 at 03:39, Magnus Therning wrote: >> 1. What to call files?  I understand (C)WEB suggests using .w, and >> that noweb uses .nw, what should I call anansi files? > > I usually use .anansi, but it doesn't matter. Y

Re: [Haskell-cafe] ANNOUNCE: hxournal-0.5.0.0 - A pen notetaking program written in haskell

2011-12-18 Thread Ian-Woo Kim
To anyone who is interested, I just uploaded a new release of hxournal 0.6 which has pdf annotation functionality. (It's still at very early stage now though. You can think this as a tech preview release) The following is the message I posted on hxournal google group. ( http://groups.google.com/g