Haskell Logo

By Xah Lee. Date: 2005-10-30. Last updated: 2022-01-01.

Here are some Haskell logo i made. I hope webmasters will use it to spread Haskell. I hereby release it into public domain.

xah haskell logo

Here's the logo using HTML+CSS:

λ → ∀ ≫ :: ⇒
Haskell

<div style="display:table; border: solid thin black; text-align:center; padding:8px">
<span style="font-size:28px;">λ → ∀ ≫ :: ⇒</span><br />
<span style="font-size:2rem; font-family:'Times New Roman',serif;">Haskell</span>
</div>

Haskell Logo History

Yale Haskell bullfrog — Yale Haskell project (~1999) used a logo that features symbols in lambda calculus including the lambda, and also a bullfrog head. Quite funny and beautiful. (the bullfrog logo origin is explained at the bottom. i.e. that of parody to Yale's bulldog logo) ❮http://web.archive.org/web/19990828153125/http://www.cs.yale.edu/haskell/yale-fp.html❯

The Haskell interpreter Hugs98 features a 3D lambda with projected shadow ❮http://www.haskell.org/hugs/❯

Here's Haskell's original logo:

HaskellGleam — Haskell language logo in 2002

Haskell logo, since 2003-05. It is designed by Fritz Ruehr [http://www.willamette.edu/~fruehr/]. Superb.

It is made of 5 math symbols revolving around a big lambda. The symbols are:

→ The right arrow signifies transformation.
∀ The inverted A signifies for all.
≫ The double angle signifies free from disorder.
∷ The double colon signifies exactitude.
⇒ The double right arrow signifies generality.
λ Finally, the lambda λ signifies functionality.

Here's a simplified version:

haskell-logo c

Haskell's new logo of 2009.

This logo's concept is based on ASCII art by Darrin Thompson, and interpreted by Jeff Wheeler. It is a result of public logo contest. For detail, and many quality logo entries, see https://wiki.haskell.org/Haskell_logos/New_logo_ideas

2005-10