17 New Computer Programming Languages to Learn

Check out these 17 top new computer programming languages every dev should know about.
Associate Editor
July 22, 2021
Updated: June 30, 2022
Associate Editor
July 22, 2021
Updated: June 30, 2022

Ruby was Dillon Kearns’ first love, but now, there’s a new language in his life.

“Elm has really changed my perspective,” he said. “When I was working in Ruby, I’d see code that’s verbose and I’d be like: ‘Let’s clean this up. Let’s make it read more like English or like a domain language created for this task.’ Now when I look at Ruby, I realize those are the things that slowed me down.”

There’s a tradeoff between sleek code that’s implicit and wordy code that’s explicit. A younger version of Kearns enjoyed the challenge of keeping track of what’s happening behind the code. Then Elm came along, and his aesthetic evolved.

Top New Computer Programming Languages to Learn

  • Elixir
  • Go
  • Dart
  • Julia
  • Pony
  • TypeScript
  • Kotlin
  • Nim
  • Python 3
  • PureScript
  • Reason
  • Rust
  • Swift

The functional programming concepts that power languages like Elm have been gaining popularity among developers — why worry about changing states when you can perform a clear-cut series of transformations, the thinking goes. Many developers stop at using a functional style in their current languages of choice. Kearns thinks they should take it a step further: Choose a language with functional constraints built right in. That way, you know exactly what you’re going to get.

“If you’re working within the constraint, why not get the guarantee?” he asked. “You don’t have to think about those caveats: What about the possibility that this happens? There is no possibility.”

“Even if an experiment is a failure and you decide not to use the language you tried, it makes you look at things a different way.”

A long-time Python enthusiast, Grove senior developer David Rogers is also in favor of explicit code — it’s part of the Zen of Python, after all. But Elm has yet to win him over.

“Abstractions are useful things for a reason. In Elm, I have to very explicitly declare everything. One of the advantages that people see in the web component languages like React is that I get a shorthand for that thing I want to do over and over again,” he said. “Elm is really young still, and the community is really small. So I feel certain that eventually we’ll have more robust choices inside of Elm for component libraries.”

In the meantime, Rogers is learning Pony, an open-source, object-oriented language that uses actors, precursors to objects that Smalltalk popularized in the late ’80s. It also has a functionality called reference capabilities: “When you create a piece of data, you have to declare what other pieces of the code can or cannot see, and what other pieces of the code can or cannot do to that piece of data,” he explained.

Rogers is a dedicated programming polyglot, nicknamer of coding languages and author of this Quora answer that made me laugh. He wouldn’t go so far as to call functional programming a fad — perhaps a trend, he said. But, no matter the paradigm, learning new languages is a good use of time.

On this, Kearns and Rogers agreed. Even if Elm isn’t your bag, Kearns said, experimenting with new languages helps programmers get better at coding in their old favorites too.

“Even if an experiment is a failure and you decide not to use the language you tried, it makes you look at things a different way or leads you down a path where you learn about something else,” he added.

More on Software DevelopmentStop Talking About ‘Technical Debt’


functional new programming languages
Functional Languages

Functional Languages


“There was this subset of the Ruby community that wandered down the Erlang rabbit hole, and they came out with Elixir,” Rogers said.

Elixir, however, is easier to write than Erlang, with the functional programming concepts of a language like Haskell. Elixir runs on the Erland virtual machine, which works well for low-latency distributed systems. The platform prioritizes scalability and fault tolerance. Lightweight threads of events, or processes, send messages to each other. Those processes can run concurrently, maximizing machine resources and making it easier to scale vertically or horizontally. If something goes wrong, the platform shows the developer the last known state that’s sure to work.


Elm is a functional language for building web applications. It works well for problems that involve a lot of domain-specific rules, like complicated user interfaces, because the developer can model those rules right in the program through Elm’s fast and expressive type system, Kearns said.

Other Elm advantages: The type system is constrained so that invalid data can’t be expressed. That means developers spend less time thinking about potential edge cases. Elm is also known for having no runtime exceptions. Programmers have to tell the program what it should do if the data they defined isn’t present or valid. If anything is missing or broken, the compiler helps developers identify the chunk of code that caused the problem.

