A Lambda Logo Tour

Xah Lee

A Lambda Logo Tour
(and why LISP languages using Î» as logo should not be looked upon
kindly)

Xah Lee, 2002-02

Dear lispers,

The lambda character Î», always struck a awe in me, as with other
mathematical symbols. In my mind, i imagine that those obscure math
symbolism are etched in stone by god. A salient example is the book
cover Concrete Mathematics by Ronald Graham et al. (See it here:
http://xahlee.org/UnixResource_dir/b...crete-math.jpg.) Here we see
the summation sign âˆ‘ etched in stone. The summation sign happens to
be my favorite math symbol. (chosen as my website signet:
http://xahlee.org/Icons_dir/icon_sum.gif XahLee.org signet)

These symbols are not to be trifled with. If anyone puffs in as much
half a snicker, i wish god strikes a thunder upon their impudence.

The Greek lambda symbol is used in a branch of logic called lambda
calculus. The theories of lambda calculus is what functional languages
are based on, thus many functional languages's logo feature the lambda.
Here is a sampling:
MIT Scheme logo

MIT Scheme's logo features a recursive shield with lambda
http://www.swiss.ai.mit.edu/projects/scheme/
Schemer.org's logo

Schemer.org's logo has a modernized look. It is a simple lambda inside
a O figuration. http://www.schemers.org/ (the O figure is supposed to
be a pair of parenthesis)
PLT Scheme logo

PLT Scheme logo, notable is the red/white/blue coloring scheme.
http://www.plt-scheme.org/
MzScheme

MzScheme logo features a lambda besides a Chinese character æ–‡ (wen2).
The character means written language.
http://www.cs.rice.edu/CS/PLT/packages/mzscheme/
Common Lisp HTTP server logo

the Common Lisp HTTP server logo.
http://www.ai.mit.edu/projects/iiip/...home-page.html
Scheme Shell logo

Scheme shell scsh logo is a lamba inside a bivalve, perhaps most
artistic of the bunch: http://www.scsh.net/
Haskell logo

Haskell language logo is a plain lambda: http://haskell.org/
Hugs98 logo

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

Yale Haskell project 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/200003010...l/yale-fp.html

The book cover Structure & Interpretation of Computer Programs by
Abelson & Sussman, features a wizard and witch talking with prominent
lambda, and a monster foot of the table showing: see:
http://xahlee.org/UnixResource_dir/sicp-cover.jpg

I love these lambda-featuring logos. However, i have a complaint. As
most of you know, lisp languages are not purely functional languages.
Subroutines in lisps easily have side-effects, and sometimes
non-functional programing methodologies such as OOP are actually
encouraged in lisp. As most of you know, the lambda symbol chosen by
functional languages is to signify no side-effects. In this respect, i
find the lisp languages not totally deserving the use of lambda in
their logo. As i have expressed before, mathematical symbols are not to
be trifled with, and the Schemers have tainted my mathematics, strickly
speaking.

Although i have these minor objections with lispers using the lambda
symbol, but overall i think the lispers and i share a more important
common goal. That is, to kill all imperative programing ignoramuses of
the world. Once the unix and c and perl and otherwise idiots are all
dead, then i'll formally raise my objection about Lisper's unfit
borrowing of the math symbol and term lambda.

(PS In America, imperative language programers are such not because
they prefer such methodology, but because they know shit.)

----------------------------------
Addendum, 2003-05, 2006-04.
Haskell logo

above: Haskell language's new logo, inargurated in 2003-05. Superb!
Haskell logo Haskell logo

above: Two Web logos for Haskell.

Someone has written a C++ library for functional programing, called
FC++. (by Brian McNamara and Yannis Smaragdakis, 2003) Their website is
http://www.cc.gatech.edu/~yannis/fc++/index.html. They have unsettled
logos. Here's one of them:
FC++ logo

There's a Scheme-to-C compiler called Chicken (by Felix L Winkelmann,
at http://www.call-with-current-continu.../chicken.html).
Scheme Chicken logo

This is getting silly and disrespectful.

----
This post is archived at:
http://xahlee.org/UnixResource_dir/lambda_logo.html

PS if you know any new lambda logo, please let me know. Thanks.

Xah
xa*@xahlee.org
âˆ‘ http://xahlee.org/

Apr 5 '06 #1

Subscribe Reply

2630

Henning Makholm

Scripsit "Xah Lee" <xa*@xahlee.org >

Subroutines in lisps easily have side-effects, and sometimes
non-functional programing methodologies such as OOP are actually
encouraged in lisp. As most of you know, the lambda symbol chosen by
functional languages is to signify no side-effects.

What are you smoking? You're sure you could stop anytime you wanted,
right?

--
Henning Makholm "What a hideous colour khaki is."

Apr 5 '06 #2

Lars Rune NÃ¸stdal

I bet the âˆ‘-book also has some Î»-stuff in it. If it doesn't, it
probably uses some other greek letters that aren't mentioned on the
cover. It's such a shame, really ... :(

--
Lars Rune NÃ¸stdal
http://lars.nostdal.org/

Apr 5 '06 #3

David Hopwood

Xah Lee wrote:

PS if you know any new lambda logo, please let me know. Thanks.

^

Oops, no, that would be an old lambda logo...

--
David Hopwood <da************ ******@blueyond er.co.uk>

Apr 6 '06 #4

Alex Hunsley

Xah Lee wrote:

A Lambda Logo Tour
(and why LISP languages using Î» as logo should not be looked upon
kindly)

Xah Lee, 2002-02

Dear lispers,

For the love of Java! Where is the Java in this post?

Underwear related off topic trivia:
At university we worked out that Y-fronts weren't Y-fronts at all -
after all, the 'Y' is upside down - they're actually lambda pants.

Apr 7 '06 #5

Similar topics

3473

needs a logo

by: Xah Lee | last post by:

it would be good if Bash and Python have a decent logo. the current logos of simplistic font http://cnswww.cns.cwru.edu/~chet/img/bash-org.jpg http://python.org/pics/pythonHi.gif are homely. -- some quick tips for good logos:

Python

3498

what is lambda used for in real code?

by: Steven Bethard | last post by:

I thought it might be useful to put the recent lambda threads into perspective a bit. I was wondering what lambda gets used for in "real" code, so I grepped my Python Lib directory. Here are some of the ones I looked, classified by how I would rewrite them (if I could): * Rewritable as def statements (<name> = lambda <args>: <expr> usage) These are lambdas used when a lambda wasn't needed -- an anonymous function was created with...

Python

20689

CSS hr noshadow

by: Atanas Boev | last post by:

Is there any CSS way to make a <hr /> noshadow so I don't get the default 3D look in Netscape? I tried to use some border-bottom to make the line, but my "line" should be under text that is hanging to the right of a image with "float: left" and if I use border, the line is extended under the image. Also, I thing the <hr /> divider fits the meaning of the text quite well. But if somebody has better idea than using <hr /> thats also...

HTML / CSS

2596

Boost Logo Contest

by: Joel de Guzman | last post by:

Hello, Boost (www.boost.org) is an open, collaborative effort that includes thousands of programmers from the C++ community at large. Boost is hoping to retire the existing logo (http://www.boost.org/boost.png) and adopt a new one. We are now launching a competition for the creation of a new logo. The competition is open to all designers, both professional and non- professional. The final design must be submitted as a scalable vector

C / C++

4631

knight's tour helpppppp

by: whitehatmiracle | last post by:

im stuck, thers a prob with the backtrack function. #include <iostream.h> #include <conio.h> #include <stdio.h> #include <string.h> #include <ctype.h> #include <stdlib.h> #define size 5

C / C++

267

10797

A critic of Guido's blog on Python's lambda

by: Xah Lee | last post by:

Python, Lambda, and Guido van Rossum Xah Lee, 2006-05-05 In this post, i'd like to deconstruct one of Guido's recent blog about lambda in Python. In Guido's blog written in 2006-02-10 at http://www.artima.com/weblogs/viewpost.jsp?thread=147358

Python

2162

Lambda Library

by: Octal | last post by:

How does the lambda library actually works. How does it know how to evaluate _1, how does it recognize _1 as a placeholder, how does it then calculate _1+_2, or _1+2 etc. The source files seem a bit complicated so any explanation would be appreciated. Thanks

C / C++

19655

Knight's Tour recursive problem

by: foahchon | last post by:

Hi, I'm trying to write a program to solve (or whatever) the Knight's Tour. I know this is a pretty common problem, but I haven't found a solution that I can really compare mine to and isolate what the problem(s) is/are. I have an idea as to what the problem is, but let me first post my code: #include <iostream> #include <iomanip> using namespace std; void InitializeBoard(int **board, int xSize, int ySize); void DisplayBoard(int...

C / C++

2629

boost.lambda problem

by: Tim H | last post by:

Compiling with g++ 4: This line: if_then_else_return(_1 == 0, 64, _1) When called with a bignum class as an argument yields: /usr/include/boost/lambda/if.hpp: In member function 'RET boost::lambda::lambda_ functor_base<boost::lambda::other_action<boost::lambda::ifthenelsereturn_action>

C / C++

9583

Problem With Comparison Operator <=> in G++

by: Oralloy | last post by:

Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers, it seems that the internal comparison operator "<=>" tries to promote arguments from unsigned to signed. This is as boiled down as I can make it. Here is my compilation command: g++-12 -std=c++20 -Wnarrowing bit_field.cpp Here is the code in...

C / C++

9396

Maximizing Business Potential: The Nexus of Website Design and Digital Marketing

by: jinu1996 | last post by:

In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven tapestry of website design and digital marketing. It's not merely about having a website; it's about crafting an immersive digital experience that captivates audiences and drives business growth. The Art of Business Website Design Your website is...

Online Marketing

9342

The easy way to turn off automatic updates for Windows 10/11

by: Hystou | last post by:

Overview: Windows 11 and 10 have less user interface control over operating system update behaviour than previous versions of Windows. In Windows 11 and 10, there is no way to turn off the Windows Update option using the Control Panel or Settings app; it automatically checks for updates and installs any it finds, whether you like it or not. For most users, this new feature is actually very convenient. If you want to control the update process,...

Windows Server

9256

Discussion: How does Zigbee compare with other wireless protocols in smart home applications?

by: tracyyun | last post by:

Dear forum friends, With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each protocol has its own unique characteristics and advantages, but as a user who is planning to build a smart home system, I am a bit confused by the choice of these technologies. I'm particularly interested in Zigbee because I've heard it does some...

General

6081

Couldn’t get equations in html when convert word .docx file to html file in C#.

by: conductexam | last post by:

I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and then checking html paragraph one by one. At the time of converting from word file to html my equations which are in the word document file was convert into image. Globals.ThisAddIn.Application.ActiveDocument.Select();...

C# / C Sharp

4888

Windows Forms - .Net 8.0

by: adsilva | last post by:

A Windows Forms form does not have the event Unload, like VB6. What one acts like?

Visual Basic .NET

3323

transfer the data from one system to another through ip address

by: 6302768590 | last post by:

Hai team i want code for transfer the data from one system to another through IP address by using C# our system has to for every 5mins then we have to update the data what the data is updated we have to send another system

C# / C Sharp

2807

How to add payments to a PHP MySQL app.

by: muto222 | last post by:

How can i add a mobile payment intergratation into php mysql website.

PHP

2226

Comprehensive Guide to Website Development in Toronto: Expert Insights from BSMN Consultancy

by: bsmnconsultancy | last post by:

In today's digital era, a well-designed website is crucial for businesses looking to succeed. Whether you're a small business owner or a large corporation in Toronto, having a strong online presence can significantly impact your brand's success. BSMN Consultancy, a leader in Website Development in Toronto offers valuable insights into creating effective websites that not only look great but also perform exceptionally well. In this comprehensive...

General