What languages are popular nowadays?
A list of new budding programming languages and their interesting features?
Wikipedia deliberately does not list languages until they gain traction.
The page for Nim was delete a few years ago.
More on reddit.comTop Programming Languages 2025
How may I nominate a new language to be added to the TIOBE index?
I would like to have the complete data set of the TIOBE index. Is this possible?
Am I allowed to show the TIOBE index in my weblog/presentation/publication?
Videos
Haven't messed with programming in a long time. My familiarity is c++ and java.
Me and some friends looked forward to the new Dr Dobbs magazine. Miss those days.
There won't be any deadlines or $$ involved. Just me messing around enjoying myself
Looking at Wikipedia or Google to find "cutting edge" new sprouting programming languages is a lost cause, 100% of what you find is dated by at least 5-10 years. Most lists of "interesting languages" are of super popular languages like C, Rust, Haskell, etc..
Are there any people gathering new programming languages anywhere, perhaps in this Reddit group somewhere? I looked around but couldn't find anything.
Basically would like to learn from all the great work being done on programming languages and would like to see some fresh perspectives given the latest work people are doing. People occasionally reference this or that new language, thereby introducing me to it, but it is rare. If no list exists, what are some of the more interesting or intriguing languages out there these days?
To start, some of the ones I've encountered which I find inspiring are:
-
Lobster: With flow-based type analysis and minimal typing.
-
Kind: A modern proof language (though functional).
-
Dafny: A modern imperative proof language.
But perhaps there are ideas you are generating on your own project which isn't even as well established (yet) as these few programming languages. If nothing else, share an interesting feature of a new programming language, so it becomes centralized if there is not already a list.
In particular, I am looking for inspiration / ideas on things like memory management, garbage collection, type inference, type checking, automated theorem proving and formal verification, symbolic evaluation, implementing native types, particular optimizations, interesting / different ideas like borrow checking and ownership, etc.
Wikipedia deliberately does not list languages until they gain traction.
The page for Nim was delete a few years ago.
Hmm, I don’t think this is going to be something you find easily. Programming language growth is a bit like restaurant growth. Some initial buzz comes from the originators (often a big software org, or a large subset of the OSS community, etc.), but the “real” growth comes from adoption in academia and/or industry.
I think programming languages only gain traction when they solve interesting problems in interesting ways, at some meaningful scale based on the problem domain.
Look at Coq/Idris/Agda. These languages are paving the way for revolutionary changes to the foundations of mathematics, and how professional mathematicians and computer scientists think about their fields. Yet the growth has come from direct applications as much as it has talks/promotions/lists.