Niklas Hambüchen writes:

Hey Ben,

it may make sense to make a copy of the SVG that has the font turned into paths; for me it looks different in Firefox, Thunderbird, and eog, probably because I don't have the font installed. (This is probably also why the logo is cut off for me in some of them).

Sigh, of course. I've uploaded another version with path-ified text. Cheers, - Ben

Carter Schonwald writes:

I def like the serif / times new Roman version

I'm not aware of a serif version and in general I would be hesitant to introduce one given that: 1. this would break from the precedent set by the current Haskell logo 2. details like serifs tend not to translate well into small display areas Cheers, - Ben

Sounds like a missing font to me. It rendered sans-serif here, but I have that set as default. On Sun, Aug 16, 2020 at 1:39 PM Merijn Verstraaten wrote:

...

On 16 Aug 2020, at 16:02, Ben Gamari wrote:

Carter Schonwald writes:

...

I def like the serif / times new Roman version

I'm not aware of a serif version and in general I would be hesitant to introduce one given that:

The one you send out renders using a serif font for GHC on my system (and, presumably, Carter's).

Cheers, Merijn _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

-- brandon s allbery kf8nh allbery.b@gmail.com

Late to the party here, but I'm wondering whether we can enlist someone with graphic design experience to create a more iconic logo for the compiler. I use the word "iconic" deliberately: it should both be recognizable, and in the shape of an icon (that is, more square). The Haskell logo does this wonderfully, but I think Ben's proposal just appends GHC to that. My own preference would be to retain a connection with the Haskell logo (as Ben's submission does), but that needn't be a hard requirement. Thanks, Richard

On Aug 16, 2020, at 2:30 PM, Ben Gamari wrote:

Merijn Verstraaten writes:

...

...

On 16 Aug 2020, at 16:02, Ben Gamari wrote:

Carter Schonwald writes:

...

I def like the serif / times new Roman version

I'm not aware of a serif version and in general I would be hesitant to introduce one given that:

The one you send out renders using a serif font for GHC on my system (and, presumably, Carter's).

Indeed, sounds like a missing font. The typeface used is Cantarell, which is certainly a sans-serif face. You will find a version on the Wiki which has had the text projected to paths.

Cheers,

- Ben

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But animals are cute. Maybe something involving a fox, given that foxes can be clever? Octopuses are also known to be very clever, but maybe GitHub has octopuses covered.

On Sep 1, 2020, at 8:42 PM, Carter Schonwald wrote:

Ben, what if we have someone draw a cartoony version of your box turtle? i feel like that would be a pretty cute logo! totally ahistorical, but would certainly be cute!

On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov mailto:dyaitskov@gmail.com> wrote: Hi,

Is it a contest for picking up a new logo? As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here means Haskell.

So logo should be GλC.

Best Regards, Daniil.

On Sat, Aug 15, 2020, 8:50 AM Ben Gamari mailto:ben@well-typed.com> wrote: Hi everyone,

Recently a sponsor asked for a logo for our project. As far as I know, GHC doesn't really have a consistent logo; the closest that we have had is the stylized "GHC" on the top of ghc.haskell.org http://ghc.haskell.org/.

To accomodate the request, I took a few minutes and reworked the typography of the Thompson-Wheeler Haskell logo for use by GHC. I couldn't positively identify the typeface used for the "Haskell" text, but I believe that the extra-bold Cantarell face that I chose in the GHC variant has a similar feel to the Haskell logo and is free to use.

I've posted the logo on the Wiki for future reference [1]. Feedback is very much welcome.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo https://gitlab.haskell.org/ghc/ghc/-/wikis/logo _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org mailto:ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org mailto:ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Cats are warm and fuzzy. On Wed, Sep 2, 2020 at 10:38 AM Richard Eisenberg wrote:

On Sep 2, 2020, someone wrote to me privately saying:

...

I was thinking Cats for some reason.

Ooh. I'm picturing a cat with its tail wrapped around a lambda, or something like that. And Simon PJ does have a cat named Haskell who could perhaps be the model. :)

Richard

On Sep 2, 2020, at 10:16 AM, Richard Eisenberg wrote:

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But animals are cute. Maybe something involving a fox, given that foxes can be clever? Octopuses are also known to be very clever, but maybe GitHub has octopuses covered.

On Sep 1, 2020, at 8:42 PM, Carter Schonwald wrote:

Ben, what if we have someone draw a cartoony version of your box turtle? i feel like that would be a pretty cute logo! totally ahistorical, but would certainly be cute!

On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov wrote:

...

Hi,

Is it a contest for picking up a new logo? As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here means Haskell.

So logo should be GλC.

Best Regards, Daniil.

On Sat, Aug 15, 2020, 8:50 AM Ben Gamari wrote:

...

Hi everyone,

Recently a sponsor asked for a logo for our project. As far as I know, GHC doesn't really have a consistent logo; the closest that we have had is the stylized "GHC" on the top of ghc.haskell.org.

To accomodate the request, I took a few minutes and reworked the typography of the Thompson-Wheeler Haskell logo for use by GHC. I couldn't positively identify the typeface used for the "Haskell" text, but I believe that the extra-bold Cantarell face that I chose in the GHC variant has a similar feel to the Haskell logo and is free to use.

I've posted the logo on the Wiki for future reference [1]. Feedback is very much welcome.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Mark lentzer (I’m almost certainly spelling his last name wrong) On Wed, Sep 2, 2020 at 10:47 AM Bryan Richter wrote:

I have no idea who or where it came from, but I loved the owl from BayHac 2013. In my mind, it has always been the Haskell mascot (I was pretty new to the community in 2013).

https://wiki.haskell.org/BayHac2013

[image: image.png]

On Wed, Sep 2, 2020 at 5:39 PM Ryan Yates wrote:

...

Cats are warm and fuzzy.

On Wed, Sep 2, 2020 at 10:38 AM Richard Eisenberg wrote:

...

On Sep 2, 2020, someone wrote to me privately saying:

...

I was thinking Cats for some reason.

Ooh. I'm picturing a cat with its tail wrapped around a lambda, or something like that. And Simon PJ does have a cat named Haskell who could perhaps be the model. :)

Richard

On Sep 2, 2020, at 10:16 AM, Richard Eisenberg wrote:

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But animals are cute. Maybe something involving a fox, given that foxes can be clever? Octopuses are also known to be very clever, but maybe GitHub has octopuses covered.

On Sep 1, 2020, at 8:42 PM, Carter Schonwald wrote:

Ben, what if we have someone draw a cartoony version of your box turtle? i feel like that would be a pretty cute logo! totally ahistorical, but would certainly be cute!

On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov wrote:

...

Hi,

Is it a contest for picking up a new logo? As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here means Haskell.

So logo should be GλC.

Best Regards, Daniil.

On Sat, Aug 15, 2020, 8:50 AM Ben Gamari wrote:

...

Hi everyone,

Recently a sponsor asked for a logo for our project. As far as I know,

GHC doesn't really have a consistent logo; the closest that we have had

is the stylized "GHC" on the top of ghc.haskell.org.

To accomodate the request, I took a few minutes and reworked the

typography of the Thompson-Wheeler Haskell logo for use by GHC. I

couldn't positively identify the typeface used for the "Haskell" text,

but I believe that the extra-bold Cantarell face that I chose in the GHC

variant has a similar feel to the Haskell logo and is free to use.

I've posted the logo on the Wiki for future reference [1]. Feedback is

very much welcome.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Ghc is a turtle. So much super linearity in the code base and very much a safety oriented tool ;) On Wed, Sep 2, 2020 at 10:16 AM Richard Eisenberg wrote:

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But animals are cute. Maybe something involving a fox, given that foxes can be clever? Octopuses are also known to be very clever, but maybe GitHub has octopuses covered.

On Sep 1, 2020, at 8:42 PM, Carter Schonwald wrote:

Ben, what if we have someone draw a cartoony version of your box turtle? i feel like that would be a pretty cute logo! totally ahistorical, but would certainly be cute!

On Tue, Sep 1, 2020 at 7:51 PM Daneel Yaitskov wrote:

...

Hi,

Is it a contest for picking up a new logo? As for me logo "λ GHC" is redundant, because H stands for Haskell and λ here means Haskell.

So logo should be GλC.

Best Regards, Daniil.

On Sat, Aug 15, 2020, 8:50 AM Ben Gamari wrote:

...

Hi everyone,

Recently a sponsor asked for a logo for our project. As far as I know,

GHC doesn't really have a consistent logo; the closest that we have had

is the stylized "GHC" on the top of ghc.haskell.org.

To accomodate the request, I took a few minutes and reworked the

typography of the Thompson-Wheeler Haskell logo for use by GHC. I

couldn't positively identify the typeface used for the "Haskell" text,

but I believe that the extra-bold Cantarell face that I chose in the GHC

variant has a similar feel to the Haskell logo and is free to use.

I've posted the logo on the Wiki for future reference [1]. Feedback is

very much welcome.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/ghc/-/wikis/logo

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Yeah I think the old "functional programming is slow" memes died off about when the rest of the industry went on its JavaScript bender, so I am not really worried about the negative connotations of turtles. The positive connotations of turtles sounds very good to me. Besides safety, *  the longevity of at least giant tortoises also speaks to GHC's rare ability to stay at the vanguard of research while still being wildly used. * Their ability to walk and swim speaks to the diverse backends that can be attached to GHC (NCG, LLVM, GHCJS, Asterius, Clash's, etc.). * Even the fable, from which the slowness myth comes from I guess, goes well with "avoid success at all costs". Conversely I am not a fan of choosing a Cat. I like Cats fine in real life, don't get be wrong, but Cats are so popular on the internet that this would be the the unmarked animal choice, with no clear connotations or memorability. I think that would be the juvenile choice, per Ben's slippery slope. Foxes are nice, but I think Firefox has that for life. Octopuses are alright. GitHub's Octocat doesn't doesn't pose nearly as much of a problem as Firefox for foxes. Still, while Octopuses are smart, they are usually solitary and mischievous. GHC is very much a long-term group effort, belying the solitary connotation, and I certainly hope any compiler I use isn't mischievous! A turtle for a compiler is a bold choice that indicates our values, confidence that the performance of compiled code is immune to cheap derision, and humor. John P.S. The funny patterns on turtles' backs could be made of lambdas?... P.P.S. and yes, if it does compel us to fix rampant list appending just so we're fast on all fronts, that would be nice too :). On 9/2/20 11:47 AM, Ben Gamari wrote:

