Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Karol Samborski
Thank you all for appreciate my sister's work. I will send her your comments and then will see :) Best, Karol Samborski ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Interpreter with Cont

2011-11-22 Thread oleg
I would recommend Ralf Hinze's ICFP00 Pearl Deriving Backtracking Monad Transformers http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4164 He starts with a monad transformer expressed as a free term algebra, and shows step-by-step how to transform it to a more

[Haskell-cafe] FLOPS 2012: 2nd call for papers

2011-11-22 Thread Tom Schrijvers
-- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/ ___ Haskell-Cafe mailing

[Haskell-cafe] FLOPS 2012: 2nd call for papers

2011-11-22 Thread Tom Schrijvers
Second Call For Papers = *Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012)* May 23-25, 2012 Kobe, Japan [http://www.org.kobe-u.ac.jp/flops2012/] _Submission deadline : December 9, 2011_ FLOPS

[Haskell-cafe] Quickcheck research

2011-11-22 Thread Macías López
Hello: I'm a Master's student in Computer Science. I have to make a project involving some research, I'm very interested in Quickcheck and I wonder if there are some areas which need work or if there is some potential research topic related to it. In particular I know that Erlang Quickcheck has

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Ketil Malde
serialhex serial...@gmail.com writes: On Tue, Nov 22, 2011 at 12:22 AM, Jeremy Shaw jer...@n-heptane.com wrote: - honey badger - can't beat that for 'robust' and 'fearless', http://www.youtube.com/watch?v=wPKlryXwmXk i think you were referring to this vid: Original channel with lots of

[Haskell-cafe] lambda.fm How can I use this to help the Haskell community?

2011-11-22 Thread Ben Wright
A while back I somehow managed to get the domain name, lambda.fm and I am simply creating this post to get some ideas from the community on what it could be used for to help the FP community. So tell me what you think. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?

2011-11-22 Thread Jerzy Karczmarczuk
David Fox reacts to my criticism of his attitude towards the meaning of folds: I'm not trying to avoid learning the differences between the different folds, but I am looking for a mnemonic device that will allow me to proceed more quickly towards my goal. My ultimate goal is to write software,

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Gábor Lehel
On Tue, Nov 22, 2011 at 6:22 AM, Jeremy Shaw jer...@n-heptane.com wrote: I think the artwork is nice, but I am not sure that a lamb is an appropriate mascot for Haskell. A mascot is supposed to represent characteristics, emotions, or desires that a particular group of people aspire to have,

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Gábor Lehel
On Mon, Nov 21, 2011 at 2:52 PM, Karol Samborski edv.ka...@gmail.com wrote: 2011/11/21 Karol Samborski edv.ka...@gmail.com: Hi all, This is my sister's proposition: http://origami.bieszczady.pl/images/The_Lamb_Da.png What do you think? Second version:

Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?

2011-11-22 Thread David Fox
On Tue, Nov 22, 2011 at 5:04 AM, Jerzy Karczmarczuk jerzy.karczmarc...@unicaen.fr wrote: David Fox reacts to my criticism of his attitude towards the meaning of folds: I'm not trying to avoid learning the differences between the different folds, but I am looking for a mnemonic device that

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Karol Samborski
And what about a cat? The cat is associated with elegance and a kind of magic. Please take a look: http://origami.bieszczady.pl/images/kot.png Best, Karol Samborski ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Gábor Lehel
On Tue, Nov 22, 2011 at 4:40 PM, Karol Samborski edv.ka...@gmail.com wrote: And what about a cat? The cat is associated with elegance and a kind of magic. Please take a look: http://origami.bieszczady.pl/images/kot.png Best, Karol Samborski That's true, and I did think of it. But I don't

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Thomas Davie
On 22 Nov 2011, at 15:40, Karol Samborski wrote: And what about a cat? The cat is associated with elegance and a kind of magic. Please take a look: http://origami.bieszczady.pl/images/kot.png My biggest criticism of the more recent ones is simply not to get carried away with magic haskell

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Vincent Hanquez
On 11/22/2011 05:22 AM, Jeremy Shaw wrote: I think the artwork is nice, but I am not sure that a lamb is an appropriate mascot for Haskell. snip I disagree as well. I think you're looking too much into what a mascot should means; looking at others mascot, linux's tux, freebsd's demon, go lang's

Re: [Haskell-cafe] Quickcheck research

2011-11-22 Thread Jacques Carette
On 22/11/2011 12:42 PM, wren ng thornton wrote: Something I think would be nice is to see full integration between SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck to exhaustively search the small cases, and then use QuickCheck in a way that ensures that it only tests on

Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-22 Thread Johannes Waldmann
On Mon, Nov 14, 2011 at 9:54 AM, Roman Cheplyaka roma at ro-che.info wrote: Does anyone currently work on Test.SmallCheck? not working on, but I'm using it in teaching. The one change that I would want in SmallCheck is that Serial should use size, not depth (that is, not take the max over

Re: [Haskell-cafe] Decision procedure for foldr/foldl/foldl'?

2011-11-22 Thread Brandon Allbery
On Tue, Nov 22, 2011 at 09:10, David Fox dds...@gmail.com wrote: I think the other replies in this thread speak for themselves - i found them very helpful. That would be because they mostly back-doored around your stated intent. -- brandon s allbery

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
Wasn't planning on it, but I saw some emails on the topic, so I worked on what I presented earlier: http://imgur.com/a/yIUOA A favicon is attached as well, it probably could use more work. attachment: favicon.ico___ Haskell-Cafe mailing list

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
I goofed on a few images, but I'm a bit tired to correct them at the moment. Also, I'll upload higher res images another time, they don't look terrible up close. On Tue, Nov 22, 2011 at 3:52 PM, heathmatlock heathmatl...@gmail.comwrote: Wasn't planning on it, but I saw some emails on the topic,

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Alejandro Serrano Mena
I really love the idea of Haskell having a mascot, and Da the Lamb seems a perfect one to me. 2011/11/22 heathmatlock heathmatl...@gmail.com I goofed on a few images, but I'm a bit tired to correct them at the moment. Also, I'll upload higher res images another time, they don't look terrible

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
For some reason, I can't rest until this is done, so here's the larger images (with corrections): http://imgur.com/a/CTFJZ There's a download button on the top-right of the thumbnail if you want to observe the lamb up close. ___ Haskell-Cafe mailing

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Conrad Parker
On 22 November 2011 13:22, Jeremy Shaw jer...@n-heptane.com wrote: Sheep are generally thought of as:  - weak and needing protection  - easily lead astray  - being lead to the slaughter  - dumb and easily lost Cool, so Haskell is made for people like me! I think Haskeller's like Haskell

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
Here are some examples of how the mascot can be used on the wiki: http://imgur.com/a/Hu1ve -- Heath Matlock +1 256 274 4225 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Albert Y. C. Lai
On 11-11-22 12:22 AM, Jeremy Shaw wrote: A mascot is supposed to represent characteristics, emotions, or desires that a particular group of people aspire to have, be like, etc. To outsiders, it provides a quick way to see if it might be a group they would like to belong to, and for insiders, it

Re: [Haskell-cafe] Quickcheck research

2011-11-22 Thread wren ng thornton
On 11/22/11 1:36 PM, Jacques Carette wrote: On 22/11/2011 12:42 PM, wren ng thornton wrote: Something I think would be nice is to see full integration between SmallCheck and QuickCheck. In particular, I'd like to use SmallCheck to exhaustively search the small cases, and then use QuickCheck in

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread wren ng thornton
On 11/22/11 8:22 PM, Albert Y. C. Lai wrote: On 11-11-22 12:22 AM, Jeremy Shaw wrote: - weak and needing protection - easily lead astray - being lead to the slaughter - dumb and easily lost A lamb-in-arms is the antithesis to all those. It stands up with determination and might against

[Haskell-cafe] PEPM 2012: Call for participation

2011-11-22 Thread oleg
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM12 January 23-24, 2012. Philadelphia, PA, USA (co-located with POPL'12) Call For Participation Online registration is open at

[Haskell-cafe] Why does GHC not warn about unnamed uninitialized fields?

2011-11-22 Thread Eelis van der Weegen
Today I noticed that GHC is more concerned (when using -Wall) about uninitialized fields when those fields have names: data A = A {a::Integer} data B = B Integer x :: A x = A{} -- Gives a nice warning: Fields of `A' not initialised: a y :: B y = B{} -- No warning! Is this on

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Michael Orlitzky
On 11/22/11 16:52, heathmatlock wrote: Wasn't planning on it, but I saw some emails on the topic, so I worked on what I presented earlier: I liked him more back when he was called Curry. That he is a lamb is a cute play on words. But for me, The Lamb Da was facepalm-inducing because it seems

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
On Tue, Nov 22, 2011 at 10:34 AM, Vincent Hanquez t...@snarc.org wrote: I think cute is good enough, and heathmatlock's lamb da, a good and simple name with a funny pun, definitely made me smile, and hope that's something i see on haskell tshirts soon ;-) Done. http://open.spreadshirt.com

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
On Wed, Nov 23, 2011 at 12:48 AM, Michael Orlitzky mich...@orlitzky.comwrote: On 11/22/11 16:52, heathmatlock wrote: I liked him more back when he was called Curry. That he is a lamb is a cute play on words. But for me, The Lamb Da was facepalm-inducing because it seems like it's trying too

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Moritz Fischer
Hi there, On 11/23/2011 08:30 AM, heathmatlock wrote: I like it but ... I'm paid $1 per item sold, some items are costs more than others. If you want people to identify even faster with Da, start by uploading some CC licenced SVGs. One thing that helps a lot imho is to allow other people