| > As are you! Nope, I actually have empirical (and other) evidence. > I did not claim unity moved to FP EXACTLY. But you cited unity as evidence for FP being superior for performance than OO. As it doesn't use FP, it's actually not evidence for that. > I've done OOP for a decade professionally before another decade of FP. I did FP 30+ years ago and have been doing OO for around 40. So what? ¯\_(ツ)_/¯ Anyway, my evidence is not anecdotal, but empirical. There haven't been many studies on productivity, but those few have shown OO languages to be vastly more productive. https://blog.metaobject.com/2019/02/why-architecture-oriente... On re-reading John Hughes influential Why Functional Programming Matters, two things stood out for me. The first was the claim that, "...a functional programmer is an order of magnitude more productive than his or her conventional counterpart, because functional programs are an order of magnitude shorter." That's a bold claim, though he cleverly attributes this claim not to himself but to unspecified others: "Functional programmers argue that...". If there is evidence for this 10x claim, I'd like to see it. The only somewhat systematic assessment of "language productivity" is the Caper Jones language-level evaluation, which is computed on the lines of code needed to achieve a function point worth of software. In this evaluation, Haskell achieved a level of 7.5, whereas Smalltalk was rated 15, so twice as productive. While I don't see this is conclusive, it certainly doesn't support a claim of vastly superior productivity. > Industry is moving... Industry has lots of fads that come and go. Remember SOAP? Or CASE? Now that FP is starting to be used more in the real world, a lot of the shine has come off. This is always the case: things tend to work much better before you actually have to use them in the real world? "Runs best on a slide projector" He was asked about scala, and said that if he would have to choose again today, he's not sure he would go with scala. https://www.quora.com/Is-Twitter-getting-rid-of-Scala?share=... > 3. ...does not use static types... reliability and security. Once again, there is no empirical evidence that static types improve reliability and security, and it's not for lack of trying to make that claim. The claim has been made multiple times, but always fails to actually be true. The most recent study to make that claim was demolished at SPLASH '19. https://2019.splashcon.org/details/splash-2019-oopsla/75/On-... So very strict static types do not actually improve safety, that has been proven over and over again. What they actually do provide is safyness, the feeling that your code is safer: https://blog.metaobject.com/2014/06/the-safyness-of-static-t... Also, "does not use static types" is a straw man these days. The approach that appears to be gaining traction is hybrid typing, with some parts statically typed, some parts dynamically typed. > Fred Brookes is just one US academic. Fred Brooks is not an academic. https://en.wikipedia.org/wiki/Fred_Brooks He and Alan Kay both received Turing awards and pretty much every other prestigious prize in the industry you care to name. You are obviously free to dismiss them, but that mostly reflects on you and not on them, and it's kind of weird to do that when you refer to their work, particularly Fred Brook's seminal No Silver Bullet – Essence and Accident in Software Engineering, to make your point. It really helps to actually know something about people or approaches before dismissing out of hand. > My point was that the US is very heavily invested in OOP, Because it works. They are a very pragmatic bunch. > it's what the universities exclusively teach. Not true, or at least causally inverted. For example, MIT taught Scheme for a long time. And switched away from it, because the people teaching it no longer saw it as a benefit. Did I mention "pragmatic bunch"? Me, I went to University in Germany back in the late 80s early 90s, and was tortured with FP by the zealots from the very start (though I did take it all the way to "Advanced FP" and did my exam for the course on Backus's FP calculus, which I actually liked a lot, and yes, I aced that exam). Of course, being exposed to FP from so early on made me realise very quickly that the emperor had no clothes. > Outside the US, OOP has always been much less popular. On the fact that most software is written on one side of the Atlantic Ocean -- Alan Kay (in response to Dijsktra's On the fact that the Atlantic Ocean has two sides, http://lambda-the-ultimate.org/node/2087 ) |
You haven't provided any concrete evidence. Certainly no more than I have.
> But you cited unity as evidence for FP being superior for performance than OO
No, I provided it as evidence of OO being poor for performance and suggested that its new approach is closer to FP (i.e data centric). Perhaps a better example is Apache Spark or Google MapReduce for large scale data processing. Those frameworks are essentially FP, it's why lambdas were added to Java. So there's plenty of evidence that FP works for high performance.
> I did FP 30+ years ago and have been doing OO for around 40.
FP has matured a lot in 30 years. My point was that I have equal amounts of both and I have no reason to be biased. If you've done 40 years of mostly OOP, I'm not sure you can make the same claim.
> He was asked about scala, and said that if he would have to choose again today, he's not sure he would go with scala.
Scala is absolutely not a functional programming language and Odersky never claimed it was. It's primarily an object-oriented language with some functional features bolted on. Functions are not first-class and pervasive mutable state still exists. It would be just as unfair for me to judge OOP based on the shortcomings of C++.
> Because it works.
What do you mean "works"? Yes I can get the job done in OOP, but it has all the problems I have tried to articulate previously.
> Fred Brooks is not an academic.
From the article you linked: "In 1964, Brooks accepted an invitation to come to the University of North Carolina at Chapel Hill and founded the University's computer science department. He chaired it for 20 years. As of 2013 he was still engaged in active research there"
So you are really splitting hairs here. Does it matter?
> It really helps to actually know something about people or approaches before dismissing out of hand.
Can we please refrain from personal insults and keep the debate civil. I have spent a decade reading the books and teachings of these people; and trying to apply their ideas in industry. I am not dismissing them out of hand - that's why I cite them sometimes. I could accuse you of doing the same for FP and its community, but I won't as it would be unfair.