A Functional Programming Influence Graph (opens in new tab)

Nice. I was under the impression that ALGOL's IF-THEN-ELSE statement was inspired by LISP (but I can't seem to find any references more reliable than some wikis). Also, if System F is going to get a line into Haskell, why not give the untyped lambda calculus a line into LISP?

I'm having trouble finding a detailed history of Clean, but I believe it predates Haskell. My understanding is that Miranda prompted a handful of lazy, pure functional languages. Haskell was an attempt to unify them. In Coders at Work, SPJ mentions that a few of those implementors were not interested in participating with the Haskell group. Is Clean one of those languages? (Of course, that doesn't mean they haven't influenced each other over the years, what I'm trying to suggest is that maybe an edge belongs from Miranda to Clean as well.)

It'd be interesting to see a graph of the influence of functional languages on other languages, too. Things like Python's list comprehensions borrowed from Haskell, and JavaScript borrowing lots of things from Scheme. I can only imagine that such a graph would be larger and less comprehensible than the present one!

Perhaps there ought to be a single square to represent all languages that aren't traditionally considered functional languages, to represent the influence that functional languages have had on the rest of the language ecosystem. For example, I'd say Erlang's concurrency model influenced both Go and Rust (and Rust would inherit from both SML and Haskell as well).

You might argue that Erlang has influenced Haskell. (E.g. Erlang -> Haskell exists).

In two respects:

* the view patterns syntax was built to enable bit level parsing, inspired by the Erlang support (I wrote the binary library to emulate Erlang support for IP header parsing).

More recently,

* Cloud Haskell

http://hackage.haskell.org/trac/ghc/wiki/ErlangInHaskell

What reference do you have for Clojure influencing the language Scala? Scala is older, so that seems surprising to me.

Also, Coq is an OCaml derivative and Agda was influenced by Coq.

Add somewhere near the bottom Pure http://code.google.com/p/pure-lang/

They have a really neat programming influence graph on the wall at the Computer History Museum in Mountain View. It's displayed in relation to date, so it gives you a bit of a historical reference point.

A presentation by SPJ left me with the impression that FP should be pointing to Miranda and several other languages that became Haskell, rather than to Haskell itself.

Eiffel wasn't strictly functional but it heavily influences Racket (including current development). See [1].

[1] http://www.eecs.northwestern.edu/~robby/pubs/papers/ho-contr...

I think www.classes.cs.uchicago.edu/current/22300-1/lectures/FP_history.pdf is a better graph because it focuses more on functional languages and the layout is easier to navigate.

The big surprise for me: Why does this graph show Scala as a descendent of Clojure? I was not aware of that at all. What features or ideas does Scala get from Clojure?

I did something similar, sometime back, where I used the influences from the information boxes on the programming language pages on wikipedia to generate a global lineage graph. I used SVG as the output format though, since it is much more searchable, zoomable, and linkable. You can see here:

http://jaisharma.info/static/choice/images/projects/lineage.... .

It would be neat if, say, dashed lines were used for all the descendants of LISP that are Lisps.

Anyone here use Qi, Mercury, or Agda? I’m interested in what people think of those languages.

Mathematica influencing Clojure really surprised me. Any references?