2. 程式人生 > >Erlang 和 Elixir的差異

Erlang 和 Elixir的差異

阿新 • • 發佈：2018-11-09

原文: http://elixir-lang.org/crash-course.html

函式呼叫

Elixir允許你呼叫函式的時候省略括號, Erlang不行.

Erlang Elixir
some_function(). some_function
sum(A,B) sum a,b

從模組中呼叫一個函式, 使用不同的語法, 在Erlang, 你可以寫:

lists:last([1,2]).

從List模組中呼叫last函式. 在Elixir中使用.符號代替:

符號.

List.last([1,2])

注意. 因為Erlang模組以原子的形式標識, 你可以在Elixir中以如下方式呼叫Erlang函式.

:lists.sort [1,2,3]

所有Erlang內建函式存在於:erlang模組中.

資料型別

原子

在Erlang中, 原子是以任意小寫字母開頭的識別符號號. 例如ok, tuple, donut. 大寫字母開頭的任意標識被作為變數名稱.

Erlang

im_an_atom.
me_too.
Im_a_var.
X = 10.

Elixir

:im_an_atom
:me_too

im_a_var
x = 10

Module # 原子別名, 擴充套件為:`Elixir.Module`

還可以建立非小寫字母開頭的原子, 兩種語言的語法差異如下:

Erlang

is_atom(ok).                %=> true
is_atom('0_ok'). %=> true is_atom('Multiple words'). %=> true is_atom(''). %=> true

Elixir

is_atom :ok                 #=> true
is_atom :'ok'               #=> true is_atom Ok #=> true is_atom :"Multiple words" #=> true is_atom :"" #=> true

元組

元組的語法兩種語言相同, 但API有卻別.

列表和二進位制

Erlang

is_list('Hello').        %=> false
is_list("Hello"). %=> true is_binary(<<"Hello">>). %=> true

Elixir

is_list 'Hello'          #=> true
is_binary "Hello"        #=> true
is_binary <<"Hello">> #=> true <<"Hello">> === "Hello" #=> true

Elixir string 標識一個UTF-8編碼的二進位制, 同時有一個String模組處理這類書籍.
Elixir假設你的原始檔是以UTF-8編碼的. Elixir中的string是一個字元列表, 同時有一個:string模組處理這類資料.

Elixir 支援多行字串(heredocs):

is_binary """
This is a binary
spanning several
lines.
"""
#=> true

關鍵字列表

包含兩個元素的元組列表

Erlang

Proplist = [{another_key, 20}, {key, 10}].
proplists:get_value(another_key, Proplist).
%=> 20

Elixir

kw = [another_key: 20, key: 10]
kw[:another_key] #=> 20

Map

Erlang

Map = #{key => 0}.                  % 建立Map
Updated = Map#{key := 1}.           % 更新Map中的值
#{key := Value} = Updated.          % 匹配 Value =:= 1. %=> true

Elixir

map = %{:key => 0}                  # 建立Map
map = %{map | :key => 1} # 更新Map中的值 %{:key => value} = map # 匹配 value === 1 #=> true

注意:

1.key: 和 0之間一定要有一個空格, 如下:

iex(2)> map = %{key:0}               
**(SyntaxError) iex:2: keyword argument must be followed by space after: key: iex(2)> map = %{key: 0} %{key: 0}

2.所有的key必須是原子型別才能這麼用.

正則表示式

Elixir支援正則表示式的字面語法. 這樣的語法允許正則表示式在編譯時被編譯而不是執行時進行編譯, 並且不要求轉義特殊的正則表示式符號:

Erlang

{ ok, Pattern } = re:compile("abc\\s").
re:run("abc ", Pattern).
%=> { match, ["abc "] }

Elixir:

Regex.run ~r/abc\s/, "abc "
#=> ["abc "]

正則表示式還能用在heredocs當中, 提供了一個定義多行正則表示式的便捷的方法:

Regex.regex? ~r"""
This is a regex
spanning several
lines.
"""

模組

每個erlang模組儲存在其自己的檔案中, 並且有如下結構:

-module(hello_module).
-export([some_fun/0, some_fun/1]). % A "Hello world" function some_fun() -> io:format('~s~n', ['Hello world!']). % This one works only with lists some_fun(List) when is_list(List) -> io:format('~s~n', List). % Non-exported functions are private priv() -> secret_info.

這裡我們建立一個名為hello_module的模組. 其中我們定義了三個函式, 前兩個用於其他模組呼叫, 並通過export指令匯出. 它包含一個要匯出的函式列表, 其中沒個函式的書寫格式為<function name>/<arity>. arity標書引數的個數.

