TL;DR
BEAM 上で動作する、動的型付けの関数型プログラミング言語。
なぜ必要か
公式サイトは、データとドメインに集中した、明確で意図の伝わるコードを書くための言語だと説明している。Erlang が数十年かけて培ってきた信頼性と耐障害性の上に作られている。
仕組み
1 つのコードベースで、マルチコアのマシンでの垂直方向のスケールと、ノード間で通信する水平方向のスケールの両方に対応できる。パッケージマネージャ、コードフォーマッタ、ドキュメントのツールが標準で付属し、試作やデバッグには IEx や Livebook を使える。不変性とメモリ安全性により、保守しやすく、障害から復旧しやすいシステムを作れる。