Semi-practical fun, Clojure, Racket/Scheme, or other Lisp.
More academic fun, Pony or Clean. Less academic Rust.
Tired of Ruby/Rails or similar frameworks and would like something more distributed/concurrent? Elixir/Phoenix framework.
If you don't have a strong grasp of SQL and a specific database (e.g. PostgreSQL or MySQL), learn it deeply separate from your libraries/frameworks. Want to get off the beaten path? CockroachDB or other NewSQL datastore.
In the absence of context, I would suggest Forth or Prolog, as they are sufficiently different from any mainstream language.
Of course, Lisps and Schemes are always fun, and I think Racket sets itself apart from those with its language making capabilities. Logo is also very fun, but it is essentially a Lisp/Scheme. There are a lot of neat older books using Logo in various domains.
Pharo is also a fun choice.
* APL/J/BQN array programming language of some sort
* Some LISP type language
I'm not a professionally programming, mostly a novice but useful languages I did learn, as at work I'm stuff on Windows, VBA and Autohotkey. I'm proficient in both but no expert.
Stan in particular has a very healthy job market behind it.
There's also Pyro, Infer.NET, Turing.jl and a few others.
If you really want to stretch your mind, learn Ladder Logic programming, and VHDL or Verilog.
You should also have a deep knowledge of Excel.
For profit: COBOL.
The set-based paradigm is something that most developers seem blind to.
Its a wacky stack based language, loads of fun, hard to master and almost entirely useless as a general purpose tool.
Although if you don't know sql, just learn that.
It is a w3c standard for e.g. JSON processing