上面的Elixir等效程式碼為:

defmodule HelloModule do
  # A "Hello world" function def some_fun do IO.puts "Hello world!" end # This one works only with lists def some_fun(list) when is_list(list) do IO.inspect list end # A private function defp priv do :secret_info end end

在Elixir中, 還可以在一個檔案中定義多個模組, 以及巢狀模組.

defmodule HelloModule do
  defmodule Utils do def util do IO.puts "Utilize" end defp priv do :cant_touch_this end end def dummy do :ok end end defmodule ByeModule do end HelloModule.dummy #=> :ok HelloModule.Utils.util #=> "Utilize" HelloModule.Utils.priv #=> ** (UndefinedFunctionError) undefined function: HelloModule.Utils.priv/0

函式語法

Erlang 圖書的這章提供了模式匹配和函式語法的詳細描述. 這裡我簡單的覆蓋一些要點並提供Erlang和Elixir的程式碼示例:

模式匹配

Erlang

loop_through([H|T]) ->
  io:format('~p~n', [H]),
  loop_through(T);

loop_through([]) -> ok.

Elixir

def loop_through([h|t]) do
  IO.inspect h
  loop_through t
end def loop_through([]) do :ok end

當定義一個同名函式多次的時候, 沒個這樣的定義稱為分句. 在Erlang中, 分句總是緊挨著的, 並且由分號;分割. 最後一個分句通過點.終止.

Elixir並不要求使用標點符號來分割分句, 但是他們必須分組在一起(同名函式必須上下緊接著)

標識函式

在Erlang和Elixir中, 函式不僅僅由名字來標識, 而是由名字和引數的個數共同來標識一個函式. 在下面兩個例子中, 我們定義了四個不同的函式(全部名為sum, 不同的引數個數)

Erlang

sum() -> 0.
sum(A) -> A. sum(A, B) -> A + B. sum(A, B, C) -> A + B + C.

Elixir

def sum, do: 0 def sum(a), do: a def sum(a, b), do: a + b def sum(a, b, c), do: a + b + c

基於某些條件, Guard表示式(Guard expressions), 提供了一個精確的方式定義接受特定取值的函式

Erlang

sum(A, B) when is_integer(A), is_integer(B) -> A + B; sum(A, B) when is_list(A), is_list(B) -> A ++ B; sum(A, B) when is_binary(A), is_binary(B) -> <<A/binary, B/binary>>. sum(1, 2). %=> 3 sum([1], [2]). %=> [1,2] sum("a", "b"). %=> "ab"

Elixir

def sum(a, b) when is_integer(a) and is_integer(b) do a + b end def sum(a, b) when is_list(a) and is_list(b) do a ++ b end def sum(a, b) when is_binary(a) and is_binary(b) do a <> b end sum 1, 2 #=> 3 sum [1], [2] #=> [1,2] sum "a", "b" #=> "ab"

預設值

Erlang不支援預設值

Elixir 允許引數有預設值

def mul_by(x, n \\ 2) do x * n end mul_by 4, 3 #=> 12 mul_by 4 #=> 8

匿名函式

匿名函式以如下方式定義:

Erlang

Sum = fun(A, B) -> A + B end.
Sum(4, 3).
%=> 7 Square = fun(X) -> X * X end. lists:map(Square, [1, 2, 3, 4]). %=> [1, 4, 9, 16]

當定義匿名函式的時候也可以使用模式匹配.

Erlang

F = fun(Tuple = {a, b}) ->
        io:format("All your ~p are belong to us~n", [Tuple]);
        ([]) ->
        "Empty"
    end.

F([]).
%=> "Empty" F({a, b}). %=> "All your {a,b} are belong to us"

Elixir

f = fn
      {:a, :b} = tuple ->
        IO.puts "All your #{inspect tuple} are belong to us" [] -> "Empty" end f.([]) #=> "Empty" f.({:a, :b}) #=> "All your {:a, :b} are belong to us"

一類函式

匿名函式是第一類值, 他們可以作為引數傳遞給其他函式, 也可以作為返回值. 這裡有一個特殊的語法允許命名函式以相同的方式對待:

Erlang

-module(math).
-export([square/1]). square(X) -> X * X. lists:map(fun math:square/1, [1, 2, 3]). %=> [1, 4, 9]

Elixir

defmodule Math do
  def square(x) do x * x end end Enum.map [1, 2, 3], &Math.square/1 #=> [1, 4, 9]

Partials in Elixir

Elixir supports partial application of functions which can be used to define anonymous functions in a concise way:

