Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread David Virebayre
On Wed, Apr 28, 2010 at 7:47 AM, David Sankel cam...@gmail.com wrote: I'm wondering if a monetary incentive would keep the person who does this work more accountable. I personally would be willing to contribute to continue getting this service. I wonder if there are others as well. I don't

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Joe Fredette
While I would not be opposed to being paid, I don't think it's at all necessary or even really appropriate. I liken the job to volunteering at a local community action group -- not really the kind of thing you get paid for. That said, if any of you have time machines/time dilation devices

Re: [Haskell-cafe] Lazy Parsing (ANN: vcd-0.1.4)

2010-04-28 Thread S. Doaitse Swierstra
On 27 apr 2010, at 22:12, Jason Dusek wrote: So UU parsers can construct input? The perform an editing action on the input so it becomes a sentence of the language recognised. The presence of an empty list in the 2nd slot of the tuple is the only indicator of errors? The parser wants

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Richard G.
I think that formatted plain-text output would be much better than XML, something that is human-readable and relatively easy to parse via machine. Something similar to the GHC error output would work well because developers are familiar with it. Test n:Result Location Error message

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Richard G.
I think that, rather than having Cabal try to combine the results of different frameworks, Cabal should specify interfaces that frameworks need to conform to. E.g., rather than integrating test-framework into Cabal so that HUnit works with it, modify HUnit so it emits the format that Cabal

[Haskell-cafe] Problem about pattern matching.

2010-04-28 Thread Magicloud Magiclouds
Hi, I have code as below. How come case version works wrong and gives me overlap compiling warning? Thanks. if dayOfMonth == firstDayOfMonth then v day (x, y) else if dayOfMonth == lastDayOfMonth then not_ $ v day (x, y) else Mider day (x, y) case dayOfMonth of

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Duncan Coutts
On 28 April 2010 09:24, Richard G. richa...@richardg.name wrote: I think that formatted plain-text output would be much better than XML, something that is human-readable and relatively easy to parse via machine.  Something similar to the GHC error output would work well because developers are

Re: [Haskell-cafe] Problem about pattern matching.

2010-04-28 Thread minh thu
2010/4/28 Magicloud Magiclouds magicloud.magiclo...@gmail.com: Hi, I have code as below. How come case version works wrong and gives me overlap compiling warning? Thanks.  if dayOfMonth == firstDayOfMonth    then v day (x, y)    else if dayOfMonth == lastDayOfMonth      then not_ $ v day (x,

Re: [Haskell-cafe] happstack/SOAP

2010-04-28 Thread Mads Lindstrøm
Hi I do not have an example for you, but I do have some text conversion functions you may find useful. I have attached the text conversion functions in a file. /Mads On Mon, 2010-04-26 at 09:46 +, Johannes Waldmann wrote: Hi - I'm looking for an example/demo happstack server that handles

Re: [Haskell-cafe] Getting used and available memory

2010-04-28 Thread Mads Lindstrøm
Hi On Tue, 2010-04-27 at 14:55 -0700, Don Stewart wrote: We could bind to Rts.c in the GHC runtime, and get all the stats programmatically that you can get with +RTS -s That would be nice. /Mads ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Is XHT a good tool for parsing web pages?

2010-04-28 Thread Ivan Lazar Miljenovic
Uwe Schmidt u...@fh-wedel.de writes: The HTML parser in HXT is based on tagsoup. It's a lazy parser (it does not use parsec) and it tries to parse everything as HTML. But garbage in, garbage out, there is no approach to repair illegal HTML as e.g. the Tidy parsers do. The parser uses tagsoup

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Ivan Lazar Miljenovic
Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need more _you_ (i.e. clones); after all, nothing ever goes wrong with clones! :p -- Ivan Lazar

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread minh thu
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need more _you_ (i.e. clones); after all,

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread Ivan Lazar Miljenovic
minh thu not...@gmail.com writes: 2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta test. Don't be silly, you don't need more time, you need

Re: [Haskell-cafe] Haskell Weekly News?

2010-04-28 Thread minh thu
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: minh thu not...@gmail.com writes: 2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com: Joe Fredette jfred...@gmail.com writes: That said, if any of you have time machines/time dilation devices in the works, I'm happy to beta

Re: [Haskell-cafe] What do _you_ want to see in FGL?

2010-04-28 Thread Henning Thielemann
Ivan Miljenovic schrieb: So you don't want the labels to be part of the actual datatype? And for users to then have to deal with any labels they want themselves? No, you would continue to provide labelled and unlabelled graphs, where unlabelled graphs (or just Graphs) are the base type and

Re: [Haskell-cafe] What do _you_ want to see in FGL?

2010-04-28 Thread Ivan Lazar Miljenovic
Henning Thielemann schlepp...@henning-thielemann.de writes: Ivan Miljenovic schrieb: So you don't want the labels to be part of the actual datatype? And for users to then have to deal with any labels they want themselves? No, you would continue to provide labelled and unlabelled graphs,

Re: [Haskell-cafe] Is XHT a good tool for parsing web pages?

2010-04-28 Thread Uwe Schmidt
Hi Ivan, Uwe Schmidt u...@fh-wedel.de writes: The HTML parser in HXT is based on tagsoup. It's a lazy parser (it does not use parsec) and it tries to parse everything as HTML. But garbage in, garbage out, there is no approach to repair illegal HTML as e.g. the Tidy parsers do. The parser

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Thomas Tuegel
On Wed, Apr 28, 2010 at 4:30 AM, Richard G. richa...@richardg.name wrote: I think that, rather than having Cabal try to combine the results of different frameworks, Cabal should specify interfaces that frameworks need to conform to. E.g., rather than integrating test-framework into Cabal so

[Haskell-cafe] Control.Exception try and catch

2010-04-28 Thread Mads Lindstrøm
Hi From http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Control-Exception.html#3 ... The difference between using try and catch for recovery is that in catch the handler is inside an implicit block (see Asynchronous Exceptions) which is important when catching asynchronous

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Ben
I want to save the state of the system to disk, I want to be able to play the game, pick a point to stop, freeze it and turn off the computer, and then come back later and resume. Why is that unwise? What are the alternatives? B On Tue, Apr 27, 2010 at 9:28 PM, Christopher Lane Hinson

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Thomas Tuegel
On Wed, Apr 28, 2010 at 4:54 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: On 28 April 2010 09:24, Richard G. richa...@richardg.name wrote: I think that formatted plain-text output would be much better than XML, something that is human-readable and relatively easy to parse via machine.

Re: [Haskell-cafe] Seeking the correct quote

2010-04-28 Thread Jacques Carette
Bradford Larsen wrote: I don't have the book handy (it was from the library), but I seem to remember reading something along those lines in ``Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures'', edited by Backhouse,

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Rogan Creswick
On Wed, Apr 28, 2010 at 1:24 AM, Richard G. richa...@richardg.name wrote: I think that formatted plain-text output would be much better than XML, something that is human-readable and relatively easy to parse via machine.  Something similar to the GHC error output would work well because

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Christopher Lane Hinson
On Wed, 28 Apr 2010, Ben wrote: I want to save the state of the system to disk, I want to be able to play the game, pick a point to stop, freeze it and turn off the computer, and then come back later and resume. Why is that unwise? What are the alternatives? B On Tue, 27 Apr 2010, Ben

[Haskell-cafe] Re: Installing ghc in an OpenSolaris Zone

2010-04-28 Thread Günther Schmidt
Hello Christin, http://www.haskell.org/ghc/download_ghc_6_10_4.html#x86solaris is supposed to work under open solaris, too. it does actually, quite nicely too, in the *global* zone. It's just when I try to install it into a separate zone the install fails. Have you managed to install it

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Rogan Creswick
On Wed, Apr 28, 2010 at 8:19 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: Yes, it means the testing agent (cabal-install or some other program/system) can do more than simply run all the tests. It means it can enumerate them and not run them (think a GUI or web interface), run a

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Henning Thielemann
Richard G. schrieb: I think that formatted plain-text output would be much better than XML, something that is human-readable and relatively easy to parse via machine. Something similar to the GHC error output would work well because developers are familiar with it. Test n:Result

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Gregory Crosswhite
If the goal is continuous integration, perhaps it would be sufficient to require cabal test to return an error code of 0 if all tests succeed, and something else if any of them fail; it can additionally print whatever output it wants in either case. The continuous integration system would

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Thomas Tuegel
On Wed, Apr 28, 2010 at 12:55 PM, Rogan Creswick cresw...@gmail.com wrote: On Wed, Apr 28, 2010 at 8:19 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: Yes, it means the testing agent (cabal-install or some other program/system) can do more than simply run all the tests. It means it

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Peter Verswyvelen
Interesting topic. I find it a bit annoying that Haskell doesn't provide support to save functions. I understand this is problematic, but it would be very nice if the Haskell runtime provided a way to serialize (part of) the heap, making sure that pointers to compiled functions get resolved

Re: [Haskell-cafe] Problem about pattern matching.

2010-04-28 Thread Henning Thielemann
minh thu schrieb: 2010/4/28 Magicloud Magiclouds magicloud.magiclo...@gmail.com: Hi, I have code as below. How come case version works wrong and gives me overlap compiling warning? Thanks. if dayOfMonth == firstDayOfMonth then v day (x, y) else if dayOfMonth == lastDayOfMonth

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Chris Eidhof
I agree. This would be an extremely useful feature, not only for game development, but also for web development. We often use continuations as a way to add state to the web, but this fails for two reasons: whenever the server restarts, or when we scale to multiple machines. However, I think it

Re: [Haskell-cafe] Broken ghc documentation links

2010-04-28 Thread Neil Mitchell
Hi, I have recently updated Hoogle so it points at specific documentation. If anyone finds any further bugs, please let me know. I'm hoping to go through Hoogle and revise much of it in the near future, and intend to put things in place to stop this happening again (and keep it up to date).

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Gregory Crosswhite
On Apr 28, 2010, at 3:41 PM, Limestraël wrote: I think the problem with function serialization is that unlike languages which run over a virtual machine, bytecode generated by GHC is platform-specific (just as compilated C or C++) and therefore can run directly on top of the system, which

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Richard G.
I like this. One area that would be helpful is the ability to run the tests when different compile flags are used. E.g., the HUnit tests have different behaviors when compiled with and without optimization; it would be very handy if I could automate the testing of both cases. I don't

[Haskell-cafe] Benchmarks game updated to ghc 6.12.2

2010-04-28 Thread Don Stewart
The benchmarks game has been updated to use 6.12.2 Please dive in and help tweak/improve/spot any regressions. Esp. with respect to multicore flags/options/... - Forwarded message from Isaac Gouy - Subject: fyi benchmarks game updated to ghc 6.12.2

[Haskell-cafe] Re: Benchmarks game updated to ghc 6.12.2

2010-04-28 Thread Simon Marlow
On 28/04/10 21:05, Don Stewart wrote: The benchmarks game has been updated to use 6.12.2 Please dive in and help tweak/improve/spot any regressions. Esp. with respect to multicore flags/options/... chameneos is using -N5, which is probably killing it. Cheers, Simon

[Haskell-cafe] Re: Control.Exception try and catch

2010-04-28 Thread Simon Marlow
On 28/04/10 14:45, Mads Lindstrøm wrote: Hi From http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Control-Exception.html#3 ... The difference between using try and catch for recovery is that in catch the handler is inside an implicit block (see Asynchronous Exceptions) which is

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Peter Verswyvelen
As a side note, it's interesting that C# doesn't allow serialization of closures (anonymous delegates). The compiler-generated name assigned to an anonymous delegate can be different after each re-compilation. This is also really annoying in C#/.NET, since one must explicitly add a named method if

Re: [Haskell-cafe] ANN: CPSA - Cryptographic Protocol Shapes Analyzer

2010-04-28 Thread John D. Ramsdell
We are working towards a version of CPSA with the property that whenever it successfully terminates, every possible execution is described by its output.  However, the current implementation occasionally fails to find some executions. That is concerning - is it due to ... We have formally

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Christopher Lane Hinson
I think y'all are talking past each other, a little bit. There are two ways to serialize a function: 1) Serialize the bytecode for the function. 2) Serialize a persistant reference to a function that resides inside the executable. Personally, I think that either strategy is dubious. If you

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Ben
thanks for the comments, i'll try to respond to them all. but to start off with, let me mention that my ultimate goal is to have a way of writing down causal and robust (restartable) computations which happen on infinite streams of data in a nice way -- by which i mean the declarative /

Re: [Haskell-cafe] Re: GSoC: Improving Cabal's Test Support

2010-04-28 Thread Duncan Coutts
On Wed, 2010-04-28 at 09:55 -0700, Rogan Creswick wrote: On Wed, Apr 28, 2010 at 8:19 AM, Duncan Coutts duncan.cou...@googlemail.com wrote: Yes, it means the testing agent (cabal-install or some other program/system) can do more than simply run all the tests. It means it can enumerate

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Felipe Lessa
On Wed, Apr 28, 2010 at 04:16:08PM -0700, Ben wrote: so i tried state machines of a sort newtype STAuto s a b = STAuto { unSTAuto : (a, s) - (b, s) } where the interruptibility would come from being able to save out the state s. i was not successful, unfortunately, in this level of

Re: [Haskell-cafe] Re: FRP for game programming / artifical life simulation

2010-04-28 Thread Peter Gammie
Ben, On 29/04/2010, at 6:16 AM, Ben wrote: [...] newtype STAuto s a b = STAuto { unSTAuto : (a, s) - (b, s) } As Felipe observes in detail, this can be made to work. He uses Read and Show for serialisation, but clearly you can use whatever you like instead. I just wanted to add that one