Are static typing and functional programming winning?

http://brikis98.blogspot.com/2015/02/are-static-typing-and-functional.html

by brikis98 • 11 years ago

5 4 11 years ago

brikis98.blogspot.com

Define "winning".

Most new languages contain a type system. Is that "winning"? It means that the idea of type checking has achieved "flavor of the month" status, but it doesn't mean much more... yet. If some of those languages go on to take over the world, then yes, the fact that they have type checking means that static typing is winning.

And, define "static typing" and "functional programming". So C++ added some elements of functional programming. Does that make C++ a functional programming language? Or does it just make C++ a multi-paradigm language that can be used to do some amount of functional programming?

I claim that "winning" doesn't mean winning in the number of check boxes that languages tick. It means winning in the way the languages are used. If everyone who is programming in C++ starts programming in the functional style, then yes, functional programming is winning. If they don't, then having C++ support functional programming just means they added another paradigm that few people are using.

brikis982• 11 years ago

Yes, most languages have a type system, but there is a big difference between only checking those types at runtime ("dynamically typed") versus checking them at compile time ("statically typed"). After an years and years of debating back and forth over the trade-offs between dynamic and static, it looks like the most popular dynamically typed languages are all considering adding compile time checks. It may take years for these features to gain widespread usage, but it's hard to see this and not think that static typing camp is winning the debate.

As for functional programming, I mentioned in the post that adding a few functional features does not mean you have a functional programming language. But again, for years there was a debate over whether the imperative and OO styles were better and if the ideas from functional programming were too esoteric for the mainstream. Now, some of the most popular imperative languages are focusing on first-class functions, higher order functions, pure functions, and immutable data. It'll still take years for all of these ideas to gain widespread usage, but again, it's hard to see these changes and not think that functional programming is winning the debate.

AnimalMuppet2• 11 years ago

If, ten years from now, 1% of C++ code is written in a functional way, does that really mean that functional ideas are winning the debate? Does the C++ committee deciding that functional programming is a valid approach that C++ could do a bit more to support really mean that functional programming is winning the debate? Or does it just mean that FP is viewed as "not totally without merit"?

So, again, my starting question: What is your definition of "winning"?

Are static typing and functional programming winning?

Related Stories