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 t

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
On Wed, Nov 23, 2011 at 12:48 AM, Michael Orlitzky wrote: > 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 hard to maximi

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread heathmatlock
On Tue, Nov 22, 2011 at 10:34 AM, Vincent Hanquez 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 I was a l

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

[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 pur

[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 https://regmaster3.com/2012conf/POPL12

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 mainstr

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 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 h

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 Conrad Parker
On 22 November 2011 13:22, Jeremy Shaw 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 because it is:

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 lis

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 > 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 T

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 wrote: > Wasn't planning on it, but I saw some emails on the topic, so I worked on > what

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. <>___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://

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 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 allber...@gmail.com

Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-22 Thread Johannes Waldmann
> On Mon, Nov 14, 2011 at 9:54 AM, Roman Cheplyaka 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] 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 t

Re: [Haskell-cafe] Quickcheck research

2011-11-22 Thread wren ng thornton
On 11/22/11 6:09 AM, Macías López wrote: 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 par

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. 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 thi

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 ex

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Gábor Lehel
On Tue, Nov 22, 2011 at 4:40 PM, 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 > > Best, > Karol Samborski That's true, and I did think of it. But I don't think it's distinc

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 http://www.haskell.org/mailman/li

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 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 will allow me to >> pro

Re: [Haskell-cafe] A Mascot

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

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Gábor Lehel
On Tue, Nov 22, 2011 at 6: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. > > A mascot is supposed to represent characteristics, emotions, or > desires that a particular group of people aspire to have, be like, > etc. T

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,

[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 Hask

Re: [Haskell-cafe] A Mascot

2011-11-22 Thread Ketil Malde
serialhex writes: > On Tue, Nov 22, 2011 at 12:22 AM, Jeremy Shaw 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 other animals and similar commentar

[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 b

[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] 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] 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 efficient

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