Gleam!

Rust is loads of fun too, would love to do more of that professionally.

While I am working mostly with Elixir currently (as well as doing some maintenance of Ruby/Rails projects…) I am most excited about considering the possibilities of using Haskell as server-side language, where the higher-order (and in some cases dependent) type system is able to perform a huge amount of checking at compile time.

And on the other hand, I hope to build a WebApp that uses Prolog under the hood sometime. Mostly because I think it would be very interesting and I’ll definitely learn a lot along the way.

• Elixir, which I am working almost exclusively with for ~3.5 years now. The BEAM VM and OTP primitives are unmatched; I can’t find any other runtime that can transparently multiplex thousands of tasks over all available CPU cores without introducing huge lags or data races. There’s other bonuses that are too long to cover in such a short post.

• Rust, because FP languages aren’t always fast and memory-efficient on the level of C++. Its ability to prevent you from introducing shared mutable state data races is absolutely priceless.

• OCaml, because of its amazing typing system. Lack of multicore support, maybe the fact that it uses GC, and some imperative/mutability features are stuff I dislike but if it gets improved in the future I can see it easily beating languages all over the spectrum from C++ to LISP to Elixir to Java/C# even. It’s an extremely well thought-out language but ecosystem tooling could also use some work.