Join a rocket ship scale-up which is transforming a $4.2 trillion global industry!| www.fresha.com
Process Tracing Profiling Tool| www.erlang.org
Gradual set-theoretic types| hexdocs.pm
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of thousands of developers. Static typing seems nowadays to be the most important request coming from the Elixir community. We present a gradual type system we plan to include in the Elixir compiler, outline its characteristics and design principles,...| arXiv.org
Generic state machine behavior.| www.erlang.org
A short status update on the effort to bring a type system into Elixir.| The Elixir programming language
Link to this function| erlang.org
Introduction| hexdocs.pm
Website for Elixir| The Elixir programming language