RE: [Haskell-cafe] Re: list choices

2009-01-26 Thread Sittampalam, Ganesh
Malcolm Wallace wrote: As for Reply-to: munging - I agree that _changing_ an existing header would be bad, but would be very happy if mailing lists were to _introduce_ one on messages where none already existed. That would IMO be the worst of both worlds, as people might use Reply-To for

Re: [Haskell-cafe] Re: Laws and partial values

2009-01-26 Thread Thomas Davie
On 25 Jan 2009, at 23:36, Daniel Fischer wrote: Why is this obvious - I would argue that it's obvious that bottom *is* () - the data type definition says there's only one value in the type. Any value that I haven't defined yet must be in the set, and it's a single element set, so it *must* be

Re: [Haskell-cafe] Re: Laws and partial values

2009-01-26 Thread Daniel Fischer
Am Montag, 26. Januar 2009 10:28 schrieb Thomas Davie: If you go look through the message history some more, you'll see a couple of emails which convinced me that that indeed was the semantics in haskell, and a follow up saying okay, lets discuss a hypothetical now, because this looks fun and

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread Thomas Davie
On 26 Jan 2009, at 06:17, carmen wrote: back to the original topic of the thread.. cool project, id be interested ina pure-FS backend as well, Indeed, very cool! Can I make another feature request – generalize how diffs are created, so that I could in theory parse the file contents, and

Re: [Haskell-cafe] Re: list choices

2009-01-26 Thread Ketil Malde
Malcolm Wallace malcolm.wall...@cs.york.ac.uk writes: The duplicate messages will have the same Message-ID... if they post a message they *want* the reply to go to their main inbox as well as the mailing list folder. Maybe I am just stupid, or maybe my email client is inadequate, If your

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread Duncan Coutts
On Mon, 2009-01-26 at 01:14 +0300, Miguel Mitrofanov wrote: Maybe, we should have another command in cabal-install, something like cabal announce, that would post an announcement to hask...@haskell.org? There is an RSS feed of hackage uploads of course. We could work on making that more

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread Marc Weber
Hi Michael Snoyman, Donnie Jone, I don't think cross posting to web-devel and haskel-cafe is a good idea. Maybe do that but then advice people to either reply to cafe or to web-devel. So I suggest that we continue this discussion on web-devel. First of all there have been some attempts already

[Haskell-cafe] bug in System.Mem.StableName

2009-01-26 Thread Alberto G. Corona
Sometimes the StableName library gives different values for the samr function: Sometines gives two alternate values. I checked it in ghc-6.10.1 under windows and in ghc-6.8.2 under Linux: This is an example Prelude System.Mem.StableName.hashStableName.System.IO.Unsafe.unsafePerformIO $

Re: [Haskell-cafe] MySQL and HDBC?

2009-01-26 Thread Yitzchak Gale
Chris Waterson wrote: You probably already know this, but... you can mix tables from different storage engines in a single *statement*. Oh, no, I thought it was per database. Horrors! ...when a ROLLBACK has been issued against a non-transactional table... I could raise an error... perhaps

Re: [Haskell-cafe] MySQL and HDBC?

2009-01-26 Thread John Goerzen
Yitzchak Gale wrote: Right now, the meaning of the dbTransactionSupport flag is ambiguous. Does True mean that full support for transactions is guaranteed? Or only that it might be supported for some tables? If not supported for some table, will the driver revert to irrevocable immediate

Re: [Haskell-cafe] bug in System.Mem.StableName

2009-01-26 Thread Luke Palmer
2009/1/26 Alberto G. Corona agocor...@gmail.com Sometimes the StableName library gives different values for the samr function: First, unsafePerformIO is not subject to referential transparency. You have to ensure it yourself. That's why it's unsafe. Now, did you read the StableName

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Mon, Jan 26, 2009 at 12:17 AM, carmen wrote: back to the original topic of the thread.. cool project, id be interested ina pure-FS backend as well, as the overhead of a git/hg add/commit is a bit too much for eg a single 'field' of data

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Mon, Jan 26, 2009 at 5:35 AM, Thomas Davie wrote: -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.9 (GNU/Linux) iEYEAREKAAYFAkl9zdAACgkQvpDo5Pfl1oKpawCdGc/rC5JOavHiUw/vpnrAkaqw KmsAoJf7NgTWJyXMag7OH3uzA5JOpUa6 =kU/4 -END PGP

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread Michael Snoyman
May i suggest Johan Tibell's web application interface (see http://github.com/tibbe/hyena/tree/master). It is similar to WSGI. Hyena can then be used as an application server and frameworks won't have to create their own servers. Many people have different opinions about web frameworks but a

Re: [Haskell-cafe] bug in System.Mem.StableName

