Proposed Haskell Merchandise Logo Designs

Fritz Ruehr, Willamette University

Click back to the Haskell merchandise page to order actual products with some of these logos; see these sections at the end for more information on this page:

This index allows you to jump quickly to a section of logos. The thumbnails below are linked to larger PNG files; use right-click/command-click/etc. to open them in a separate window if you like (i.e., no pop-ups are used here). logos, old and new

The "original" logo (blue lambda)

This is the simple design that is featured on the front of the current T-shirts and the small mugs and mousepads at the current CafePress site; it was also the long-running header logo at

The new logo (green and purple)

This new logo is a little more colorful, but also a bit busier. I haven't quite worked out how it would best go on a shirt (maybe big circle/symbols on front, words on back?). Perhaps it could be combined with other art on the back as with the current shorts (hint to Conal ...).

Other language/compiler logos

A "classy" logo

This was another alternative I sent to John for the current logo. It was intended to look a bit like those hood ornaments you see on fancy cars (Mercedes, BMW, etc.). It's also meant to match up with the Generic Haskell logo below.

A "classy" logo for Generic Haskell

Another fancy hood-ornament style logo, with the added visual "pun" of writing "Generic" in a more generic-looking font.

I will hold off on producing anything with this logo until I get the go-ahead from Johan Jeuring's and Ralf Hinze's group. (PS to Johan: perhaps CafePress' large poster product would work for the sign you wanted.)

My rendering of Vincent Lockyer's great Hugs logo

This was the winning entry in the Hugs logo contest a while back, designed by Vincent Lockyer. I've tried to render it faithfully in a larger size, but the color is a bit off due to limitations in my software. I'd be happy to set up a version from Vincent in a Haskell store (I think this would look especially nice on a mouse pad).

I will hold off on producing anything with this logo pending a go-ahead from someone at "Hugs Central".

A fanciful logo for GHC

This came to me (with some help from my wife) after trying to arrange the letters "G H C" into a coherent design. I think it still needs some work, but I like the basic skeleton key theme.

If the GHC people like this one (or with some changes), I'd be happy to render it off for merchandise or to make versions suitable for their website, documentation, etc.

A T-shirt logo for the Cayenne language

This is for Lennart Augustsson's Cayenne language. Of course, I would be happy to produce a "Cayenne: Hotter than Haskell" logo for Lennart (his slogan on the web-site), but I was loathe to do so right to the Haskell community's face .

Haskell purity

No assignments allowed

This recalls an idea that graced FPCA materials in the old days and has been used by many people. I've refined it with a bit of irony in the form of the "small print" provisos at the bottom (you'll need to click on the thumbnail to read them).

Haskell: Pure Fun for the whole(some) family!

After designing a "campy" logo with retro clip art, I realized that this wholesome family must be the very same one featured in the Haskell Flakes commercial.

Monads and type classes

"Doing it" in a monad

The "X-ers do it Y-ly" (for appropriate X and Y) is an old standby in the T-shirt trade; the coincidence of Haskell's use of the "do" keyword made this one hard to resist.

"Doing it" while remaining pure

Similar to the above, but with slightly stronger sexual overtones (and a certain air of moral pretension ...).

Haskell, a language with Class

An art deco homage to Haskell's type class system (perhaps it should read "purely functional" as the logos do, or have a comma between ... too subtle a question of English grammar for the likes of me).

Haskell systems/hacker

Haskell, tool for hackers

This was inspired by the ICFP contest award in which a language is proclaimed as a tool for discriminating hackers.

I suppose I could do a similar design, in more specific language and with the appropriate language name inserted, as part of the prize for the ICFP contest (anyone involved in running the contest who likes the idea should contact me).

Real Hackers don't eat quiche ...

This is the counterpoint to all the "Haskell Is So Pure" stuff from above. It takes advantage of (and perhaps runs slightly afoul of) the popular misconceptions about the meaning of the term "hacker".

Put this one on a camisole (for women) or a tank top (for men) and wear it to the next ICFP all-night rave party for a guaranteed hit! (What, you mean you weren't invited last year?!)

Functional Programming generally

If a language isn't "functional" ...

A quick lesson in the history (and future) of functional programming languages, along with a quip I'm sure many have made over the years. (The trademark notice at the bottom is a little treat for all those who remember it fondly from "back in the day".)

Languages list updated as per request [1 Aug 03].

Functional programmers "do it" at a higher order

This one may be a bit over the top, and I suppose some might find it offensive, but I couldn't come up with a better visual rendering of "higher-order" (write me if you have any suggestions).

My wife notes a possible mis-interpretation that functional languages are "dead" and have gone on to their reward ... hmmmm!

Type systems

I Like it HOT!

This one actually started the whole business, and was inspired specifically by the new CafePress thong product. After careful consideration, I think it's more likely to end up on a barbecue apron, where it would work just as well. (I don't know who the thong audience would be, after all: whether as a gift to a Haskell fanatic or a gift from one, I'm not sure it would go over all that well. Of course then there's always the boxers ...).

As far as I know, the "HOT = higher-order and typed" idea is due to Phil Wadler and Bob Harper (as editors of the JFP).

As compared to the "strong, silent type"

Many of the Haskell built-in and Prelude Haskell types and classes are represented here. The sizing and layout suggest it might make a good mouse pad. Ideologically, of course, there should be some dynamically-/latently-typed Scheme rejoinder (Scheme people are encouraged to respond on their own or to contact me with their ideas).

For the Types Wizards amongst us

One occasionally sees this usage on the mailing lists, and it matched up well with this wizard graphic I found in a dingbat font. I'm not positive about the use of the arrow symbol on the robe: types wizards will no doubt complain that it's just a special case of the dependent product down to the right, after all.