“Elm was designed to be 100 percent typesafe. Its not 90 percent typesafe,” Kearns said. “I think that thats what really frustrates people with Elm when theyre considering using it professionally. But its also what makes people fall in love with it.”

(For more information on Elm, check out Kearns’ podcast, Elm Radio.)


PureScript is a purely-functional programming language that compiles to JavaScript. Most comparable to Haskell, PureScript is best used for developing web applications and server-side apps. Like Haskell, it uses algebraic data types, pattern matching and type classes.

PureScript’s types are expressive and support type inference, meaning that it requires far fewer explicit type annotations than other languages. One of its biggest strengths is its interoperability with other languages that target JavaScript.


Swift is a general-purpose compiled programming language developed by Apple that allows developers to write software for phones, servers, desktops or really anything else that runs on code. 

Originally developed as a replacement for Apple’s earlier programming language, Objective-C, Swift combines ideas from other languages like Objective-C, Rust, Ruby and Python to help reduce common programming errors.

The language combines a powerful type inference with a modernized syntax that helps ideas to be clearly expressed through code.


procedural languages computer programming languages
Procedural Languages

Procedural Languages


Go is a C-style language created by engineering leads at Google. Sleeker than C++ or Java and more typesafe than Ruby or Python, Go comes with benefits and drawbacks.

Some drawbacks: Typing is strict. You can’t mix signed and unsigned integers, or integer sizes. Go also has some noticeable omissions: There are no generics and no inheritance. And if curly braces instead of parentheses makes your blood boil — walk away now.

But Go’s simplicity creates some marked advantages. Namely, the language is easy to use. There’s less hiding behind the written code, and the lack of inheritance helps developers avoid webs of dependencies. Tight definitions and thread safety seem to be Go priorities, Rogers said.


2020 new programming languages
Object-Oriented Languages

Object-Oriented Languages


Another C-style language from Google, Dart is like JavaScript with type safety. It can easily compile to JavaScript, Java for Android, native machine code or a standalone Dart VM. It can also run back-end code.

Dart is good for building user interfaces with event-driven code. The hot reload command lets developers see changes to their applications instantaneously.

Some other Dart advantages, according to one Dart team member: optional static types, minimal compile-time errors and a strong, built-in editor.


Pony is a language based on data-race-free typing and garbage collection, and uses the actor model as well as something called reference capabilities.

Reference capabilities compel the programmer to label pieces of data as mutable, immutable or isolated. If data is mutable, the compiler doesn’t allow the programmer to exchange the data between actors — when two actors access mutable data at the same time, they may make contradictory updates, or the data could get corrupted. Reference capabilities keep data safe and eliminate the need for locks to prevent concurrent data updates. With no locks, concurrent programs run faster.

Down-sides to Pony are low API stability, few high-quality third-party libraries and limited native tooling.


TypeScript is an open-source static type system built on top of JavaScript and maintained by Microsoft. So, it’s JavaScript, but with fewer ways to mess up. The TypeScript compiler checks for type mismatches and doles out compile-time errors to prevent run-time bugs.

For Java users, TypeScript may look especially familiar.

“If you’re glancing at TypeScript — or looking at Angular code, which is all written in TypeScript — the code reads like Java 8. It just needed some annotations and some types, and look! It’s Java,” Rogers said.

(By the way, if you’re considering PureScript as an alternative to TypeScript or JavaScript, just learn Clojure, Rogers advised.)


useful new programming languages
Useful New Programming Languages

And a Little of Everything


Hack is a programming language for the HipHop Virtual Machine as a dialect of PHP. Created by Facebook in 2014, Hack allows for programmers to use both static and dynamic typing (also called gradual typing), which gives them flexibility in their coding.

Some of Hack’s most impressive features are its fast development cycle and its type checking. Hack can reconcile the development cycle of a dynamic typed language like a static typed language, but with many features found in other modern languages. It also provinces instantaneous type checking and runs in less than 200 milliseconds.


