Re: [Haskell-cafe] Moggi :: CT -> Hask

Hi Dan, On Sat, Feb 7, 2009 at 12:00 PM, Dan Doel wrote: > On Saturday 07 February 2009 12:11:29 pm Gregg Reynolds wrote: > > As far as I know, Moggi didn't really have anything directly to do with > Haskell. He pioneered the idea of monads being useful in denotational > semantics. But it was Wa

Re: [Haskell-cafe] Just how unsafe is unsafe

Peter Verswyvelen wrote: > I do have asked myself the question whether a "really random generating" > function could be regarded as "pure" somehow Not really. Somewhere in your program you are likely to make the assumption that a value you obtained, however indirectly, from this function will be t

[Haskell-cafe] ANN : happs-tutorial 0.7

Hello, I'm pleased to announce the release of happs-tutorial 0.7 on Hackage. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/happs-tutorial This is the first release of happs-tutorial built against the new Happstack project. Not much has changed in content since the last release excep

Re: [Haskell-cafe] ANN: HLint 1.2

On Mon, 12 Jan 2009, Duncan Coutts wrote: On Mon, 2009-01-12 at 15:06 +0100, Henning Thielemann wrote: It has to be manually transformed into a version that is not recursive at the top level: map :: (a -> b) -> [a] -> [b] map f = go where go [] = [] go (x:xs) = f x : go xs Then

Re: [Haskell-cafe] Function const (Binding)

Am Sonntag, 8. Februar 2009 00:24 schrieb TKM: > Hello, > > I've a small question about the function const. I'm a bit of confused about > how it binds. Let me take the following expression as example: > > const id 1 2 > > If I execute this expression, I will get as answer 2 with Helium. Now is my >

Re: [Haskell-cafe] Function const (Binding)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Maybe it will help with parentheses: (const id 1) 2 (const id 1) ignores the second argument and yields the id function so then id 2 which is just 2. TKM wrote: > Hello, > > I've a small question about the function const. I'm a bit of > confused abo

[Haskell-cafe] Function const (Binding)

Hello, I've a small question about the function const. I'm a bit of confused about how it binds. Let me take the following expression as example: const id 1 2 If I execute this expression, I will get as answer 2 with Helium. Now is my question, why doesn't it give me 1 as the answer? Because t

Re: [Haskell-cafe] HSGI: Haskell Server Gateway Interface

Felix Martini ha scritto: Hi Manlio, Have you looked at http://www.haskell.org/haskellwiki/WebApplicationInterface ? If you did is there something in that proposal that you think should be changed or is not clear? There is currently a lot of interest in writing web frameworks for Haskell and it

Re: [Haskell-cafe] HSGI: Haskell Server Gateway Interface

> There is a separate channel where we can discuss in detail? > Or should I just use this thread? This is a good topic for the web-de...@haskell.org list. I'll post my reply there. Felix ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.

Re: [Haskell-cafe] HSGI: Haskell Server Gateway Interface

Felix Martini ha scritto: Hi Manlio, Have you looked at http://www.haskell.org/haskellwiki/WebApplicationInterface ? If you remember, I posted a few messages in the thread where WAI was announced. There is a separate channel where we can discuss in detail? Or should I just use this thread?

Re: [Haskell-cafe] The Haskell re-branding exercise

bulat.ziganshin: > Hello Don, > > Saturday, February 7, 2009, 8:20:23 PM, you wrote: > > > We need a voting site set up. There was some progress prior to the end > > of the year. Updates welcome! > > i think that there are a lot of free voting/survey services available. > the last one i went thr

Re: [Haskell-cafe] The Haskell re-branding exercise

gwern0: > 2009/2/7 Don Stewart : > > Quite so, biased by the fact that they dropped off the page. > > > > I'm not saying reddit is unsuitable for communal decision making -- I've > > thought hard about this -- just that isn't perfect, and this isn't > > really its purpose. It would make a good back

Re: [Haskell-cafe] morphisms in IO

On Thu, 2009-02-05 at 20:52 -0600, Gregg Reynolds wrote: > I'm working on a radically different way of looking at IO. Before I > post it and make a fool of myself, I'd appreciate a reality check on > the following points: > > a) Can IO be thought of as a category? I think the answer is yes. No

Re: [Haskell-cafe] Bind as a sequencing operator (Was: evaluation semantics of bind)

On Thu, 2009-02-05 at 11:47 -0700, m...@justinbogner.com wrote: > Jake McArthur writes: > > m...@justinbogner.com wrote: > > | Oops, sent this off list the first time, here it is again. > > | > > | Jake McArthur writes: > > |> m...@justinbogner.com wrote: > > |> | Bind is a sequencing operator ra

Re: [Haskell-cafe] The Haskell re-branding exercise

2009/2/7 Don Stewart : > Quite so, biased by the fact that they dropped off the page. > > I'm not saying reddit is unsuitable for communal decision making -- I've > thought hard about this -- just that isn't perfect, and this isn't > really its purpose. It would make a good backup if we can't find

