Just a few links in regards to type systems in elixir and on the beam in general:
LostKobrakai
bottlenecked
Not to mention the latest efforts of the facebook team towards a typed Erlang https://www.facebook.com/careers/jobs/229713254864749?_rdc=1&_rdr (or something like that anyway, not sure about the exact direction of this work)
1
dimitarvp
It’s not that. It’s just that people often come here and ask that question as if nobody ever thought of that. 
I have been met with similar reactions when speaking with OCaml people – the gist was: “yeah yeah we know, we don’t have multicore support and are still working on it, it will be ready when it’s ready”.
Elixir is my favourite language amongst at least 10 I worked with plus tried as a hobby. But yep, the lack of static typing becomes a noticeable minus the longer you work with it.
There are initiatives under way already but it might be years. I’d say realistically whoever loves and likes to work with Elixir should prepare mentally for the extra effort that’s required to alleviate the lack of static typing.
1
lessless
Nope, things like this are pretty much still impossible according to my understanding Rust Playground
I’m talking about line 14 - fn print_quantity(order: OrderQuantity). It’s possible to give design a different spin, but sometimes it can mean twisting abstractions to match tool’s abilities.
The closest answer was provided by blatyi Is it possible to declare a generic type? - #10 by blatyo
I’ve read on Twitter that folks at WhatsApp might be working on something up that avenue. Maybe @michalmuskala can enlight us or shed the gossip hehe 
1