-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig - might hit closer to home with your C++ background, but is doing a few new and interesting things in that space.
-
Haskell - a general-purpose functional language with many unique properties (purely functional, lazy, expressive types, STM, etc). You mentioned you dabbled in Haskell, why not try it again? (I've written about 7 things I learned from Haskell, and my book is linked at them bottom if you're interested :) )
-
Futhark - use a functional language to program the gpu
-
Vouch for array programming, but also BQN. Modern, very good documentation, a bit less confusing than APL imo.
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Homepage Manual My LMDB wrapper as an example community library
-
noulith is an interesting and elegant language for coding competitions. It's not really general purpose but has some ideas that could filter into general purpose languages.
-
pharo
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
And Pharo is a good Smalltalk!
-
I don't think that there is a book written about Pony, but the tutorial and the list of patterns (WIP) are all you need to learn the language.
-
Fractran and Thue are pretty ingenious ones. Inpla blew my mind.
-
Considering your rich background in C++ and Haskell, along with your interest in functional programming paradigms, I wouldn't necessarily predict that Ballerina will "blow your mind." However, you might find certain familiar syntax while encountering numerous "why?" questions.
-
https://github.com/asynkron/protoactor-go & this is a great lib, that implements a Erlang/Akka-like the Actor Model in Go.