[Haskell-cafe] Re: haddock-2.3.0 literate comments discarded from .lhs input

2009/2/6 Duncan Coutts : > > Yes, against my better judgement the code in Cabal for haddock-2.x does > not run cpp or unliting like it does for haddock-0.x. Instead it assumes > that haddock-2.x will do all the cpp and unliting itself. Obviously this > mean the special unliting mode that Cabal prov

Re: [Haskell-cafe] HSGI: Haskell Server Gateway Interface

Hi Manlio, Have you looked at http://www.haskell.org/haskellwiki/WebApplicationInterface ? If you did is there something in that proposal that you think should be changed or is not clear? There is currently a lot of interest in writing web frameworks for Haskell and it would be great if the framew

Re: [Haskell-cafe] The Haskell re-branding exercise

gwern0: > On Sat, Feb 7, 2009 at 3:04 PM, Don Stewart wrote: > > gwern0: > >> On Sat, Feb 7, 2009 at 1:34 PM, Don Stewart wrote: > >> >Oh, we had a long discussion about the need for condorcet voting, > >> >not a system like the reddit which is prone to abuse. > >> > > >> >Also, it wo

Re: [Haskell-cafe] The Haskell re-branding exercise

On Sat, Feb 7, 2009 at 3:04 PM, Don Stewart wrote: > gwern0: >> On Sat, Feb 7, 2009 at 1:34 PM, Don Stewart wrote: >> >Oh, we had a long discussion about the need for condorcet voting, >> >not a system like the reddit which is prone to abuse. >> > >> >Also, it would be good to have th

Re: [Haskell-cafe] The Haskell re-branding exercise

gwern0: > On Sat, Feb 7, 2009 at 1:34 PM, Don Stewart wrote: > >Oh, we had a long discussion about the need for condorcet voting, > >not a system like the reddit which is prone to abuse. > > > >Also, it would be good to have the images inline. > > Perfect, please meet better. Better,

[Haskell-cafe] The Haskell re-branding exercise

On Sat, Feb 7, 2009 at 1:34 PM, Don Stewart wrote: >Oh, we had a long discussion about the need for condorcet voting, >not a system like the reddit which is prone to abuse. > >Also, it would be good to have the images inline. Perfect, please meet better. Better, perfect. Now get along

Re: [Haskell-cafe] Semantic web

dev: > Anybody implementing rdf or owl stuff in haskell? Seems like a natural fit. http://www.ninebynine.org/RDFNotes/Swish/Intro.html Needs moving to Hackage. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listi

[Haskell-cafe] Semantic web

Anybody implementing rdf or owl stuff in haskell? Seems like a natural fit. G___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] HSGI: Haskell Server Gateway Interface

Lately I have started to think about how I would like to implement a web application framework in Haskell. To keep my thoughts well defined, I have decided to write some documents. My ideas are heavily based on my experience with Python WSGI, and a Python WSGI framework I'm implementing (wsgix)

[Haskell-cafe] Haskell Weekly News: Issue 104 - February 7, 2009

--- Haskell Weekly News http://sequence.complete.org/hwn/20090207 Issue 104 - February 07, 2009 --- Welcome to issue 104 of HWN, a newsletter covering

Re[2]: [Haskell-cafe] The Haskell re-branding exercise

Hello Don, Saturday, February 7, 2009, 8:20:23 PM, you wrote: > We need a voting site set up. There was some progress prior to the end > of the year. Updates welcome! i think that there are a lot of free voting/survey services available. the last one i went through was LimeSurvey available for a

Re: [Haskell-cafe] The Haskell re-branding exercise

Oh, we had a long discussion about the need for condorcet voting, not a system like the reddit which is prone to abuse. Also, it would be good to have the images inline. wagner.andrew: > Um, ok. Glad we could "discuss" it > > On Sat, Feb 7, 2009 at 1:12 PM, Don Stewart wrote: >

Re: [Haskell-cafe] The Haskell re-branding exercise

Um, ok. Glad we could "discuss" it On Sat, Feb 7, 2009 at 1:12 PM, Don Stewart wrote: > wagner.andrew: > > > > We need a voting site set up. There was some progress prior to the > end > > of the year. Updates welcome! > > > > -- Don > > > > Can't we just use the haskell proposal redd

Re: [Haskell-cafe] The Haskell re-branding exercise

wagner.andrew: > > We need a voting site set up. There was some progress prior to the end > of the year. Updates welcome! > > -- Don > > Can't we just use the haskell proposal reddit for this? Hmm... not ideal. Would make a backup should all else fail. __

Re: [Haskell-cafe] The Haskell re-branding exercise

> We need a voting site set up. There was some progress prior to the end > of the year. Updates welcome! > > -- Don > > Can't we just use the haskell proposal reddit for this? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/m

Re: [Haskell-cafe] Moggi :: CT -> Hask

