Live data from Hacker News

Functional Programming at Facebook

scs.stanford.edu

61–70 of 102 posts

Re: Functional Programming at Facebook

#61
post #14

Earlier quoted context omitted.

Although this reason sounds plausible, it is quite surprising since one of the first functional languages - Lisp was dynamically typed.

Lisp isn't a functional language.

CS language papers from the 50 and 60 don't share that opinion.

Re: Functional Programming at Facebook

#62
post #21
post #14

Earlier quoted context omitted.

Lisp isn't a functional language.

This person is getting downvoted... but it isn't. Lisp, especially in it's early implementations is highly imperative. This is why when people talk about Clojure they always talk about Immutability, it's part of what forces a functional style on the language.

They talk about Clojure because they weren't even born when we were using Lisp systems.

Re: Functional Programming at Facebook

#63

Earlier quoted context omitted.

Functional programming has always been the name of a programming paradigm that treats computation as the evaluation of mathematical functions.

That's one of the many definitions we have for it, yes. Plenty of people will disagree with it too.

Please correct me if I am off the right track here, but is not the distinction the fact that: in a "functional language" or maybe "parenthentical up-cup evaluating language"

functions are invoked in an encapsulating way, and no state is kept between function-cup-up-segments-of-code, but there is a R.E.P.L that (replies) when you invoke a (parens) which is, in LISP-land known as a program.

However, now that I have mind-dumped that ^ I recall haskell and erlang also being called "functional" but I don't know their syntax any more than a chimpanzee knows that the sun is round.

Re: Functional Programming at Facebook

#64
post #35

Earlier quoted context omitted.

"practical" as in: the programing model fits the problem domain model of modern systems. But, "practical" doesn't show up on everybody's radar much these days with so much effort focused around fads-of-the-half-decade. Erlang is made by professionals with decades of experience who grow the system towards being the most stable, scalable, safe, and as understandable as possible. People use Erlang, solve problems, stay…

> Erlang is made by professionals with decades of experience Who are they, besides Joe? Can you at least provide their names? I'd really like to take a look at their credentials because beyond WhatsApp and an obscure Ericsson router from 20 years ago, there isn't much data to go by. And there is plenty of evidence to show that C, C++, Java and more recently Go have some pretty strong success stories to justify their…

Riot Games is a pretty big one. Looking at erlangs site selecting a few:

AdRoll Facebook Chat TMobile

http://erlang.org/faq/introduction.html

Amazon SimpleDB Delicious From: http://stackoverflow.com/questions/1636455/where-is-erlang-u...

Also many of the companies using Riak (written in Erlang) also leverage erlang. Some pretty big names use it.

http://basho.com/about/customers/

I would say that Erlang has more than proved itself.

One aspect of it is that it is used more of an infrastructure language so not many people see it as glamorous as rushing out to the Go community to brag about their new backend. Its a lot of mature companies that have been around a while and don't really need to show off their infrastructure.

Also Elixir is gaining momentum (but still a blip) as a very viable language built on erlang.

Use what you want and what works.

Re: Functional Programming at Facebook

#65
post #28

Earlier quoted context omitted.

Just to double down on the points of some other commenters here: "Functional" is a pretty difficult word to pin down these days. That said, there seems to be a clear camp in what might be better called "denotational" programming which centers around the ML-alike languages, the dependently typed languages, and Scala. Lisp is not much at all like these languages. Nor is Erlang, though it is vastly closer.

I wouldn't call Scala a “functional” language. It's an object-oriented language that happens to be able to encode many Haskell idioms, with varying degrees of awkwardness. But you can write Java in Scala too, and, in the eyes of some, the result will even be more natural. Out of curiosity: Would you consider Prolog a language in which you can do “denotational” programming?

I would call Scala a functional language. In the sense that object-orientation and FP are not eachothers opposite. Imperative and FP are. I guess awkwardness is in the eye of the beholder. I think it's an elegant language with which it is a joy to develop large code bases.

Re: Functional Programming at Facebook

#66

Earlier quoted context omitted.

