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.
Am Mittwoch, den 16.11.2011, 10:46 +0100 schrieb Bas van Dijk:
Is ⊥ the right symbol to express the non-strict evaluation of the
language? Is it true that non-strict evaluation requires that ⊥
inhabits every type?
In typical strict languages, ⊥ also inhabits every type. The difference
is that
On 23/11/2011, at 4:40 AM, 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
I could never in my whole life draw as well as that.
But they are *skittles*, just like Lamb Da.
2011/11/25 Richard O'Keefe o...@cs.otago.ac.nz:
I could never in my whole life draw as well as that.
But they are *skittles*, just like Lamb Da.
Cute. Stiff. Lifeless. Easy to knock over.
Reminds me of a salt shaker and pepper pot of my mother's.
The collar's good, but
the lambda is just
From: Michael Orlitzky mich...@orlitzky.com
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:
Anyway, creative design-by-committee is doomed, so my advice is to
ignore this and all other advice =)
+1
On Wed, Nov 23, 2011 at 1:44 AM, Moritz Fischer hask...@pure-entropy.orgwrote:
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 to be creative with it, too.
Done.
Darcs:
On Wed, Nov 23, 2011 at 12:31 PM, heathmatlock heathmatl...@gmail.comwrote:
On Wed, Nov 23, 2011 at 1:44 AM, Moritz Fischer
hask...@pure-entropy.orgwrote:
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
I don't like the lamb at all.
But I like the idea of a language mascot. I really like Adam Chlipala's
spidurweb:
http://www.impredicative.com/ur/
Maybe a lambdacat can volunteer. ;-)
Regards,
Dave
___
Haskell-Cafe mailing list
On 24 November 2011 09:10, David Barbour dmbarb...@gmail.com wrote:
I don't like the lamb at all.
But I like the idea of a language mascot. I really like Adam Chlipala's
spidurweb:
That to me is more of a logo than a mascot.
--
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
On Wed, Nov 23, 2011 at 2:53 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 24 November 2011 09:10, David Barbour dmbarb...@gmail.com wrote:
I don't like the lamb at all.
But I like the idea of a language mascot. I really like Adam Chlipala's
spidurweb:
That to me is more
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
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
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,
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:
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
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
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
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
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
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,
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
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
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
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
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
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
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
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
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
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
Hi all,
This is my sister's proposition:
http://origami.bieszczady.pl/images/The_Lamb_Da.png
What do you think?
Best,
Karol Samborski
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
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: http://origami.bieszczady.pl/images/The_Lamb_Da2.png
Best,
Karol Samborski
Cute! I like it!
On Mon, Nov 21, 2011 at 7:52 AM, Karol Samborski edv.ka...@gmail.comwrote:
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:
heathmatlock wrote:
Cute! I like it!
Yea, it's cute. I don't like the formula, though: \x - x + x is just too
trivial and not very Haskellish. Something higher order is the minimum
requirement, IMO. The original (lambda knights) formula was cool: the fixed
point operator is directly related
On 21/11/2011, at 9:22 PM, Karol Samborski wrote:
Hi all,
This is my sister's proposition:
http://origami.bieszczady.pl/images/The_Lamb_Da.png
What do you think?
It looks like a skittle with a baby bonnet.
C'est mignon, mais ce n'est pas la guerre
as Pierre Bosquet almost said.
Yea, it's cute. I don't like the formula, though: \x - x + x is just too
trivial and not very Haskellish. Something higher order is the minimum
requirement, IMO. The original (lambda knights) formula was cool: the fixed
point operator is directly related to recursion, which is reflected in the
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. To outsiders, it provides a quick way to see if it might be a
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:
http://www.youtube.com/watch?v=m7pGZudN8rE (nsfw... almost)
i +1 a honey
John Meacham j...@repetae.net writes:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the
What about types? This is a distinguishing feature from many of
Apart from the whole big discussion about an official mascot for
Haskell, I for one am SURELY adopting Da, the Lamb from now on on my
desktop background and on the lid of my laptop! :D
I think some cute animal to connect with is something nice to us, as a
community :) Could you imagine Linux
On Tue, Nov 15, 2011 at 08:18:04PM -0800, John Meacham wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness.
If we want to emphasize the
On Thu, Nov 17, 2011 at 10:28:47AM +0100, Alexander Bernauer wrote:
On Tue, Nov 15, 2011 at 08:18:04PM -0800, John Meacham wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the
On 16/11/2011 04:50 AM, heathmatlock wrote:
On Tue, Nov 15, 2011 at 10:18 PM, John Meacham j...@repetae.net
mailto:j...@repetae.net wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
On Thu, Nov 17, 2011 at 12:22 PM, Andrew Coppin andrewcop...@btinternet.com
wrote:
On 16/11/2011 04:50 AM, heathmatlock wrote:
If you're going to draw a piece of graphics, why use ASCII workarounds
like _|_, when you can use the real thing (i.e., ⊥)?
Noted, will change.
Are we going to
Last time to upload images for a long time, the break is here and I have
work to do! I got a bit tired of explaining that it's a lamb, and not
something similar to a rat, so I made the face less abstract. My little
niece liked it better than the old one for some reason. Here's some images
I threw
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_ should feature prominently. The two most defining
features of haskell
John Meacham j...@repetae.net wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_ should feature prominently. The
On 16 Nov 2011, at 05:18, John Meacham wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_ should feature
On 16 Nov 2011, at 08:46, Ertugrul Soeylemez wrote:
But I think, despite the well-founded denotational semantics of Haskell,
bottom does not play that much of a role.
There is one? Where? Last time I looked (a while ago, admittedly)
there was no denotational (or any formal) semantics for
The fact that nobody bothered to write one down doesn't mean there isn't one.
Отправлено с iPhone
Nov 16, 2011, в 13:07, Andrew Butterfield andrew.butterfi...@cs.tcd.ie
написал(а):
On 16 Nov 2011, at 08:46, Ertugrul Soeylemez wrote:
But I think, despite the well-founded denotational
On 16 November 2011 05:18, John Meacham j...@repetae.net wrote:
Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_ should feature prominently. The two most defining
features of haskell are that it is purely functional and _|_ inhabits
Maybe it's just me, but I've thought that being non-strict just means that it's
possible for a function to produce some value even if it's argument doesn't; in
other words, that it's possible to have f (_|_) ≠ (_|_). If there was no such
thing as (_|_), what would non-strictness mean?
On 16
Am 16.11.2011 10:07, schrieb Andrew Butterfield:
On 16 Nov 2011, at 08:46, Ertugrul Soeylemez wrote:
But I think, despite the well-founded denotational semantics of Haskell,
bottom does not play that much of a role.
There is one? Where? Last time I looked (a while ago, admittedly)
there was
On 11/16/2011 01:01 AM, heathmatlock wrote:
I liked Go's mascot, and I figure it couldn't hurt to have our own. I spent
the past hour making this:
http://i.imgur.com/Mib6Q.png
awesome. It's really nice,
--
Vincent
___
Haskell-Cafe mailing list
On 16 November 2011 11:05, MigMit miguelim...@yandex.ru wrote:
Maybe it's just me, but I've thought that being non-strict just means that
it's possible for a function to produce some value even if it's argument
doesn't; in other words, that it's possible to have f (_|_) ≠ (_|_). If
there
I like the idea of a mascot. I like the idea of a lamb called Da, as most
of Haskell's strength comes from it's closeness to pure lambda calculus.
A few things I'd like to see in a mascot:
- Simple. You should be able to draw it in a few seconds.
- Look good in black and white.
- Have obvious
Do you mind some ... how to say ... offside comments?
1. The Curry Da mascot looks like a penguin disguised as a lamb. I have
nothing against penguins !
2. Da, da, konech'no, mais, Signori und Demoiselles, do you realize that
lamb is an English word, and we should think about our
You're probably missing the fact that it's much harder to understand how the
Haskell program works without (_|_). I've seen lots of questions like why
doesn't my recursion work that could be answered simply as because your
function is strict, so (_|_) is it's minimal fixpoint.
Отправлено с
I like it!
On Wed, Nov 16, 2011 at 1:01 AM, heathmatlock heathmatl...@gmail.comwrote:
I liked Go's mascot, and I figure it couldn't hurt to have our own. I
spent the past hour making this:
http://i.imgur.com/Mib6Q.png
What do you think?
--
Heath Matlock
+1 256 274 4225
On Wed, Nov 16, 2011 at 5:54 AM, Jerzy Karczmarczuk
jerzy.karczmarc...@unicaen.fr wrote:
Do you mind some ... how to say ... offside comments?
1. The Curry Da mascot looks like a penguin disguised as a lamb. I have
nothing against penguins !
Hi Jerry, thanks for your input. The reason to
On Wed, Nov 16, 2011 at 7:06 PM, heathmatlock heathmatl...@gmail.comwrote:
Some might picture a symphony or what looks like newspaper origami when
they hear Da, and some might picture food when they hear Curry. I like Da
because its simple and Da the lamb rolls smoothly off the tongue.
On Wed, Nov 16, 2011 at 3:15 PM, Giovanni Tirloni gtirl...@sysdroid.comwrote:
On Wed, Nov 16, 2011 at 7:06 PM, heathmatlock heathmatl...@gmail.comwrote:
Some might picture a symphony or what looks like newspaper origami when
they hear Da, and some might picture food when they hear Curry. I
On Wed, Nov 16, 2011 at 4:49 PM, heathmatlock heathmatl...@gmail.comwrote:
You're probably right, I guess someone can create a new poll like the
previous one:
http://www.cs.cornell.edu/w8/~andru/cgi-perl/civs/results.pl?num_winners=1id=E_d21b0256a4fd5ed7algorithm=beatpath
I would create
On 16 Nov 2011, at 23:49, heathmatlock wrote:
I took Jerzy's suggestions into consideration and made the lamb skinnier,
maybe it looks less like a penguin now.
http://imgur.com/4oeJz
A formula that is Haskell specific is
\x - ⊥ ≠ ⊥
It is mentioned in the Haskell 98 Report, sec. 6.2,
I'm used to (on the east coast US) hearing lambda pronounced LAM-duh.
Duh is an expression of something being stupid, so I don't know about
Haskell having a mascot called Duh the Lamb!
amindfv / Tom
On Nov 16, 2011 4:06 PM, heathmatlock heathmatl...@gmail.com wrote:
On Wed, Nov 16, 2011 at
You're quite the artist. I wish I could make stuff like this.
Here are some more ideas (based on titles of papers about Haskell):
What about making the lamb wear a hair shirt?
http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-retrospective/
Or maybe it could be lazy with
Wonder what they'd make of bottom :)
Maybe we can also incorporate some tongue-in-cheek tip-of-the-hat to
Shakespeare :
http://www.shakespearesantacruz.org/about/images/dream_34_thaler_web.jpg
-deech
On Wed, Nov 16, 2011 at 6:50 PM, Tom Murphy amin...@gmail.com wrote:
I'm used to (on the east
On 16 November 2011 12:01, heathmatlock heathmatl...@gmail.com wrote:
I liked Go's mascot, and I figure it couldn't hurt to have our own. I spent
the past hour making this:
http://i.imgur.com/Mib6Q.png
What do you think?
Um do we _really_ need a mascot? And no offence to your
I don't see how a lamb relates to Haskell :/
The lamb is named Da.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Tue, Nov 15, 2011 at 20:06, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Um do we _really_ need a mascot? And no offence to your
artistic abilities, but even if we did, I don't see how a lamb relates
to Haskell :/
Lamb-da, obviously.
--
brandon s allbery
On Tue, Nov 15, 2011 at 7:06 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Um do we _really_ need a mascot?
I don't think a programming community every really needs a mascot, just
nice to have.
And no offence to your
artistic abilities, but even if we did, I don't see
On Tue, Nov 15, 2011 at 7:39 PM, Diego Olivier Fernandez Pons
dofp.hask...@gmail.com wrote:
I don't see how a lamb relates to Haskell :/
The lamb is named Da.
That works too. I couldn't resist:
http://i.imgur.com/5222B.png
See http://en.wikipedia.org/wiki/Knights_of_the_Lambda_Calculus
I thought we already had a mascot?
http://www.haskell.org/pipermail/haskell/attachments/20090401/9fb8fa05/haskell-mascot.jpg
:p
- jeremy
On Tue, Nov 15, 2011 at 7:01 PM, heathmatlock heathmatl...@gmail.com wrote:
I liked Go's mascot, and I figure it couldn't hurt to have our own. I spent
the
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_ should feature prominently. The two most defining
features of haskell are
On 11-11-15 08:01 PM, heathmatlock wrote:
http://i.imgur.com/Mib6Q.png
Curry had a little lamb, little lamb, little lamb...
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Tue, Nov 15, 2011 at 10:18 PM, John Meacham j...@repetae.net wrote:
People tend to concentrate on the lambda which cooresponds to the
functional aspect of haskell when designing logos. Not nearly enough
attention is paid to the other striking feature, the laziness. The
'bottom' symbol _|_
Da the lamb, I like that.
--
Heath Matlock
+1 256 274 4225
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Last image for the night, http://i.imgur.com/CE9Tk.png
On Tue, Nov 15, 2011 at 11:03 PM, heathmatlock heathmatl...@gmail.comwrote:
Da the lamb, I like that.
--
Heath Matlock
+1 256 274 4225
--
Heath Matlock
+1 256 274 4225
___
Haskell-Cafe
2011/11/16 heathmatlock heathmatl...@gmail.com:
Last image for the night, http://i.imgur.com/CE9Tk.png
Great! I like it very much.
Best,
Karol Samborski
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
In general, I like the idea of having a mascot, and think that something
along these lines will be great.
Cheers,
Pedro
On Wed, Nov 16, 2011 at 01:01, heathmatlock heathmatl...@gmail.com wrote:
I liked Go's mascot, and I figure it couldn't hurt to have our own. I
spent the past hour making
I vote for an invisible mascot, all there is to see is the orange speech bubble
with smart code ;-)
Liebe Grüße
ben
On 16 Nov 2011, at 08:45, José Pedro Magalhães j...@cs.uu.nl wrote:
In general, I like the idea of having a mascot, and think that something
along these lines will be great.
81 matches
Mail list logo