Elixir

Elixir

編程範型	多範式：函數式、並行式、面向進程、同像性
面市時間	2012年​（2012）
當前版本	1.16.3 (2024年5月20日；穩定版本)
型態系統	動態類型、強類型
許可證	Apache License
文件擴展名	.ex、.exs
網站	elixir-lang.org
啟發語言
Clojure、Erlang、Ruby

Elixir是一個基於Erlang虛擬機的函數式、面向並行的通用編程語言。Elixir以Erlang為基礎，支持分布式、高容錯、實時應用程序的開發，亦可通過宏實現元編程對其進行擴展，並通過協議支持多態。

歷史

José Valim是Elixir語言的設計者。他創造該語言的目標是在維持與現有Erlang工具鏈及生態環境兼容性的同時，讓人們可以在Erlang虛擬機上進行擴展性更好的、高生產率的開發。

特性

• 基於Erlang虛擬機（BEAM）。
• 與Erlang語言的無縫銜接；與Erlang的互調幾乎無任何額外開銷。
• 基於宏的元編程能力，語言的抽象語法樹作為頭等公民。
• 基於協議的多態實現。受到Clojure啟發，協議提供了動態分派機制。但是不可混淆於多分派，因為Elixir協議在一個單一類型上進行分派。
• 完善的文檔支持。
• 通過消息傳遞（演員模型）支持 Shared-nothing 並行事務。
• 強調利用遞歸和高階函數的函數式編程勝過基於副作用和迴圈的命令式編程。
• 一切均為表達式。
• 惰性求值，擁有諸如futures和promises一類的異步流數據類型。
• 模式匹配。
• Unicode支持，UTF-8字符串。

示例

以下示例可以在iex shell中運行或保存在文件中，並通過命令行鍵入命令運行 elixir <filename>.

經典的 Hello world 例子:

iex> IO.puts("Hello World!")
Hello World!

Enumerable 推導

iex> for n <- [1,2,3,4,5], rem(n, 2) == 1, do: n*n
[1, 9, 25]

模式匹配（解構）

iex> [1, a] = [1, 2]
iex> a
2

iex> {:ok, [hello: a]} = {:ok, [hello: "world"]}
iex> a
"world"

模式匹配（多子句）

iex> case File.read("path/to/file") do
iex>   {:ok, contents} -> IO.puts("found file: #{contents}")
iex>   {:error, reason} -> IO.puts("missing file: #{reason}")
iex> end

管道操作符

iex> "1" |> String.to_integer() |> Kernel.*(2)
2

模塊

defmodule Fun do
  def fib(0), do: 0
  def fib(1), do: 1
  def fib(n), do: fib(n-2) + fib(n-1)  
end

順序產生1000個進程

for num <- 1..1000, do: spawn fn -> IO.puts("#{num * 2}") end

執行異步任務

task = Task.async fn -> perform_complex_action() end
other_time_consuming_action()
Task.await task

外部連結

• Elixir language website（頁面存檔備份，存於網際網路檔案館）
• Code on GitHub（頁面存檔備份，存於網際網路檔案館）
• Elixir School（頁面存檔備份，存於網際網路檔案館）
• Elixir - A modern approach to programming for the Erlang VM video presentation（頁面存檔備份，存於網際網路檔案館）
• Dave Thomas: "Programming Elixir: Functional |> Concurrent |> Pragmatic |> Fun" (book)
• Simon St. Laurent, J. David Eisenberg: "Introducing Elixir" (book)（頁面存檔備份，存於網際網路檔案館）
• Joe Armstrong: "A Week with Elixir" (blog entry)
• Erlang之父學習Elixir語言的一周（頁面存檔備份，存於網際網路檔案館）