> Erlang is made by professionals with decades of experience Who are they, besides Joe? Can you at least provide their names? I'd really like to take a look at their credentials because beyond WhatsApp and an obscure Ericsson router from 20 years ago, there isn't much data to go by. And there is plenty of evidence to show that C, C++, Java and more recently Go have some pretty strong success stories to justify their…

Riot Games is a pretty big one. Looking at erlangs site selecting a few: AdRoll Facebook Chat TMobile http://erlang.org/faq/introduction.html Amazon SimpleDB Delicious From: http://stackoverflow.com/questions/1636455/where-is-erlang-u... Also many of the companies using Riak (written in Erlang) also leverage erlang. Some pretty big names use it. http://basho.com/about/customers/ I would say that Erlang has more than…

I was asking for the names of the experts allegedly behind Erlang.

As for listing companies that use Erlang, plenty of companies use PHP and COBOL too. This doesn't say anything about whether these languages are the most adequate for the task and whether these projects wouldn't be in a better shape if written in a different language.

Re: Functional Programming at Facebook

#67

Earlier quoted context omitted.

> Erlang is made by professionals with decades of experience Who are they, besides Joe? Can you at least provide their names? I'd really like to take a look at their credentials because beyond WhatsApp and an obscure Ericsson router from 20 years ago, there isn't much data to go by. And there is plenty of evidence to show that C, C++, Java and more recently Go have some pretty strong success stories to justify their…

Riot Games is a pretty big one. Looking at erlangs site selecting a few: AdRoll Facebook Chat TMobile http://erlang.org/faq/introduction.html Amazon SimpleDB Delicious From: http://stackoverflow.com/questions/1636455/where-is-erlang-u... Also many of the companies using Riak (written in Erlang) also leverage erlang. Some pretty big names use it. http://basho.com/about/customers/ I would say that Erlang has more than…

> One aspect of it is that it is used more of an infrastructure language

Ah yes, the "dark matter" argument. It's out there but nobody can see it. You'll just have to trust me.

Re: Functional Programming at Facebook

#68
post #58

Earlier quoted context omitted.

Almost all the successful non-Google ad networks and exchanges are written in Erlang, Goldman Sachs HFT platform is written in Erlang, several massive scale game platform backends are written in Erlang, several international "national net" banking switches are written in Erlang, a huge chunk of the global land-line and mobile telco switching infrastructure is written in Erlang, Heroku's control plane is written in Er…

Do you have references for the claim about telco switching?

http://erlang.se/publications/ericsson_review_axd301_1998012...

erlang was literally developed for telephone switches

Re: Functional Programming at Facebook

#69
post #58

Earlier quoted context omitted.

Almost all the successful non-Google ad networks and exchanges are written in Erlang, Goldman Sachs HFT platform is written in Erlang, several massive scale game platform backends are written in Erlang, several international "national net" banking switches are written in Erlang, a huge chunk of the global land-line and mobile telco switching infrastructure is written in Erlang, Heroku's control plane is written in Er…

Do you have references for the claim about telco switching?

That was the reason Erlang was created in the first place: https://en.wikipedia.org/wiki/Erlang_%28programming_language...

Re: Functional Programming at Facebook

#70
post #35

Earlier quoted context omitted.

"practical" as in: the programing model fits the problem domain model of modern systems. But, "practical" doesn't show up on everybody's radar much these days with so much effort focused around fads-of-the-half-decade. Erlang is made by professionals with decades of experience who grow the system towards being the most stable, scalable, safe, and as understandable as possible. People use Erlang, solve problems, stay…

> Erlang is made by professionals with decades of experience Who are they, besides Joe? Can you at least provide their names? I'd really like to take a look at their credentials because beyond WhatsApp and an obscure Ericsson router from 20 years ago, there isn't much data to go by. And there is plenty of evidence to show that C, C++, Java and more recently Go have some pretty strong success stories to justify their…

> Who are they, besides Joe? Can you at least provide their names?

One of them is here on HN: https://news.ycombinator.com/user?id=rvirding

Post reply on HN