2009-01-26 Thread Lennart Augustsson
I would not trust this weird combination of functions in ghci anyway. 2009/1/26 Alberto G. Corona agocor...@gmail.com: Sometimes the StableName library gives different values for the samr function: Sometines gives two alternate values. I checked it in ghc-6.10.1 under windows and in ghc-6.8.2

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread Tim Newsham
those that want it. From my Django experience, I must say that very few things are cooler than calling a script which automatically generates all the boilerplate code inherent in every web app. Cooler: abstracting away the boilerplate. Michael Tim Newsham http://www.thenewsh.com/~newsham/

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread John A. De Goes
The best approach is to push as much functionality into the client as possible. The ideal server-side framework consists of nothing more than a permissions-based interface to persistence and network services. That's it. Everything else is done on the client side, in JavaScript. Web

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread Michael Snoyman
On Mon, Jan 26, 2009 at 9:37 AM, John A. De Goes j...@n-brain.net wrote: The best approach is to push as much functionality into the client as possible. The ideal server-side framework consists of nothing more than a permissions-based interface to persistence and network services. That's it.

Re: [Haskell-cafe] Haskell Web Framework

2009-01-26 Thread John A. De Goes
We're talking about web applications and Web 2.0 sites, which is the principal target of Rails and its ilk. For primarily static content- oriented sites, static HTML works just fine, but even in this case, you can do dynamic transformations on the HTML in order to provide a richer, more

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread zooko
I wonder if Bulat Ziganshin's FreeARC software could serve as a back- end to the filestore API, and if it did what sort of time and space performance it would have. And if it was good, then I wonder if it could then be used by darcs. :-) Regards, Zooko On Jan 24, 2009, at 17:19 PM,

[Haskell-cafe] Ann: Progress with IDE

2009-01-26 Thread Jürgen Nicklisch-Franken
Leksah 0.4.0* pre-release is now available. This will become the first beta when it is stable enough. The current feature list: * Haskell customized editor with candy * Project management support based on Cabal * Visual editor for Cabal files * Location of compilation errors

Re: [Haskell-cafe] ANN: filestore 0.1

2009-01-26 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Mon, Jan 26, 2009 at 1:52 PM, zooko wrote: I wonder if Bulat Ziganshin's FreeARC software could serve as a back-end to the filestore API, and if it did what sort of time and space performance it would have. And if it was good, then I wonder

[Haskell-cafe] Re: Ann: Progress with IDE

2009-01-26 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Mon, Jan 26, 2009 at 3:05 PM, Jürgen Nicklisch-Franken wrote: Leksah 0.4.0* pre-release is now available. This will become the first beta when it is stable enough. The current feature list: * Haskell customized editor with candy *

[Haskell-cafe] Why binding to existing widget toolkits doesn't make any sense

2009-01-26 Thread Achim Schneider
Hacking away on bindings to (http://libagar.org), specifically (http://libagar.org/mdoc.cgi?man=AG_Object.3), I was suddenly swept away by a general crisis of purpose: I was spending time on figuring out how to create agar objects, implemented in Haskell, on the fly, to enable me to write a

Re: [Haskell-cafe] Re: Ann: Progress with IDE

2009-01-26 Thread Duncan Coutts
On Mon, 2009-01-26 at 16:37 -0500, Gwern Branwen wrote: I tried using that gtk2hs tarball. make eventually errored out as: glib/System/Glib/GObject.chs.pp:38: error: missing expression between '(' and ')' glib/System/Glib/GObject.chs.pp:91: error: missing expression between '(' and ')'

Re: [Haskell-cafe] Re: Ann: Progress with IDE

2009-01-26 Thread Gwern Branwen
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On Mon, Jan 26, 2009 at 8:07 PM, Duncan Coutts wrote: On Mon, 2009-01-26 at 16:37 -0500, Gwern Branwen wrote: I tried using that gtk2hs tarball. make eventually errored out as: glib/System/Glib/GObject.chs.pp:38: error: missing expression

[Haskell-cafe] ANN: convertible (first release)

2009-01-26 Thread John Goerzen
Hi folks, I have uploaded a new package to Haskell: convertible. At its heart, it's a very simple typeclass that's designed to enable a reasonable default conversion between two different types without having to remember a bunch of functions. The return type from this conversion is Either

[Haskell-cafe] ANN: testpack (first release)

2009-01-26 Thread John Goerzen
Hi, I've just uploaded testpack to Hackage. It's a collection of a few utilities for tests: some tools to convert QuickCheck properties into HUnit test cases, and various shortcuts and tools to increase verbosity while running tests in both QuickCheck and HUnit. It is pulled partly from

[Haskell-cafe] foreign function types

2009-01-26 Thread Eyal Lotem
I have encountered quite a bit of bugs in foreign bindings where Int was used in place of Cint. As far as I know, no foreign function should ever take a Haskell Int, only CInts. Would it be possible to create an empty type-class of which various C-acceptable types are instances (e.g CInt,

[Haskell-cafe] ANN: Wired 0.2

2009-01-26 Thread Emil Axelsson
There is now a new release of Wired available: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Wired The most important news in this release is that it now contains a 45nm cell library, which means that you can use Wired to create and analyze modern VLSI designs[*] today!