Re: [Haskell-cafe] hackage feature request: revision control location

2008-10-24 Thread Henning Thielemann
On Fri, 24 Oct 2008, zooko wrote: Hi folks: I'm trying to use hackage/cabal/cabal-install, and I have a feature request: it would be nice if the metadata about the package, which is displayed on e.g. "hackage-scripts/package/HTTP" had a field for the revision control tool that is used on th

[Haskell-cafe] Re: [Haskell] ANNOUNCE: colour 0.0.0

2008-10-24 Thread roconnor
On Fri, 24 Oct 2008, Henk-Jan van Tuyl wrote: I think it would be nice to have conversion functions for wxHaskell and the like, to convert between the different color representations. I agree; however, it will be upto the wxHaskell (and gtk2hs, etc) people to import this library and implement

[Haskell-cafe] Re: [Haskell] ANNOUNCE: colour 0.0.0

2008-10-24 Thread roconnor
On Fri, 24 Oct 2008, Sebastian Sylvan wrote: Another useful predefined space which I didn't see is the YCoCg space, which is used in lots of compression schemes (like H.264 IIRC). YCoCg, like HLS and HSV, seems to not really be a colour space because it isn't well specified. A transformatio

[Haskell-cafe] ANN: Lambdabot 4.2.2

2008-10-24 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 A quick note. Today was released the 4.2.2 version of the IRC bot Lambdabot. You can find it at , and the usual Darcs repository . What is

[Haskell-cafe] ANN: Autoproc Change of Maintainer (if you use procmail you should read this)