Enum.map [1, 2, 3, 4], &(&1 * 2) #=> [2, 4, 6, 8] List.foldl [1, 2, 3, 4], 0, &(&1 + &2) #=> 10

Partials also allow us to pass named functions as arguments.

defmodule Math do
  def square(x) do x * x end end Enum.map [1, 2, 3], &Math.square/1 #=> [1, 4, 9]

控制流

The constructs if and case are actually expressions in both Erlang and Elixir, but may be used for control flow as in imperative languages.

Case

The case construct provides control flow based purely on pattern matching.

Erlang

case {X, Y} of
  {a, b} -> ok;
  {b, c} -> good;
  Else -> Else
end

Elixir

case {x, y} do
  {:a, :b} -> :ok {:b, :c} -> :good other -> other end

If

Erlang

Test_fun = fun (X) ->
  if X > 10 ->
       greater_than_ten;
     X < 10, X > 0 -> less_than_ten_positive; X < 0; X =:= 0 -> zero_or_negative; true -> exactly_ten end end. Test_fun(11). %=> greater_than_ten Test_fun(-2). %=> zero_or_negative Test_fun(10). %=> exactly_ten

Elixir

test_fun = fn(x) ->
  cond do
    x > 10 ->
      :greater_than_ten x < 10 and x > 0 -> :less_than_ten_positive x < 0 or x === 0 -> :zero_or_negative true -> :exactly_ten end end test_fun.(44) #=> :greater_than_ten test_fun.(0) #=> :zero_or_negative test_fun.(10) #=> :exactly_ten

區別:

  1. cond允許左側為任意表達式, erlang只允許guard子句.

  2. cond中的條件只有在表示式為nil和false的時候為false, 其他情況一律為true, Erlang為一個嚴格的布林值

Elixr還提供了一個簡單的if結構

if x > 10 do
  :greater_than_ten
else
  :not_greater_than_ten
end

傳送和接受訊息

Erlang

Pid = self().

Pid ! {hello}.

receive
  {hello} -> ok;
  Other -> Other
after
  10 -> timeout
end.

Elixir

pid = Kernel.self

send pid, {:hello}

receive do
  {:hello} -> :ok other -> other after 10 -> :timeout end

新增Elixir到現有的Erlang程式

Rebar整合

如果使用Rebar,可以把Elixir倉庫作為依賴.

https://github.com/elixir-lang/elixir.git

Elixir實際上是一個Erlang的app. 它被放在lib目錄中, rebar不知道這樣的目錄結構. 因此需要制定Elixir的庫目錄.

  
{lib_dirs, [
  "deps/elixir/lib"
]}.

轉自：https://segmentfault.com/a/1190000004882064

相關推薦

Erlang 和 Elixir的差異

原文: http://elixir-lang.org/crash-course.html 函式呼叫 Elixir允許你呼叫函式的時候省略括號, Erlang不行. Erlang Elixir some_function().

java--request對象中的get和post差異

spa ont ava request對象 blog family tro nbsp span post跟get的差異，優先選post post的缺陷 java--request對象中的get和post差異

char和varchar差異

計量單位 ffffff 個數 但是 process code innodb 靜態 type 字符與字節的區別（查閱引用） ①ASCII碼中，一個英文字母（不分大小寫）占一個字節的空間，一個中文漢字占兩個字節的空間。一個二進制數字序列，在計算機中作為一個數字單元，一般為8位二

erlang和rabbitmq安裝(0)

訪問權限 lang ini use 創建 server star tac man 1. erlang下載地址(之前官網下載的有問題): https://bintray.com/rabbitmq/rpm/erlang/20.3.8.9-1 2. 安裝erlang &am

RNA-seq中的基因表達量計算和表達差異分析

