• Elixir 简介


    概述

    Elixir 是一种基于 Erlang 虚拟机的函数式,面向并行的通用语言, 它是一门通用语言,所以不仅可以用在擅长的高可用,高并发场景下,也可以用在 web 开发等场景下。 Erlang 诞生于 1986 年,爱立信。

    有了 Erlang,为什么还要 Elixir? Erlang 毕竟诞生的早,虽然有很多优秀的特性,但是语法非常晦涩难懂,甚至没有支持 String Elixir 只是 Erlang 很简单的封装,不仅保留了 Erlang 所有的优秀特性,还提供了类似 Ruby 那样高效的语法。

    和 Erlang 相比,Elixir 的语法有 2 个明显的优势

    • macro: 可以简化很多的代码
    • pipeline: |> 可以省却很多临时变量的定义

    环境搭建

    官方安装文档:https://elixir-lang.org/install.html 建议在 Unix-like 的系统下通过编译源码的方式安装,能够及时体验最新的特性

    安装 Elixir 之前要先安装 Erlang

    语言基础

    在 Elixir 中,任何东西都可以理解为 *表达式+返回值*。 Elixir 中,任何数据不可改变,变量的赋值本质是把变量指向了其他的内存地址,不改变变量原来内存地址中的内容, 所以,等于(=)在 Elixir 中其实是 绑定(binding) 的意思,把右边的值绑定到左边的变量上,并返回右边的值

    类型

    Elixir 中的类型主要有以下几类:

    Number

    Elixir 中整数和小数统称为数值类型,整数的除法和求余用 div 和 rem 宏来实现

    Atom

    原子存在原子表中,不会被 GC 自动回收 true/false 在 Elixir 中是原子 :true/:false nil 在 Elixir 中是原子 :nil

    Tuple

    元素个数是固定的,适用于小的集合 通过 put_elem 修改 tuple 之后,其实返回的是一个新的 tuple,原来的 tuple 并没有被修改

    List

    list 可以表示为 [head|tail] 在 list 的末尾追加元素会导致 copy 整个 list,所以一般都在头部添加元素

    Map

    如果 key 是原子 ex. %{a: "xx", b: "yy"}; 否则 %{1 => "xx", "a string key" => "yy"}

    Binary and Bitstring

    长度是 8 的倍数的 Bitstring 也是 Binary

    String

    Elixir 中的 string 本质就是 Binary

    Function

    function 在 Elixir 中是一等公民,所以它也可以存放在变量中

    Reference

    BEAM 实例的引用

    pid

    Erlang process 的唯一标识

    Keywork List

    一种 list,每个元素都是一个包含 2 个元素的 tuple

    IO List

    一种深度自包含的结构,可以用来高效的在处理 IO 和网络数据 ex. 下面这个例子,文件写入时会分成 3 次,因为 a,b,c 的内存地址是不连续的 如果把 a,b,c 拼成一个字符串再写入文件的话,新的字符串会再次分配一次 a,b,c 所占用的内存量

    {:ok, file} = :file.open("/tmp/tmp.txt", [:write, :raw])
    a = "aaa"
    b = "bbb"
    c = "ccc"
    output = [a, b, c]
    :file.write(output)
    

    用 io_list 可以避免上面的问题

    {:ok, file} = :file.open("/tmp/tmp.txt", [:write, :raw])
    a = "aaa"
    b = "bbb"
    c = "ccc"
    output = [a, [b, [c]]]
    :file.write(output)
    

    IO.puts 输出时会拍平 io_list

    控制流

    一般语言中的流程控制就是判断(if, case…),循环(for, while…) Elixir 中虽然也有 if,case(通过 macro 来实现),但是尽量不要使用

    Elixir 中通过模式匹配来实现判断,通过递归来实现循环

    模式匹配的例子

    通过不同的函数,实现变量的类型判断

    defmodule ElixirIntro do
      def judge(x) when is_integer(x) do
        IO.puts("#{x} is integer")
      end
    
      def judge(x) when is_bitstring(x) do
        IO.puts("#{x} is string")
      end
    
      def judge(x) do
        IO.puts("#{x} is not integer and string")
      end
    end
    

    递归的示例

    递归是 Elixir 中常用的技巧,通过递归可以写出简单易懂的代码 下面示例是累加求和的递归写法

    defmodule ElixirIntro do
      def sum(n) when n <= 1 do
        n
      end
    
      def sum(n) do
        n + sum(n - 1)
      end
    end
    

    上面的递归写法虽然能完成功能,但是运行过程中消耗的内存很比较大,这种写法就是递归被人诟病的地方。

    在 Elixir 中,我们应该使用尾递归的方式来完成循环,因为尾递归会被优化,只占用固定数量的内存,上面的示例如下:

    defmodule ElixirIntro do
      def sum(total, n) when n <= 1 do
        total + n
      end
    
      def sum(total, n) do
        sum(total + n, n - 1)
      end
    end
    

    所谓尾递归,就是函数在最后只调用了自己

    代码组织(模块和函数)

    Elixir 的代码用 mix 来管理,通过 mix 创建,管理,发布工程。 代码主要是 module 和 function

    $ mix new hello
    $ cd hello
    $ iex -S mix
    

    Elixir 工程的代码都在 lib 文件夹下。

    错误处理

    错误处理是 Elixir 中的一级概念。

    一般的错误处理思路都是尽可能的捕获错误(可预期和不可预期的):

    • 可预期的错误直接处理
    • 不可预期的错误捕获不到可能系统崩溃,捕获后一般也是直接跳过

    Elixir 的核心能力之一是应对高并发,所以它的错误处理思路也不一样。 Elixir 错误处理的目的 不是降低错误的数量 ,而是 降低错误带来的影响 并且能够从错误中 自动恢复 。 所以,Elixir 的处理方式:

    • 可预期的错误,和传统方式一样,尽可能处理
    • 不可预期的错误,直接崩溃重启。会导致崩溃的地方尽快崩溃

    Elixir 的观点:

    • 有些错误发生后,要想解决很困难,在发生错误后接着处理可能会导致更严重的错误
    • 很多运行时的错误,极难重现,大部分都能通过重启来解决

    总结

    Elixir 虽然在它的领域有先天的优势,但是肯定也有不足之处:

    • speed: 性能不是 Erlang 平台的优势,毕竟有一层 BEAM 虚拟机, 高并发 != 高性能
    • ecosystem: Erlang/Elixir 的生态远没有其他语言成熟(比如 java, javascript, ruby 等)

    Elixir 不是万能的,但是学习 Elixir 可以打开你的视野,特别是对于一直使用面向对象语言的同学, 学习 Elixir 可以让你以另外一种视角看待程序设计。

  • 相关阅读:
    【leetcode】106. Construct Binary Tree from Inorder and Postorder Traversal
    【leetcode】105. Construct Binary Tree from Preorder and Inorder Traversal
    【leetcode】236. Lowest Common Ancestor of a Binary Tree
    【leetcode】235. Lowest Common Ancestor of a Binary Search Tree
    【leetcode】352. Data Stream as Disjoint Intervals
    【leetcode】897. Increasing Order Search Tree
    【leetcode】900. RLE Iterator
    BEC listen and translation exercise 26
    BEC listen and translation exercise 25
    BEC listen and translation exercise 24
  • 原文地址:https://www.cnblogs.com/wang_yb/p/8822221.html
Copyright © 2020-2023  润新知