On Saturday 07 February 2009 12:11:29 pm Gregg Reynolds wrote: > I had a monadic revelation at about 3 am. The answer to the question > "what is an IO value, really?" is "who cares?" I just posted a blog > entry discussing how CT found it's way from Moggi into Haskell at > http://syntax.wikidot.c

Re: [Haskell-cafe] The Haskell re-branding exercise

paul: > Paul Johnson wrote: >> A call has gone out >> >> for a new logo for Haskell. Candidates (including a couple >> >> of mine >>

Re: [Haskell-cafe] The Haskell re-branding exercise

Paul Johnson wrote: A call has gone out for a new logo for Haskell. Candidates (including a couple of mine

[Haskell-cafe] Re: Moggi :: CT -> Hask

Correction: the correct response is: "Nothing." On Sat, Feb 7, 2009 at 11:11 AM, Gregg Reynolds wrote: > Hi, > > I had a monadic revelation at about 3 am. The answer to the question > "what is an IO value, really?" is "who cares?" I just posted a blog > entry discussing how CT found it's way f

[Haskell-cafe] Moggi :: CT -> Hask

Hi, I had a monadic revelation at about 3 am. The answer to the question "what is an IO value, really?" is "who cares?" I just posted a blog entry discussing how CT found it's way from Moggi into Haskell at http://syntax.wikidot.com/blog (hence the title; Moggi as functor). It addresses the ques

Re: [Haskell-cafe] Re: [Haskell-beginners] Just how unsafe is unsafe

As I didn't catch the whole thread, I hope I'm not just repeating everyone else: Roel van Dijk wrote: > I guess what unsafe should mean is a matter of taste. Personally I > find correctness more important that pureness. An unsafe function will > crash your program if evaluated when its preconditi

Re[2]: [Haskell-cafe] Ready for testing: Unicode support for Handle I/O

Hello Khudyakov, Saturday, February 7, 2009, 4:01:57 PM, you wrote: > How do you plan to handle filenames? Currently FilePath is simply a string. i think that this patch does nothing to unicode filenames support -- Best regards, Bulatmailto:bulat.zigans...@gmail.c

Re: [Haskell-cafe] Ready for testing: Unicode support for Handle I/O

On Tuesday 03 February 2009 19:42:44 Simon Marlow wrote: > I've been working on adding proper Unicode support to Handle I/O in GHC, > and I finally have something that's ready for testing. I've put a patchset > here: > >http://www.haskell.org/~simonmar/base-unicode.tar.gz > > ... skipped ...

Re: [Haskell-cafe] Haddock Markup

On Friday 06 February 2009 13:31:34 George Pollard wrote: > My comment isn't related to the wider implications of third-party > hooks into Haddock, but just for the (La?)TeX stuff itself. > I think that the TeX *language* is great for writing mathematics, > but that we should be wary of blindly inc

Re: [Haskell-cafe] Haddock Markup

On Friday 06 February 2009 21:24:35 Andy Smith wrote: > 2009/2/6 Wolfgang Jeltsch : > > So using TeX as a general language for math is a very bad idea, in my > > opinion. The problem is that there is no good language which provides > > enough structural information for conversion into MathML and is

Re: [Haskell-cafe] Haddock Markup

Am Freitag, 6. Februar 2009 21:17 schrieben Sie: > It doesn't really matter if TeX is a good or bad idea for writing maths. > For our users, they might do a formula if it's TeX, they won't if it's > something else. Oh, what ignorant users! ;-) Well, if this discussion is about changing the real

Re: [Haskell-cafe] 1,000 packages, so let's build a few!

2009/1/31 Andrew Coppin : > In celebration of Hackage reachin over 1,000 unique packages, I decided that > I would re-visit the problem of attempting to build them on Windows. > > I began by removing all existing Haskellness from my PC. I now have a > vanilla Windows XP (32-bit) system with Service

Re: [Haskell-cafe] Re: Switching from Mercurial to Darcs

On 6 Feb 2009, at 10:12, Paolo Losi wrote: Henning Thielemann wrote: 4) hg commit -m "message" this commits my changes locally. I always do this before pulling since then I'm sure my changes are saved in the case a merge goes wrong. In old darcs its precisely the other way round. Since it

Re: [Haskell-cafe] Switching from Mercurial to Darcs

* Henning Thielemann [2009-02-05 23:34:53 +0100]: > Peter Verswyvelen schrieb: > > > 3) hg addrem > > this adds new files and removes deleted files from local repos. > > forgetting to add files is a common problem, and is really tricky since > > no record is made of these files, so if after a c

[Haskell-cafe] Re: Fastest regex package?

2009/2/5 ChrisK : > Eugene Kirpichov wrote: >>> >>> All in all, my question remains: what is the fastest way to do this >>> kind of parsing on a lazy bytestring? >>> > > Your example regular expression works the same in both Posix and Perl-ish > semantics. Do you know the difference? Posix libra