RNA-seq中的基因表達量計算和表達差異分析 差異分析的步驟：1）比對；2） read count計算；3） read count的歸一化；4）差異表達分析； 背景知識：1）比對：普通比對： BWA，SOAP開大GAP比對：Tophat（Bowtie2）；2） Read count(多重比對的問題）：丟

Java和C#差異點

語法：----------------------------------------------------------1. Java的byte為-128~127相當於c#的sbyte，c#byte為0-255。2. Java中沒有無符號變數。 類結構：--------------------------

【arm】arm32位和arm64位架構、暫存器和指令差異分析總結

Date： 2018.9.21 1、參考 2、前言   最近三個月的時間，都在進行解碼庫的arm架構彙編優化，包括arm32位彙編優化和arm64位彙編優化。在arm32位入門之後，只要掌握了兩種架構的暫存器和指令集差異之後，就可以很快上手編寫arm64

require和import差異

　　最近寫vue過程中，發現前人的程式碼，有的引入模組是以require引入，有的是以import引入，到底兩者有什麼差異呢？ 　　一、他們遵循的模組化規範不一樣 　　　　所謂模組化，即為javascript提供的一個模組編寫、模組依賴、模組執行的規範。 　　　　require/exports是一種野生

【產品筆記】產品工作中Android和iOS差異

移動網際網路時代，移動端產品的規劃設計是大多數產品經理的必修課。廣義來說，移動端產品主要包含iOS端App、Android端App、微信端H5、小程式、WAP版H5以及平板端App（HD版），本文主要就前兩種——Android和iOS手機端App 在產品工作中應該注意的一些差

Spring中註解@Transactional在oracl和mysql差異

嘿嘿 ！從今天開始圖圖開始寫部落格啦 這是圖圖的第一個部落格 ，不足之處請大家指出，共同進步。 @Transactional是Spring中的事務註解，其引數為readOnly用於設定當前事務是否為只讀事務，設定為true表示只讀，false則表示可讀寫，如@Transactional(re

[Erlang 0112] Elixir Protocols

Why Elixir      為什麼要學習Elixir?答案很簡單,為了更好的學習Erlang.這麼無厘頭的理由?      Erlang語法設計幾乎沒有考慮過取悅開發者,所以學習之初的門檻略高.對於已經克服了最初語法障礙的同學,Elixir其實沒有什麼吸引力. 在Elixir之前已經有很多類似的專

[Erlang 0113] Elixir 編譯流程梳理

      注意:目前Elixir版本還不穩定,程式碼調整較大,本文隨時失效      之前簡單演示過如何從elixir ex程式碼生成並執行Erlang程式碼,下面仔細梳理一遍elixir檔案的編譯過程,書接上文,從elixir的程式碼切入,這一次我們主要關注編譯流程,一些細節暫時不展開.  

java中的abstract和interface差異

這裡需要談到抽象類和Interface的差別，abstract class和interface是支援抽象類定義的兩種機制。正是由於這兩種機制的存在，才賦予了Java強大的面向物件能力，兩者的區別如下： （1）相同點 A，兩者都是抽象類，都不能例項化。 B，inter

oracle中比較兩表表結構差異和資料差異的方法

在工作中經常會遇到導資料的情況，有時候需要比較生產庫和測試庫的表結構是否有變化，找出差異，並且可以找出差異資料。 分析：手工方式不可取，因為要比較的表結構比較多，不容易看出來，採取兩表差集並集的方式查詢。 MINUS(差集): SQL中有一個MINUS關鍵字，它運用在兩個S

系統技術非業餘研究 » Erlang和port通訊的資料格式

erlang內建的port非常強大，是erlang通往外面世界的通道，所以port和erlang程式的通訊的資料格式影響了通訊的效率，和穩定性。我們在選擇格式的時候， 會優先考慮到erlang的特性和port程式編寫語言的特點，選出一種2者都容易處理的格式。 通訊通常有2種，基於行的文字和2進位制

系統技術非業餘研究 » 轉：CPU密集型計算 erlang和C 大比拼

原文地址：http://pseudelia.wordpress.com/2009/08/23/erlang-native-code-benchmark/ Normalerweise compiliert Erlang Bytecode (heißt das so in Erlang?). Das

rabbitMQ Ubuntu下 安裝指南(erlang和rabbitmq)

1,首先，在使用者/data/projects 目錄建立rabbitmq目錄，用於安裝rabbitmq相關軟體 2,執行下面的命令,安裝erlang相關依賴庫 sudo apt-get install build-essential sudo apt-get ins

Erlang 開啟和關閉SMP選項之差異觀察

##以下觀察是基於版本otp_19.1 #觀察SMP enabled Step 1. 啟動erl with SMP enabled (erl -smp enable) sexxx484: ~/erlang/test  > erl Erlang/OTP 19 [erts

完全備份數據和差異備份數據的shell腳本

完全備份數據和差異備份數據的shell腳本#!/bin/bash # # Description: 該腳本功能，以周為單位循環；周五實行完全備份，周六不備份，周日至周四實行差異備份； # 因工作需要，不實行壓縮打包的方式，采用cp完全備份，rsync差異備份； #

Vue.extend和Vue.component的聯系與差異

模板 art end sha views article mark 作用 語法 extend 是構造一個組件的語法器. 你給它參數 他給你一個組件 然後這個組件 你可以作用到Vue.component 這個全局註冊方法裏， 也可以在任意vue模板裏使用apple組件 v