Richard Eisenberg writes:

...

I'm oddly drawn to the idea of a turtle -- except that turtles are slow. But animals are cute. Maybe something involving a fox, given that foxes can be clever? Octopuses are also known to be very clever, but maybe GitHub has octopuses covered.

In general I'm rather neutral on the logo question. There is a fine line between "juvenile" (which may detract from the project's credibility in the eyes of some) and "cute" (which I think is universally a Good Thing); the current rather boring logo was a quick attempt to satisfy the need for some logo while recognizing that I lack the artistic ability to walk that line. I don't think it's a bad logo but it's quite dull and far from being a *good* logo. I do hope someone steps up to do better.

Logos aside, I do feel the need to correct the record here: you clearly have not seen how quickly a turtle can move when offered banana or shrimp. They can be quite quick when suitably incentivized!

Cheers,

- Ben

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I decided to look up the difference between tortoise and turtles, and apparently the former are land critters. Plus have elephant style hind feet to support their high load/ weight among the larger species due to being land focused. https://www.nationalgeographic.com/news/2017/12/shell-game--how-to-tell-a-tu... So there’s a cute stable under load angle there ;) at least for a tortoise / land turtle angle On Wed, Sep 2, 2020 at 12:08 PM John Cotton Ericson wrote:

Yeah I think the old "functional programming is slow" memes died

