Elixir是一個基於Erlang虛擬機器的函數式、面向並列的通用程式語言。Elixir以Erlang為基礎，支援分散式、高容錯、即時應用程式的開發，亦可通過巨集實現元程式設計對其進行擴充，並通過協定支援多型。[2]
歷史
José Valim是Elixir語言的設計者。他創造該語言的目標是在維持與現有Erlang工具鏈及生態環境相容性的同時，讓人們可以在Erlang虛擬機器上進行擴充性更好的、高生產率的開發。[3]
特性
- 基於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
參考資料
外部連結
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