The beard and the term "wizard" are also a bit sexist: I'd be happy to receive suggestions for a feminine variation on this theme ("Types Goddess" might look good on a baby-doll t-shirt).

Bananas and catamorphisms

Mae West on catamorphisms

OK, this topic goes back a ways, but the bananas of the "bananas, lenses, envelopes and barbed wire" were just too hard to resist. The Mae West quote was probably the safest route down this particular road .... (I hope the Squiggol reference is appropriate in this context, by the way.)

Cata-eval with real banana brackets

Probably a bit too obscure for your typical small town crowd -- hell, probably too obscure unless your in Erik Meijer's living room! Those too young to recall the late 1900's will have missed out on the sight of Erik in white shirt and yellow pants giving talks about this stuff at conferences.

(PS to Erik: let me know if I got the equation right!)


Other information


John Peterson recently handed over control of the Haskell Merchandise area of to me and, in celebration, I've created a bunch of provisional designs for new Haskell, FP and types-related "swag".

The logos include the "original" and new logos and about 15 others, designed around traditional T-shirt logo aesthetics (puns, strident dogmatic posturings and mild sexual suggestion). I've tried to represent a range of Haskell community viewpoints, from pure/theory to systems/"hacker". (A couple of the designs will likely appeal to a very limited audience, for example the catamorphism evaluation law expressed with real banana brackets ... ).

For now the logos are just graphic files in PNG format, available above linked from thumbnails and accompanied by a few comments. My intent is to convert them, as called for, into products on the CafePress site and link them in via the Haskell Merchandise page. See the section Ordering logo products below for more details.

Of course, I'm also willing to entertain changes, additions, requests and submissions of other people's logos. John had said something about rejecting logos "not related to Haskell or in really bad taste" in his original T-shirt contest post long ago, but I will try to relax his stringent standards in order to encourage more submissions .


A couple of years back I noted that the lambda logo on the site was a bit clunky and aliased, so I submitted a new, smoother one with a bit of titling. After John Peterson announced his T-shirt contest, it wound up being used, along with some of Conal Elliott's Pan graphics, for T-shirts, mugs and mouse pads. (Note that my contribution required a few keystrokes and moving some sliders in canned software, whereas Conal developed a theory, designed a language, implemented a compiler and worked up the math for the graphic. A clear example of lazy versus eager ).

I was surprised to hear from John last Fall that the site had sold almost 150 T-shirts, mugs and mousepads: I had no idea there was so much latent desire for Haskell "swag" out there in the world. Recently I made a few more logos for some related sites, including the Generic Haskell site, the Learning Haskell site, the Haskell History site and a new logo for the main site. Then last month John wrote to tell me that someone had requested a T-shirt with the new logo on it and I soon found myself in charge of the store ....

CafePress, its stores and products

The original Haskell merchandise was made available through a web-site called Cafe Press. Basically this company makes its money by putting logos onto various products, but it leaves the design up to you. That is, you transfer your logo to them electronically, and they print and distribute physical products to the third-party customers who want your designs (a nice service and a good business model).

You have the option of making some profit on your designs, but you may also choose to charge only the base price for each product, so that no money is passed on to you (this is how the Haskell store is currently run).

Apparently the idea has caught on very well, as CafePress now offers a much wider variety of products, ranging from lunch boxes, steins and baby bibs all the way to boxers, camisoles and thongs. For each product type there are guidelines for the size and resolution of the graphics to be uploaded (this is significant because it means that some combinations of logos and products might require some re-tooling of the design or re-rendering of the final PNG files).

Another complication is that, although you can have as many free "stores" at the site as you want, you may only have one version of each product at a given store. So for example, one style of white T-shirt, one small mug, one mouse pad, etc. Thus if two people want two different logos on white T-shirts, at least two stores are required (although one can sell a given logo on several products at a single store). Another option that CafePress offers is a "premium" store, which allows for any number and combination of logos and products (along with better organization, customization, etc.). But the premium store comes with a cost, about USD 5.00 per month.

With respect to the Haskell merchandise, this means that we will (likely) either need several stores or that to fund a premium store from some "profits" on items sold (currently we sell about 5 items per month on average). For now I am willing to go the route of multiple free stores, linked in from the page for convenience, but if sales were to sky-rocket, it might be worth it to set up a more organized premium shop (if sales go up, only a small "profit" would be needed per item, all rolled back into the store, of course).

Ordering logo products (and new logos)

I'm not sure exactly what the protocol for selecting logo/product combinations should be, but for now I will just take e-mails from people. If this becomes too laborious, maybe a page at the Haskell Wiki would be better. (Note however that no actual products are created until you order, so there are no inventory issues.)

To request availability of an item, then, just e-mail me with the specific logo/product combinations (e.g., "Types Wizard on a mouse pad" or "Haskell Hackers on a camisole") and I will try to populate the stores on a first-come-first serve basis. You can e-mail me at this address (or click for a "mailto" link): I will try to update this page with information on availability of product combinations and links into the CafePress stores, so please double-check here before requesting anything.

I am open to suggestions for changes or additions to my designs, and even to proposals for new designs, although if you have something specific in mind, you might be better off to develop it yourself, just because it might be difficult for me to match your creative vision. (Of course anyone can open a CafePress site if they wish, so the main advantage of going through me would be to co-ordinate with existing merchandise. If you wish to make a "profit" on items at your own store, I would think it should be made clear on any link.)

I would be especially interested in images created using Haskell-based software, so break out your copies of Pan/Fran/Vertigo etc. (Hey, Jerzy, how about a Clean logo using Clastic?)