off about when the rest of the industry went on its JavaScript

bender, so I am not really worried about the negative connotations

of turtles.

The positive connotations of turtles sounds very good to me.

Besides safety,

- the longevity of at least giant tortoises also speaks to

GHC's rare ability to stay at the vanguard of research while

still being wildly used.

- Their ability to walk and swim speaks to the diverse backends

that can be attached to GHC (NCG, LLVM, GHCJS, Asterius,

Clash's, etc.).

- Even the fable, from which the slowness myth comes from I

guess, goes well with "avoid success at all costs".

Conversely I am not a fan of choosing a Cat. I like Cats fine in

real life, don't get be wrong, but Cats are so popular on the

internet that this would be the the unmarked animal choice, with

no clear connotations or memorability. I think that would be the

juvenile choice, per Ben's slippery slope.

Foxes are nice, but I think Firefox has that for life.

Octopuses are alright. GitHub's Octocat doesn't doesn't pose

nearly as much of a problem as Firefox for foxes. Still, while

Octopuses are smart, they are usually solitary and mischievous.

GHC is very much a long-term group effort, belying the solitary

connotation, and I certainly hope any compiler I use isn't

mischievous!

A turtle for a compiler is a bold choice that indicates our

values, confidence that the performance of compiled code is immune

to cheap derision, and humor.

John

P.S. The funny patterns on turtles' backs could be made of

lambdas?...

P.P.S. and yes, if it does compel us to fix rampant list

appending just so we're fast on all fronts, that would be nice too

:).

On 9/2/20 11:47 AM, Ben Gamari wrote:

Richard Eisenberg writes:

I'm oddly drawn to the idea of a turtle -- except that turtles are

slow. But animals are cute. Maybe something involving a fox, given

that foxes can be clever? Octopuses are also known to be very clever,

but maybe GitHub has octopuses covered.

In general I'm rather neutral on the logo question. There is a fine line

between "juvenile" (which may detract from the project's credibility in

the eyes of some) and "cute" (which I think is universally a Good

Thing); the current rather boring logo was a quick attempt to satisfy

the need for some logo while recognizing that I lack the artistic

ability to walk that line. I don't think it's a bad logo but it's quite

dull and far from being a *good* logo. I do hope someone steps up to do

better.

Logos aside, I do feel the need to correct the record here: you

clearly have not seen how quickly a turtle can move when offered banana

or shrimp. They can be quite quick when suitably incentivized!

Cheers,

- Ben

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

_______________________________________________

ghc-devs mailing list

ghc-devs@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs