Slashdot Mirror


John McCarthy, Discoverer of Lisp, Has Passed Away

The first of a few submitters, szo sent in an early report that John McCarthy passed early yesterday. Paul Graham (among others) confirmed: the news was true. And so, shortly after a fellow founder of countless language descendants, goes the founder of the Lisp tree at the age of 84.

44 of 354 comments (clear)

  1. Discoverer or Lisp? by agentgonzo · · Score: 4, Insightful

    I think you mean creator or inventor. It's not like the Lisp programming language was just sat out in the wilds of Chile under a rock waiting to be found by an archaeologist.

    1. Re:Discoverer or Lisp? by erroneus · · Score: 4, Funny

      Yes, discoverer. Lisp is programming. And programming is math. Math is all around us... in the tree, the rock. Math surrounds us and binds us all together. Does this mean Lisp obeys the programmer? Partially, but the will of the math works through the programmer as well.

      So death to software patents.

      (how's that for an incomprehensible morning hours post?)

    2. Re:Discoverer or Lisp? by sapphire+wyvern · · Score: 5, Funny

      Actually, the natives of Lisp already knew all about it. McCarthy was just the first person to show up with a flag, guns, germs & steel to claim Lisp for his homeland's empire.

      So you're quite right... discoverer is a very patriarchal, hegemonic colonialist way of describing McCarthy. /leftist historian mode :P

    3. Re:Discoverer or Lisp? by vlm · · Score: 5, Interesting

      I think you mean creator or inventor. It's not like the Lisp programming language was just sat out in the wilds of Chile under a rock waiting to be found by an archaeologist.

      He was an old time computer scientist, publications with titles like "A basis for a mathematical theory of computation". Hard core math.

      Philosophically, you don't "create" or "invent" math you discover it. Logical concepts exist independent of who wrote a paper about them first. Take two 256 bit random prime numbers, multiply them, and you have not "created" or "invented" the result but merely discovered it, or rephrased discovered its two factors.

      --
      "Science flies us to the moon. Religion flies us into buildings." - Victor Stenger
    4. Re:Discoverer or Lisp? by theVarangian · · Score: 3, Interesting

      I think you mean creator or inventor. It's not like the Lisp programming language was just sat out in the wilds of Chile under a rock waiting to be found by an archaeologist.

      Actually Lisp is just one of the many languages heavily influenced by Lambda calculus which was introduced by Alonzo Church back in the 1930s and 40s. Back then Lamda calculus it was just another system in mathematical logic that only a few mathematicians and logicians knew or cared about. So in a sense John McCarthy did find it under a rock although not in the wilds of Chile but rather in a scientific paper.

    5. Re:Discoverer or Lisp? by tuffy · · Score: 2

      The idea is that he discovered Lisp could be assembled from seven primitive operators, from which the rest of the language could be built. Though I agree that "discoverer" is a bit of a stretch.

      --

      Ita erat quando hic adveni.

    6. Re:Discoverer or Lisp? by fuzzyfuzzyfungus · · Score: 3, Funny

      Discover, v., "To visit while white."

    7. Re:Discoverer or Lisp? by fuzzyfuzzyfungus · · Score: 2, Insightful

      Arguably math consists of both invention and discovery:

      You invent the axioms; but you then discover the necessary implications of those axioms.

    8. Re:Discoverer or Lisp? by Tsingi · · Score: 3, Funny

      I think you mean creator or inventor. It's not like the Lisp programming language was just sat out in the wilds of Chile under a rock waiting to be found by an archaeologist.

      Actually it was found in a cave in the Pyranees. LISP originally stood for Lost In Spanish Passageways. It was used by early cave men for catching fish. They drew it on the walls carefully concealing the syntax in pictures of Auroks and it remained totally undeciphered for approximately 200,000 years. John McCarthy wandered into a cave after having eaten some soup made from a prehistoric fungus that grows in the area. He was found days later practising tai chi in a nearby stream and went on to write the first modern day LISP interpreter.

    9. Re:Discoverer or Lisp? by betterunixthanunix · · Score: 2

      Philosophically, you don't "create" or "invent" math you discover it.

      That is not universally agreed upon by philosophers:

      http://en.wikipedia.org/wiki/Philosophy_of_mathematics

      --
      Palm trees and 8
    10. Re:Discoverer or Lisp? by cobrausn · · Score: 2

      Yeah, I know. It's difficult enough to get you guys to sit around the dinner table without starving to death or fighting over forks.

      --
      How does it feel to be a liar with pants constantly on fire?
    11. Re:Discoverer or Lisp? by maxwell+demon · · Score: 2

      Well, let's look at other fields. For example, I guess everyone would agree that the LCD screen was invented. Now the LCD screen is based on the observation (discovery) that liquid crystals change the polarization of light depending on the electric field, and on the observation (discovery) that certain substances only let pass light of a certain polarization. From those two facts it can be derived that the amount of light which passes through two polarisers with a liquid crystal in between depends in the electric field in that crystal, that is, on the electric voltage between electrodes on both sides. This observation has been combined with the known fact that we see light coming from pixel arrays as images, which also was discovered at some time, to make a pixel array of liquid crystals with polarisers to show an image; the whole function of that pixel array can be derived from the knowledge of the observed facts mentioned above. Therefore, has the LCD screen just been discovered?

      --
      The Tao of math: The numbers you can count are not the real numbers.
    12. Re:Discoverer or Lisp? by Shotgun · · Score: 2

      According to my wife, yes.

      --
      Aah, change is good. -- Rafiki
      Yeah, but it ain't easy. -- Simba
    13. Re:Discoverer or Lisp? by Rhacman · · Score: 2

      I'd say that Jerry Seinfeld is generally not funny either but his ability to make a widely successful career out of it leads me to believe this is highly subjective.

      --
      Account -> Discussions -> Disable Sigs
    14. Re:Discoverer or Lisp? by Tyler+Durden · · Score: 2

      If there is any "discoverer" involved in this, it's Alonzo Church when he invented (or you could argue, found) the Lambda Calculus. That's hardcore math. All of the functional languages, including Lisp, are inventions based upon his work.

      --
      Happy people make bad consumers.
  2. Thanks by V!NCENT · · Score: 5, Informative

    (print "World says goodbye")

    --
    Here be signatures
    1. Re:Thanks by Fast+Thick+Pants · · Score: 2

      Weep, and the world halfheartedly laughs at you. Laugh, and the world doesn't really give a damn. Either way, the world is mainly concerned with extracting your labor and capital.

  3. At first I just typed: :( :( :( by Anonymous Coward · · Score: 5, Funny

    .. but then I realized I was missing something.)))

  4. Out of Their Minds by ath0mic · · Score: 2

    If you get a chance, I recommend Out of Their Minds http://cs.nyu.edu/shasha/outofmind.html which details some of the amazing feats of McCarthy and some of his contemporaries.

    1. Re:Out of Their Minds by White+Flame · · Score: 2

      Some other blog also pointed out that one of the big "modern" features tons of people rely on was invented in 1959: Garbage collection.

      Say what you will about Lisp (and I'll say lots of good things about it), but practical GC has tremendous impact. Now, we just have to wait for everything else to catch up to all the other 1960s feature sets (both software & hardware). :-)

  5. Re:I hear that the greats die in threes by Nerdfest · · Score: 5, Funny

    The universe must be kept in balance. Ritchie and McCarthy were to offset Gaddafi and Jobs.

  6. god wrote in Lisp code. by Inf0phreak · · Score: 2, Informative

    Obligatory xkcd link.

    And of course "Eternal Flame".

    Yes, the capitalisation of my comment's subject is deliberate.

    --
    ________
    Entranced by anime since late summer 2001 and loving it ^_^
    1. Re:god wrote in Lisp code. by ocdscouter · · Score: 2

      Obligatory xkcd link.

      And of course "Eternal Flame".

      Yes, the capitalisation of my comment's subject is deliberate.

      Mustn't forget to include the Other Obligatory xkcd link.

  7. What's going on?! by dzfoo · · Score: 2

    Another one gone!

    I once created a variant of BASIC to run on the C=64 when I was a kid... OMG! Could I be next??

            -dZ.

    --
    Carol vs. Ghost
    ...Can you save Christmas?
    1. Re:What's going on?! by steelfood · · Score: 2

      Even if you were the creator of BASIC itself, you're in no danger of an imminent natural death. However, you may still want to go into hiding. I hear there are a lot of angry former BASIC programmers out there.

      --
      "If a nation expects to be ignorant and free in a state of civilization, it expects what never was and never will be."
  8. Re:Lisp is a fascinating language with honored his by CRCulver · · Score: 3, Informative

    Lisp is a fascinating language with honored history in AI, but let me ask you this: is it used now in some important applications?

    Emacs not important for you? Except for a small C core, everything is written in Lisp.

  9. Re:let this be a lesson to you by Anonymous Coward · · Score: 3, Insightful

    lisp will reduce your life expectancy.

    Nothing will reduce your life expectancy more than doing template metaprogramming in c++.
    LISP is the king of all computer languages. Its influence is still being felt 50 years after its creation, and people are rediscovering features that good ol' lisp has had since the begining.

  10. Re:RIP and thank you for AI by johnjaydk · · Score: 2

    LISP however is a nightmarish construct made to entertain academics with academic constructs, which it may do exceedingly well, but for practical real-world applications the usefulness of LISP is long gone if it ever existed beyond a rudimentary level.

    I steadfastly held the same view that only academic wienies had any use for Lisp or even worse Scheme. It took me some 15 years to see the light but now I work exclusive in Lisp and Scheme.

    Languages are NOT created equal and the challenges we face now needs more powerful languages. That is where Lisp and Scheme come into their own. I think, I'll look into Haskell next. Another language that I previously wouldn't touch with a ten-foot pole.

    Time is a great teacher although it tends to kill all it's students

    --
    TCAP-Abort
  11. Re:RIP and thank you for AI by sycodon · · Score: 2, Funny

    Well, to be fair he only "Discovered" it, he apparently didn't create it. I wonder who actually created it and then just left it lying around for him to "discover"?

    --
    When Fascism comes to America, it will call itself Anti-Fascism, and tell you to give up your guns.
  12. Lisp programmers never die... by Bill_the_Engineer · · Score: 4, Funny

    ... they just close their last parenthesis.

    --
    These comments are my own and do not necessarily reflect the views or opinions of my employer or colleagues...
  13. Re:Lisp is a fascinating language with honored his by robbrit · · Score: 2

    It's not just the language that is important, it's the contributions Lisp made to programming language theory: "if", higher order functions, garbage collection to name a few things. See here for a list of things that the language pioneered.

  14. Re:Lisp is a fascinating language with honored his by Anonymous Coward · · Score: 2

    Emacs not important for you?

    Not really. I long ago shunned Emacs' overly complex Ctrl-Meta-dgh-Shift-Y-u-F12 for Vi's much simpler y$12jll:%s/off/on/gkp in order to brew my morning tea, walk my dog, open 38 tabs to my morning news sources, and fetch me my pink bunny slippers.

  15. Goodbye to a Great Man by oakwine · · Score: 2

    I am sad to see him go, one more of the old crew departed. Lisp taught me more about programming than any other language. Yes, he discovered it. The Spartans had the Lambda on their shields. They knew about it, they just had no computers! You had to be a bit of a Spartan to keep up with all the close parens. And Scheme, Structure and Interpretation of Computer Programs by Abelson and Sussman. A treasure. I hope Lisp lives on at least in academia. The concepts are inspiring even if implementation may be more efficient in an imperative language.

  16. Re:RIP and thank you for AI by betterunixthanunix · · Score: 2

    I don't however find anything detailing why LISP was chosen for any of the projects, was it because LISP have some inherent advantage for the specific applications, or because the projects were started during a time when everyone was told that LISP was the holy grail of programming and it was just the obvious thing to do?

    Well, there are a few reasons that come to mind:

    1. AI projects often involve AI researchers, and Lisp was a popular language in AI research.
    2. Lisp macros have the full power of the language -- this allows programmers to do a lot of interesting things with macros, like extending the syntax and lexicon of the language to meet arbitrary needs.
    3. Until recently, Lisp had features that were very rare in more commonly taught programming languages: lambda expressions, lexical closures, multiple dispatch, etc. This is beginning to change now (even C++ has lexical closures), but some of the projects I pointed out were written years ago when that was not the case. Although the need for some of those features is pretty rare -- I do not commonly need multiple dispatch -- when those features are needed, they can really help programmers express what they want the program to do.
    4. Lisp developed environments were years ahead of other IDEs for a long time. For large projects like DART, I suspect that made a significant difference.
    5. Extensibility -- I mentioned that Lisp macros can be used to extend the language, but it is also the case that compiled Lisp programs often include a Lisp interpreter, so Lisp can be used as a Lisp program's own extension language. This gives the users all the power that the programmers had (see above about features and macros). These days, this seems less impressive, since plenty of languages support this.

    Now, to be fair, there were a lot of broken promises made by Lisp vendors in the 80s, back when AI was supposed to be the future of computing. It is likely that at least some projects were written in Lisp with the hope that some advanced AI would swoop in and do all sorts of magic. Still, Lisp can stand on its own merits, without anyone pushing snake oil on developers.

    --
    Palm trees and 8
  17. Re:RIP and thank you for AI by Medievalist · · Score: 2

    Languages are NOT created equal and the challenges we face now needs more powerful languages. That is where Lisp and Scheme come into their own. I think, I'll look into Haskell next. Another language that I previously wouldn't touch with a ten-foot pole.

    All turing-complete languages are equally capable, eh? You can create abominations and masterpieces in nearly any language.

    Programmers, however, tend to work best in a language that suits their unique preferences and abilities. No language is inherently better than all others, for all people, because people are not interchangeable featureless units. Some people are OK with monkey-patching, even.

    Personally, I like to create code that other people can build on and maintain, rather than writing myself into a permanent maintenance position. That kind of rules out Lisp, since nobody else wants to maintain it - among computer languages, popularity is a feature, and lack of popularity is a bug.

    Condolences to Mr. McCarthy's family and friends.

  18. Re:RIP and thank you for AI by tibit · · Score: 3, Interesting

    I know zip about other projects, but I was hacking on Maxima for use in my robotics assignments and something is to be said for conciseness of Lisp's way of dealing with data structures. Something more is to be said for macros: the programmatic generation of code (they are nothing like C macros). Of course you can generate code in C, but it's a shitty experience, and you have to roll it all yourself. The C/C++ languages do not come with any sort of a data structure to express themselves. Even Python has an ast module. I've found that programmatic generation of code is a big win in embedded world, especially on small microcontrollers (RAM in single kilobytes, etc). Most platform libraries become quite bloated if you want to truly fully support all peripherals, even if a typical application only uses a small subset of the functionality. The compilers are usually too stupid to properly optimize it, even if a fairly rudimentary constant propagation would indicate that 90% of the library is dead code. With macros you can easily generate just the code you need. Macros can easily and cleanly replace external tools like lexer and parser generators. They are also great for implementing extra language features. You don't need hacks like Duff's device or coroutine horkage. LISP is powerful enough that you can have features like yield implemented in a library.

    In the end, it's all about ease of use. Even though I do a lot in C and C++, I detest their verbosity. I mean, come on, ML family had type inference for three decades! Heck, I have worked with a structured basic running on CP/M Z80 that had rudimentary type inference (although didn't have algebraic types). You didn't have to assign types to your variables, and if you tried adding an integer to a string it would balk -- not at runtime, but before it'd accept the new or modified line of program! Variables were assigned types at first use, and if you had a function returning a value (yes, it had functions, but sadly no tuples), it knew what type it'd be based on the code inside of the function. That was in late 80s! Then you come to C++ and get to experience template metaprogramming -- sure it's powerful, but it feels about as expressive as programming a Turing machine directly. And metaprograms are interpreted by the compiler, in a very inefficient way.

    --
    A successful API design takes a mixture of software design and pedagogy.
  19. Re:I hear that the greats die in threes by Anonymous Coward · · Score: 2, Funny

    I AM posting from some shitty descendant of Windows 3.1, you insensitive clod!

  20. Re:Lisp is a fascinating language with honored his by cduffy · · Score: 2

    Clojure is a modern LISP -- I have a former employer using it for real-time analytics work (where its transactional memory model made it easy to scale to very, very parallel machines -- the older version of the software written with traditional lock-based concurrency fell down at a fraction of the production load we needed to handle with most CPU cores sitting around waiting for locks.

    The biggest thing that interests me, though -- programming in a LISP lends itself to what Rich Hickey calls "hammock-driven development" -- thinking deeply for a long time and then writing very few lines, as opposed to throwing a few Kloc of code at the wall and seeing what sticks. Properly used, modern LISPs are tremendously flexible and tremendously compact -- most of the code I write day-to-day is Python or Ruby, but a LISP's expressiveness is vastly greater than either of these newer languages, and I'm tremendously excited to see folks working on making LISPs practical again.

  21. Ok, that's it by Anonymous Coward · · Score: 5, Funny

    I finally decided to buy an iPad and Steve Jobs dies.
    I started a new project using C and Dennis Ritchie kicks the bucket.
    Then I started Stanford's AI Course and now John McCarthy is pining for the fjords.

    That's it. It's definitive. I'm a God of Death, so I shall use my recently discovered powers for the good of humanity. I'm going out to buy an Oracle DB and learn how to use it. See you on Larry Ellison's funeral next week.

    PS: Also, I suspect I'm the God of Rain too, since every time I wash my car it rains the next day.

  22. Re:Lisp is a fascinating language with honored his by trb · · Score: 2
  23. Re:Where did he find it? by Jonner · · Score: 3, Informative

    No, actually, McCarthy did discover Lisp, at least according to Paul Graham.

  24. Re:Lisp is a fascinating language with honored his by Unknown+Lamer · · Score: 2

    It might seem antiquated and weird to us nowadays, but emacs-lisp is actually fairly typical of the dialects of its day. It's day was just the late-70s/early-80s. Scheme and Common Lisp did a lot to modernize Lisp, and they just happened to be the first popular dialects on commodity machines so it's easy to forget that Lisp predates all computing paradigms and has given them all a shot at one point or another.

    --

    HAL 7000, fewer features than the HAL 9000, but just as homicidal!