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

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

If you want a more quantified comparison, here is Elixir's parser, and here is OCaml's. Removing a lot of the function definitions that are left in ocaml's parse file, we can still see that Elixir's syntax is about a third of Ocaml's. For reference, Java would be about twice as much as OCaml's. Elixir does have some sugar on top of things that might not be necessary, e.g. sigils for strings and so on, but if you compare core elixir to core ocaml (or most other functional languages), or you compare full Elixir to full OCaml, you see that it's a smaller language. And to me, it provides overall a very Go-like experience.

In Elixir v1.14+ you will be able to import the module as you define it in .iex.exs files, as we now evaluate it line by line: https://github.com/elixir-lang/elixir/commit/395b0534f0e5312ab3ebbb9a9f9bc8da224ffdd8

Well, in terms of programming languages, I'm really interested in Elixir. Its approach to concurrency seems completely different to anything I've touched in C++, and its Ruby-like syntax is also quite appealing.

It is similar but better if you use Task.start_link cause you will get better introspection. It will also get supervised: https://github.com/elixir-lang/elixir/blob/v1.13.3/lib/elixir/lib/task.ex

There are more resources listed on the Elixir Homepage but these two in particular might be worth checking out. Being able to have an interactive discussion about some of your questions might be worthwhile.

Have you considered becoming an Elixir dev?

I've started working on a side project this year and the tech stack I have chosen was the Elixir lang due to its functional design and fault tolerance (Thanks to the Erlang VM) so the Phoenix framework was a natural choice for me.

The context: I'm building a cryptocurrency exchange application. I don't have the business chops to run an actual exchange, so this is just for fun. The application is built in Elixir, using the Commanded framework for CQRS/ES goodness, and Phoenix LiveView because it's the hot new thing that I wanted to learn.