Re: [Haskell-cafe] Haskellers.com profiles: advice requested

2010-10-07 Thread Michael Snoyman
On Wed, Oct 6, 2010 at 8:14 PM, Brent Yorgey byor...@seas.upenn.edu wrote: One (slightly off-topic) question: at the top of the site it says the meeting place for professional Haskell programmers.  Is this supposed to be geared towards Haskell programmers who get paid (or want to get paid) to

Re: [Haskell-cafe] Haskellers.com profiles: advice requested

2010-10-07 Thread Vo Minh Thu
2010/10/7 Michael Snoyman mich...@snoyman.com: On Wed, Oct 6, 2010 at 8:14 PM, Brent Yorgey byor...@seas.upenn.edu wrote: One (slightly off-topic) question: at the top of the site it says the meeting place for professional Haskell programmers.  Is this supposed to be geared towards Haskell

Re: [Haskell-cafe] Haskellers.com profiles: advice requested

2010-10-07 Thread Michael Snoyman
On Thu, Oct 7, 2010 at 12:42 AM, Bas van Dijk v.dijk@gmail.com wrote: Feature suggestion:  Allow users to provide their location and show it (and the aggregate of all Haskellers) in a (Google) map. (I Just uploaded my initial profile) Bas I like it, I'll get on it soon. Maybe I can use

Re: [Haskell-cafe] Haskellers.com profiles: advice requested

2010-10-07 Thread Jason Dagit
On Wed, Oct 6, 2010 at 2:11 AM, Michael Snoyman mich...@snoyman.com wrote: Hi all, After finally getting OpenID 2 support worked out, I've now put up the Haskellers.com website[1]. Not all features are implemented yet, but the basics are in. One of the most important features is going to be

[Haskell-cafe] Ordering vs. Order

2010-10-07 Thread Christian Sternagel
Hi all, I'm not a native English speaker and recently I was wondering about the two words order and ordering (the main reason why I write this to the Haskell mailing list, is that the type class Ordering does exist). My dictionaries tell me that order (besides other meanings) denotes an

Re: [Haskell-cafe] Ordering vs. Order

2010-10-07 Thread Alexander Solla
On Oct 7, 2010, at 1:02 AM, Christian Sternagel wrote: Hi all, I'm not a native English speaker and recently I was wondering about the two words order and ordering (the main reason why I write this to the Haskell mailing list, is that the type class Ordering does exist). My

Re: [Haskell-cafe] HTML library with DOM?

2010-10-07 Thread Edward Z. Yang
Excerpts from Gregory Collins's message of Wed Oct 06 19:44:44 -0400 2010: I've got the month of October off, and one of the things I've been planning on working on is a compliant HTML5 parser for Haskell -- something which is sorely needed! I will ping the list back if/when I get it finished.

Re: [Haskell-cafe] HTML library with DOM?

2010-10-07 Thread Gregory Collins
Edward Z. Yang ezy...@mit.edu writes: Excerpts from Gregory Collins's message of Wed Oct 06 19:44:44 -0400 2010: I've got the month of October off, and one of the things I've been planning on working on is a compliant HTML5 parser for Haskell -- something which is sorely needed! I will ping

Re: [Haskell-cafe] Ordering vs. Order

2010-10-07 Thread Stefan Holdermans
Chris, I'm not a native English speaker and recently I was wondering about the two words order and ordering (the main reason why I write this to the Haskell mailing list, is that the type class Ordering does exist). Irrelevant to your struggle, but note that the *type class* is dubbed Ord,

[Haskell-cafe] Packaging a Gtk2hs based program for Windows

2010-10-07 Thread Dmitry V'yal
Hello, haskellers. Recently I stumbled upon a problem. It may sound quite off-topic for this list, but, I'm sure, almost every haskell programmer runs into it sooner or later. It sounds: How to make a neat Windows installer for a nice Gtk2hs program I wrote last week? How to solve the