2008-10-24 Thread Jason Dagit
What is autoproc? - Tired writing procmail recipes by hand? You're in luck! Autoproc makes it quick and easy for Haskell programmers to make procmail recipes by using an embedded domain specific language. Once your recipes type check and compile you simply run autoproc an

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Derek Elkins
On Fri, 2008-10-24 at 17:16 -0400, John Dorsey wrote: > Quoth Tim Newsham: > > >Haskell programs with particular constraints (i.e. pure, total Haskell, > > >doesn't > > >primarily call gtk...) > > > > Yup, and that's a great thing that we should be evangelizing to > > all potential users. No nee

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Derek Elkins
On Fri, 2008-10-24 at 19:22 +0100, Andrew Coppin wrote: > Tim Newsham wrote: > >> The point is... I'm not doing that. Gtk2hs is, but that's a > >> well-tested library, so I very much doubt it's the source of the bug. > > > > I don't understand why Haskell users believe (perhaps are too often > >

Re: [Haskell-cafe] Crash!

2008-10-24 Thread John Dorsey
Quoth Tim Newsham: > >Haskell programs with particular constraints (i.e. pure, total Haskell, > >doesn't > >primarily call gtk...) > > Yup, and that's a great thing that we should be evangelizing to > all potential users. No need to go overboard and tell them that > there will never be a crash,

Re: [Haskell-cafe] The Haskell type inference feature I'd really like to see

2008-10-24 Thread John Meacham
On Fri, Oct 24, 2008 at 01:38:23PM -0700, Dan Piponi wrote: > I'd like to be able to write something like > > > map zipWith ([1,2,3] >>= printMyInferredType) > > and have the compiler treat 'printMyInferredType' as undefined, but > also produce the side effect of printing out its inferred type. >

[Haskell-cafe] The Haskell type inference feature I'd really like to see

2008-10-24 Thread Dan Piponi
I'd like to be able to write something like > map zipWith ([1,2,3] >>= printMyInferredType) and have the compiler treat 'printMyInferredType' as undefined, but also produce the side effect of printing out its inferred type. What's the easiest way to simulate this with what we have now? -- Dan __

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Tim Newsham
Haskell programs with particular constraints (i.e. pure, total Haskell, doesn't primarily call gtk...) Yup, and that's a great thing that we should be evangelizing to all potential users. No need to go overboard and tell them that there will never be a crash, though.. The robustness claim is s

[Haskell-cafe] hackage feature request: revision control location

2008-10-24 Thread zooko
Hi folks: I'm trying to use hackage/cabal/cabal-install, and I have a feature request: it would be nice if the metadata about the package, which is displayed on e.g. "hackage-scripts/package/HTTP" had a field for the revision control tool that is used on that package (if any) and the publ

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Andrew Coppin
Tim Newsham wrote: The point is... I'm not doing that. Gtk2hs is, but that's a well-tested library, so I very much doubt it's the source of the bug. I don't understand why Haskell users believe (perhaps are too often led to believe) that haskell programs can't crash. Gtk2hs does a lot of nat

[Haskell-cafe] Fixed: Crash!

2008-10-24 Thread Andrew Coppin
Andrew Coppin wrote: I'm actually wondering if my code is writing off the end of an array and this "just happens" to hit some data structure used by GTK+? (In which case, minute changes in linkage, etc., would disturb the bug.) Yep, that's what it was. (Although not where I was expecting it to

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Andrew Coppin
Bulat Ziganshin wrote: Hello Andrew, Thursday, October 23, 2008, 11:42:04 PM, you wrote: Theoretically, feeding invalid coordinates to the program might make it run off the end of the IOUArray (or maybe off the beginning of it), but I don't see what that has to do with GTK+... replac

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Don Stewart
newsham: > >The point is... I'm not doing that. Gtk2hs is, but that's a well-tested > >library, so I very much doubt it's the source of the bug. > > I don't understand why Haskell users believe (perhaps are too often led to > believe) that haskell programs can't crash. Gtk2hs does a lot of nati

Re: [Haskell-cafe] Crash!

2008-10-24 Thread Tim Newsham
The point is... I'm not doing that. Gtk2hs is, but that's a well-tested library, so I very much doubt it's the source of the bug. I don't understand why Haskell users believe (perhaps are too often led to believe) that haskell programs can't crash. Gtk2hs does a lot of native stuff. Gtk's be

[Haskell-cafe] Re: universal algebra "support" in Haskell?

2008-10-24 Thread Chung-chieh Shan
Galchin, Vasili <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.cafe: > Do you have any examples of say "instance Lattice"? http://web.cecs.pdx.edu/~mpj/pubs/lattices.html http://web.cecs.pdx.edu/~mpj/pubs/springschool.html -- Edit this signature at http

[Haskell-cafe] RE: [Haskell] Current XML libraries status

2008-10-24 Thread Mitchell, Neil
Redirected to haskell-cafe, since that's where all discussions should go (haskell = announcments only) > > Does some one have made performance tests on the different XML > > libraries for Haskell? I have a 20MB xml file that I want > to read. I > > remember from my earlier experiments (years ag

Re: [Haskell-cafe] universal algebra "support" in Haskell?

2008-10-24 Thread Henning Thielemann
On Fri, 24 Oct 2008, Galchin, Vasili wrote: I "cabal installed" numeric-prelude .. however, unlike other packages(e.g. Sqlite3), I am unable to ":m numeric-prelude" in a ghci session.?? ':m' is for importing modules not packages, at least up to GHC-6.8.2. For playing around with the package

Re: [Haskell-cafe] duplicate instance declarations. Why?

2008-10-24 Thread Bulat Ziganshin
Hello Alberto, Friday, October 24, 2008, 12:20:39 PM, you wrote: >>instance  R a => A a >>instance S a => A a >   > Duplicate instance declarations > Why? because you may write in other module instance R Int instance S Int if class A includes functions, it may be problematic to determine

Re: [Haskell-cafe] duplicate instance declarations. Why?

2008-10-24 Thread Ryan Ingram
Instance instantiation is *not* search, and *not* similar to subclassing in OO languages. Both your instance declarations simply add constraints to functions that use it. Here's a more concrete example: class A a where doA :: a -> String class R a where doR :: a -> String instance R Int

Re: [Haskell-cafe] Functional MetaPost in 5 Steps

2008-10-24 Thread Robin Green
On Thu, 23 Oct 2008 22:13:10 -0700 "Jared Updike" <[EMAIL PROTECTED]> wrote: > I can't even get a simple example to show up in a PDF file I can't even get my simple example to show up anywhere, period. PDF, DVI, PS - anything. No matter which way I try, and I've tried lots, I always hit some kin

[Haskell-cafe] darcs hacking sprint TOMORROW!

2008-10-24 Thread Eric Kow
Hi all, Just pointing out that the darcs hacking sprint is taking place tomorrow (Saturday and Sunday 25-26 October)! Our Brighton and Portland venues are still open, so if you are thinking of dropping by, let us know :-) http://wiki.darcs.net/index.html/Sprints Cheers, -- Eric Kow

[Haskell-cafe] distributed systems reading group

2008-10-24 Thread Jason Dusek
I'm looking for good reading group for distributed systems. I've worked through a number of papers on my own and would like to work out some ideas with other folks who have an interest. I've read a little bit of Lynch, a bit more of Lamport and some of Chandra's work, as well as numero

[Haskell-cafe] duplicate instance declarations. Why?

2008-10-24 Thread Alberto G. Corona
with: >{-# OPTIONS -fglasgow-exts -fallow-undecidable-instances #-} >class A a >class R a >class S a >instance R a => A a >instance S a => A a -- GHC gives *Duplicate instance declarations* * instance R a => A a * * instance S a => A a * ** *Why?* ___

[Haskell-cafe] Re: Sorry, but I'm in the mood (again)

2008-10-24 Thread Achim Schneider
Benjamin L.Russell <[EMAIL PROTECTED]> wrote: > On Fri, 24 Oct 2008 07:35:36 +0200, Achim Schneider <[EMAIL PROTECTED]> > wrote: > > >http://www.haskell.org/haskellwiki/?title=Special:Categories > > > >What are the mathematical properties of those Categories? Do they > >share common axioms? > >