Julia is a high-level, general-purpose programming language that can be used to write virtually any application, though many of its features lend it to being useful for computational science and numerical analysis. Julia is known for being a high-performance language that is dynamically typed and reproducible. 

Julia has a plethora of real world uses in everything from data visualization to machine learning. In fact, it’s used by British insurer Aviva for risk calculations, the Federal Reserve Bank of New York for financial modeling and even the Climate Modeling Alliance for climate change modeling. It’s functional interfaces for Fortran, C++, R, Java, C and Python make it one of the most highly sought after new languages to learn.


Kotlin is a faster, sleeker version of Java that runs in the Java Virtual Machine. It’s now the preferred language for Android development. According to Android’s developer site, its programmers switched to a Kotlin-first approach because the language comes with less boilerplate code, fewer null pointer exceptions and interoperability with Java.

Kotlin is useful for applications that run on both iOS and Android, programs that don’t use additional runtime or virtual machines, and server-side applications.


Nim is a statically typed language that prioritizes readability. By combining qualities from multiple languages, Nim offers programmers both speed and ease of use.

It comes with a JavaScript backend, decentralized package management, automatic memory management, binding for C and C++ libraries and tracebacks for debugging. As a language, Nim is limited, but it includes a set of metaprogramming features like generics, templates and macros, so developers can work in different styles while avoiding wordy code.

“These newer languages like Nim don't have as much penetration, but its nice to see the diversity across the field,” Rogers said. “And theyre all converging around type safety, which is nice.”


One of the older languages on this list, OCaml is a multi-paradigm language — it’s functional, imperative and typesafe, with an object-oriented layer.

Some OCaml strengths: It’s easy to define data types. All variables are immutable by default. APIs are stable with good backward compatibility for libraries. The language also offers automatic memory management and separate compilation for standalone applications.

Python 3

Even if you’re fluent with Python 2, Python 3 will come with some surprises. It diverges significantly from the last version, Rogers said.

So, why make the switch? Python 3 has more intuitive code, with better type safety. The differences between binary code, Unicode and plain text are easier to parse. It also comes with new commands like asyncio, which cuts down on threading issues, and concurrent.futures, which launches parallel tasks.


What if JavaScript was faster, simpler and typesafe?

That’s the question the Facebook developer who created Reason set out to answer. Instead of building a new language from the ground up, though, he took OCaml, a language that’s syntactically similar to JavaScript at runtime, and adjusted it to resemble JavaScript.

Reason compiles to JavaScript using the project BucketScript and can access 80 percent of JavaScript’s tooling and ecosystem. It can also compile to barebone assembly, iOS, Android and microcontrollers.

“You’ll notice that most of these languages are becoming popular because of the faults in JavaScript, and its pervasiveness,” Rogers added.

Like OCaml, Reason is functional and immutable, but allows users to opt in to objects and mutation. Its type system covers every line of code and infers types when none are defined, with guaranteed type accuracy after compiling.


Red is a programming language originally designed to overcome limitations by the language Rebol. Introduced in 2011 and influenced by languages like Rebol, Lua and Scala, Red is useful for both high and low-level programming. 

The language can be used to develop everything from high-level GUIs to lower-level operating systems. Red boasts a human-friendly syntax, low memory footprint and is garbage collected. Its second part, Red/System, is similar to C and provides for the flexibility to program many low-level programming capabilities.


Rust addresses some of the same problems as Go — thread safety and process safety at the system level — but with a focus on longevity, backwards compatibility and stability.

Like Go, Rust has C-style syntax (semicolons, anyone?). But unlike Go and C++, Rust has a memory-safety-focused “borrow checker” that makes sure any data being referenced still exists. This, along with assigning code to potential edge cases to please the compiler, can slow developers down.

But the language’s static typing and lack of garbage collection can also make things go faster.

Direct access to memory means programmers can write low-level code like operating system kernels. Rust is also a good fit for embedded devices, network services and command line editing. It’s won Stack Overflow’s most loved language for the last five years.

More on Software DevelopmentExtreme Programming Creator Kent Beck: Tech Has a Compassion Deficit

Great Companies Need Great People. That's Where We Come In.

Recruit With Us