[Haskell-cafe] Re: Notes from Haskell takes over the world BoF at ICFP

2010-10-07 Thread Simon Marlow
On 07/10/2010 02:45, Jason Dagit wrote: + well documented workflow for lightweight changes + heavy weight process for major work. + bugs, tickets. + Simon Marlow contributions are going up, and process is working well That's reassuring. Is their workflow

Re: [Haskell-cafe] Packaging a Gtk2hs based program for Windows

2010-10-07 Thread Serguey Zefirov
2010/10/7 Dmitry V'yal akam...@gmail.com: It sounds: How to make a neat Windows installer for a nice Gtk2hs program I wrote last week? How to solve the problem of dependency on GTK? Should I ask my users to install a GTK package or it would be better to package all the dynamic libraries needed

Re: [Haskell-cafe] Re: Lazy evaluation from Why Functional programming matters

2010-10-07 Thread C K Kashyap
Have you seen Potential (http://intoverflow.wordpress.com/2010/05/21/announcing-potential-x86-64-assembler-as-a-haskell-edsl/)? Quote: The language’s goal is to provide a solid foundation for the development of a useful (multi-tasked, multi-processor, etc) microkernel Which sounds like

Re: [Haskell-cafe] Haskellers.com profiles: advice requested

2010-10-07 Thread Michael Snoyman
On Thu, Oct 7, 2010 at 8:41 AM, Vo Minh Thu not...@gmail.com wrote: 2010/10/7 Michael Snoyman mich...@snoyman.com: On Wed, Oct 6, 2010 at 8:14 PM, Brent Yorgey byor...@seas.upenn.edu wrote: One (slightly off-topic) question: at the top of the site it says the meeting place for professional

Re: [Haskell-cafe] Re: EDSL for Makefile

2010-10-07 Thread C K Kashyap
which looks somewhat nicer. This example also defines runTest and a test function (which calls the shell command echo to print some lines) you can try in ghci by typing runTest test... [1] http://gist.github.com/614246 Thank you very much Steffen for taking the time out for the example ...

Re: [Haskell-cafe] ANNOUNCE: tls, native TLS/SSL protocol implementation

2010-10-07 Thread Vincent Hanquez
On Thu, Oct 07, 2010 at 12:29:51AM +0200, Christopher Done wrote: On 6 October 2010 23:26, Vincent Hanquez t...@snarc.org wrote: I'ld like to announce the tls package [1][2], which is a native implementation of the TLS protocol, client and server.  It's currently mostly supporting SSL3,

[Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Brent Yorgey
Hi all, See below for this message from one of my students which has me stumped. Just when you think you understand Haskell... ;) I've cc'ed him on this message; please include him on any replies as I don't think he is subscribed to -cafe. -Brent - Forwarded message from Yue Wang

[Haskell-cafe] ANNOUNCE: Haskell XML Toolbox Version 9.0.0

2010-10-07 Thread Uwe Schmidt
Haskell XML Toolbox 9.0.0 I would like to announce a new version of the Haskell XML Toolbox. HXT has grown over the years. Components for XPath, XSLT, validation with RelaxNG, picklers for conversion from/to native Haskell data, lazy parsing with tagsoup, input via curl and native Haskell HTTP

Re: [Haskell-cafe] Ordering vs. Order

2010-10-07 Thread Ketil Malde
Christian Sternagel c.sterna...@gmail.com writes: recently I was wondering about the two words order and ordering I would use ordering to mean the relation or function that orders (ranks) elements, and I'd use order to refer the actual progression. So by applying an ordering, you get elements

Re: [Haskell-cafe] HTML library with DOM?

2010-10-07 Thread Gregory Collins
Michael Snoyman mich...@snoyman.com writes: As far as I know, Neil Mitchel's tagsoup[1] parses according to the HTML 5 parsing rules, but it just generates a list of Tags[2], so you'd have to build the DOM tree up from there. I personally have had great experience with tagsoup. It's even the

Re: [Haskell-cafe] HTML library with DOM?

2010-10-07 Thread Michael Snoyman
2010/10/7 Gregory Collins g...@gregorycollins.net: Edward Z. Yang ezy...@mit.edu writes: Excerpts from Gregory Collins's message of Wed Oct 06 19:44:44 -0400 2010: I've got the month of October off, and one of the things I've been planning on working on is a compliant HTML5 parser for Haskell

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Luke Palmer
On Thu, Oct 7, 2010 at 6:17 AM, Brent Yorgey byor...@seas.upenn.edu wrote: The source code seems to be easy to read, but I don't think I understand that. For me I think if I change the first line from fib = ((map fib' [0 ..]) !!) to fib x = ((map fib' [0 ..]) !!) x It should do the same

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Derek Elkins
On Thu, Oct 7, 2010 at 8:44 AM, Luke Palmer lrpal...@gmail.com wrote: On Thu, Oct 7, 2010 at 6:17 AM, Brent Yorgey byor...@seas.upenn.edu wrote: The source code seems to be easy to read, but I don't think I understand that. For me I think if I change the first line from fib = ((map fib' [0

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Ben Millwood
On Thu, Oct 7, 2010 at 1:44 PM, Luke Palmer lrpal...@gmail.com wrote: The section works because (a %^)  (for some operator %^) is short for (%^) a and (%^ a) is short for flip (%^) a.  Sections don't expand into lambdas. According to the report they do:

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Daniel Fischer
On Thursday 07 October 2010 14:17:18, Brent Yorgey wrote: Hi all, See below for this message from one of my students which has me stumped. Just when you think you understand Haskell... ;) I've cc'ed him on this message; please include him on any replies as I don't think he is subscribed to

Re: [Haskell-cafe] Ordering vs. Order

2010-10-07 Thread Steve Schafer
On Thu, 07 Oct 2010 10:02:20 +0200, you wrote: I'm not a native English speaker and recently I was wondering about the two words order and ordering (the main reason why I write this to the Haskell mailing list, is that the type class Ordering does exist). My dictionaries tell me that order

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Jan-Willem Maessen
What people seem to be missing here is that the location of the where-binding with respect to the lambda changes in each case. As a result, I think the forgoing explanations were rather confusing; there's no magic going on here. On Thu, Oct 7, 2010 at 8:17 AM, Brent Yorgey byor...@seas.upenn.edu

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread Anthony Cowley
On Thu, Oct 7, 2010 at 9:33 AM, Jan-Willem Maessen jmaes...@alum.mit.edu wrote: There's no evaluation magic here---all that's happening is GHC is executing the program exactly as written.  It can't float the list out of the function, as that can lead to unexpected space leaks (if you didn't

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Jean-Marie Gaillourdet
Hi, On 06.10.2010, at 22:43, Sterling Clover wrote: On Oct 6, 2010, at 5:39 AM, Simon Marlow wrote: A slightly different suggestion from Simon PJ and myself (we agreed on something syntax-related :-) is the following: \case 1 - f 2 - g where the two-token sequence '\ case'

[Haskell-cafe] CFP MSCS Issue: Dependently Typed Programming

2010-10-07 Thread Conor McBride
(s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)-(p:P s)*(s:S)- (p:P s)* OPEN CALL FOR PAPERS for a Special Issue of MATHEMATICAL STRUCTURES in COMPUTER SCIENCE in association with the workshop

[Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Peter Wortmann
On Tue, 2010-10-05 at 17:10 -0700, Evan Laforge wrote: +1 for something to solve the dummy - m; case dummy of problem. Here are the possibilities I can think of: Might be off-topic here, but I have wondered for a while why Haskell doesn't support something like follows: do case (- m) of ...

Re: [Haskell-cafe] ANNOUNCE: Haskell XML Toolbox Version 9.0.0

2010-10-07 Thread Gregory Crosswhite
Could you explain to me why HXT uses arrows? I have never been able to figure out what advantage this gives your library over monads. Since your arrows in practice implement ArrowApply, they are really just monads anyway, so it seems to me that using arrows instead of monads only serves to

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Miguel Mitrofanov
Отправлено с iPhone Oct 7, 2010, в 21:03, Peter Wortmann sc...@leeds.ac.uk написал(а): On Tue, 2010-10-05 at 17:10 -0700, Evan Laforge wrote: +1 for something to solve the dummy - m; case dummy of problem. Here are the possibilities I can think of: Might be off-topic here, but I have

[Haskell-cafe] I'm still having challenges to get a Haskell GUI to work under Windows 7

2010-10-07 Thread caseyh
I'm still having challenges to get a Haskell GUI to work under Windows 7; even after various instructions on the web. e.g. Haskell Platform 2010.2.0.0, wxWidgets-2.9.1, wxHaskell 0.12.1.6 Similar challenges with GTK+ and gtk2hs. ___ Haskell-Cafe

[Haskell-cafe] Is there a more recent paper or article than Can GUI Programming Be Liberated From The IO Monad

2010-10-07 Thread caseyh
Is there a more recent paper or article than Can GUI Programming Be Liberated From The IO Monad? :) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] HTML library with DOM?

2010-10-07 Thread Neil Mitchell
Yes, I don't think I've officially announced a version of TagSoup that has had HTML 5 parsing, but it now does as standard for the last few releases. The HTML 5 spec is still changing, so it's entirely possible something is incorrect in a corner case, but please let me know and I'll fix it.

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Nicolas Pouillard
On Thu, 07 Oct 2010 18:03:48 +0100, Peter Wortmann sc...@leeds.ac.uk wrote: On Tue, 2010-10-05 at 17:10 -0700, Evan Laforge wrote: +1 for something to solve the dummy - m; case dummy of problem. Here are the possibilities I can think of: Might be off-topic here, but I have wondered for a

Re: [Haskell-cafe] Notes from Haskell takes over the world BoF at ICFP

2010-10-07 Thread Neil Mitchell
Hi Digressing a little, can anyone interested in doing so merge hoogle and Hayoo and make them part of Hackage? I am currently working on this in my spare time. I hope to have something to show in the next month. Thanks, Neil ___ Haskell-Cafe

Re: [Haskell-cafe] Is there a more recent paper or article than Can GUI Programming Be Liberated From The IO Monad

2010-10-07 Thread Stephen Tetley
Of related interest, there have been more recent papers by the Clean developers on Arrow GECS and iData but they are about Clean where this is no IO monad. Maybe Haskell cannot be liberated from IO after all... ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Re: Lambda-case / lambda-if

2010-10-07 Thread Lauri Alanko
On Thu, Oct 07, 2010 at 02:45:58PM -0700, Nicolas Pouillard wrote: On Thu, 07 Oct 2010 18:03:48 +0100, Peter Wortmann sc...@leeds.ac.uk wrote: Might be off-topic here, but I have wondered for a while why Haskell doesn't support something like follows: do case (- m) of ... With the

Re: [Haskell-cafe] A model theory question

2010-10-07 Thread Alexander Solla
On Sep 30, 2010, at 1:39 AM, Patrick Browne wrote: I think my original question can be rephrased as: Can type classes preserve satisfaction under the the expansion sentences (signature/theory morphisms inducing a model morphism). According to [1] expansion requires further measures

Re: [Haskell-cafe] Eta-expansion destroys memoization?

2010-10-07 Thread David Sankel
Brent Yeu, I recently ran into the same question. You can see the thread[1] which includes lots of references to papers that describe the behavior you're seeing along with examples. Implementations of call-by-name lambda calculus all tend to have the same runtime behavior that you're

Re: [Haskell-cafe] ANNOUNCE: tls, native TLS/SSL protocol implementation

2010-10-07 Thread C K Kashyap
Does native mean Haskell only - without FFI? -- Regards, Kashyap ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe