Logo Proposal

[Nicolas Gagliani]

In order to convey a meaning through the Idris logo we propose a couple new ideas.

We've asked the designer of our company if he had an idea for a new logo.

And he kindly designed some possible logos for the Idris language.

The first logo adds the type operator to the plain Idris name.

The next three play with the idea that the types in Idris are a

first class language construct. 

We can license the logos however we want and they are available as svgs if

there is any interest.

[Echo Nolan]

If we're bikeshedding the logo, I'll say I have no idea what the current one is supposed to be, or what it has to do with Idris. A harp? A comb?

The last one proposed by Nicolas seems nice. The right hand side of the colon depending on the left hand side of the colon and the left hand side depending the right hand side.

--
You received this message because you are subscribed to the Google Groups "Idris Programming Language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to idris-lang+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Jon Sterling]

I thought the current one was a evoking a dragon's tail, and I kind of
like it.

Best,
Jon

On Fri, Nov 13, 2015, at 07:15 PM, Echo Nolan wrote:
> If we're bikeshedding the logo, I'll say I have no idea what the current
> one is supposed to be, or what it has to do with Idris. A harp? A comb?
>
> The last one proposed by Nicolas seems nice. The right hand side of the
> colon depending on the left hand side of the colon and the left hand side
> depending the right hand side.
>
> On Fri, Nov 13, 2015 at 7:15 AM Nicolas Gagliani <what...@gmail.com>
> wrote:
>
> > In order to convey a meaning through the Idris logo we propose a couple
> > new ideas.
> >
> > We've asked the designer of our company if he had an idea for a new logo.
> > And he kindly designed some possible logos for the Idris language.
> >
> > The first logo adds the type operator to the plain Idris name.
> >
> >

> > <https://lh3.googleusercontent.com/-wp-3pmjgO_Q/VkX-S8BcWiI/AAAAAAAAAE4/3sECFEuu0Kg/s1600/20151113065734.jpg>

> >
> >
> > The next three play with the idea that the types in Idris are a
> > first class language construct.
> >
> >

> > <https://lh3.googleusercontent.com/-hcZMGVglf8Q/VkX-ZJTNwlI/AAAAAAAAAFA/drDtetdMc_8/s1600/idris-v4.png>
> >
> >
> > <https://lh3.googleusercontent.com/-MP7ysFNlWC0/VkX-cW6yFMI/AAAAAAAAAFI/za7UZJVcIlc/s1600/idris-v5.png>
> >
> >
> > <https://lh3.googleusercontent.com/-zz1GFkkDH_4/VkX-htB6lUI/AAAAAAAAAFQ/UI8QoJnAb1Q/s1600/idris-v6.png>

[Greg Pfeil]

> On 13 Nov 2015, at 20:26 , Jon Sterling <j...@jonmsterling.com> wrote:
>
> I thought the current one was a evoking a dragon's tail, and I kind of
> like it.

A dragon’s ear, just to be pedantic. I don’t get many opportunities to correct Jon.

I also like it.

[Alex Crough]

Although those logos look nice, they're not memorable. They don't have a strong silhouette that I could easily draw from memory.

Haskell, Python, Ruby etc have very good logos with very distinct shapes. The current Idris logo may not be the prettiest, but it does have a very strong and unique shape.

Maybe instead of tying to incorporate language features into the logo, try to improve the current one? Just a thought-- these designs are obviously skilled just maybe a touch off target.

[Leif Warner]

These look nice - thanks!

What about a more incremental modification of the current one - perhaps just incorporating the slick lettering of one of these, while keeping the "dragon wing" or whatever that is of the current one?