Norm VS Elixir

Forget the typespecs. Have a boundary layer where you check the shape of things and their types as they enter your system and possibly convert them to some type you need inside your system. Norm is great for this.

HexDocs for norm. — I am not a robot but maybe there should be a Hex package manager auto link bot. 🤖

I generally verify types only at the boundaries of my application (or very critical modules) using norm[1].

Either you have a strict type system that does not have an "any" type (yes, I'm looking at you Typescript), or you have a flexible type system like Python/Erlang/Elixir and you do runtime type checking whenever it's needed.

I'm writing more Typescript code than I would in Javascript for almost no type safety benefits (but for documentation, it's awesome).

[1] - https://github.com/keathley/norm

Check out Norm. Sounds like it's right up your alley

Elixir leverages the Erlang Virtual Machines(VM). If you haven’t heard of Erlang, it’s a programming language introduced way back in 1986 to help telcos and many of them still use it to operate their equipment. Erlang has been built to be distributed, fault-tolerant, and performant. There is one small program with Erlang: Syntax can be very ugly. Check this page for an example.

The problem that’s hard to get around is this:

https://github.com/elixir-lang/elixir/issues/6357

2.) It's not "a new language". C# only started in 2001. Elixir started in 2011. So it's not that much newer. But yes there is lots of support and community around the language. Look here: https://elixir-lang.org under "Join The Community" on the right side of the page.

Elixir is a functional programming language whose popularity is rising in the industry link. However, there are few works in the scientific literature focused on studying the internal quality of systems implemented in this language.

It's worth noting that the PLs themselves generally don't make a speed claim. Elixir says scalable and fault-tolerant - scalability is number of threads, not speed. Go says on the homepage fast, reliable, and efficient, but the fast seems to refer to compile times, and the efficient is merely that Go compiles to machine code. Out of the languages listed only Rust actually says "blazingly fast" on their homepage. And there is no evidence backing this claim.

1.13.4 is verified on OTP 25 RC2, so I'd assume it supports the release OTP 25.

See: https://github.com/elixir-lang/elixir/releases/tag/v1.13.4