🐙

モダン Erlang/OTP

voluntas

2023/03/12に公開

Erlang

tech

ちまちまアップデートしていきます

前提

時雨堂が実際に利用している機能を中心に紹介しています
OTP 26.2.1 ベースに書いています

この資料が以下の書籍を読んだ人にとって、最近の Erlang/OTP の動向をキャッチアップする手助けになればと思います。

プログラミング Erlang
- https://shop.ohmsha.co.jp/shopdetail/000000001784/
すごい Erlang ゆかいに学ぼう!
- https://www.ohmsha.co.jp/book/9784274069123/
- https://tatsu-zine.com/books/sugoi-erlang-ja

また、Erlang/OTP を利用した製品がより多く生まれるといいなというお気持ちもこっそりあります。

書籍の Erlang/OTP のバージョンについて

プログラミング Erlang は OTP R11B5 がベース
- OTP R11B5 は 2007-06-12 リリース
すごい Erlang ゆかいに学ぼう! は OTP R15B がベース
- OTP R15B は 2011-12-14 リリース

2024 年 4 月現在の安定版は 26.2.3 です。
書籍とバージョン差はありますが、基本的な文法はほとんど変わっていませんので、安心してください。

OTP 17 から後ろに A や B が付いたりせず 17.0 -> 17.1 とバージョンが上がるようになりました
現在では Erlang/OTP は 1 年に 1 回、 5 月頃にメジャーバージョンアップがリリースされます

2023 年 8 月現在の書籍からのアップデート

Erlang/OTP LSP
- https://github.com/sile/erlls
- 時雨堂で利用しています
Erlang Formatter
- https://github.com/sile/efmt
- 時雨堂で利用しています
rebar3 が OTP ビルドの標準へ
- https://github.com/erlang/rebar3
hex.pm を利用したパッケージマネージャー
- https://hex.pm/
Erlang/OTP が Apache License 2.0 へ変更
- OTP 18
maybe 構文
- OTP 25 で実験的採用
- OTP 27 で正式採用
- https://www.erlang.org/eeps/eep-0049
map 内包表記
- OTP 26
- https://www.erlang.org/eeps/eep-0058
is_map_key / map_get がガードに追加
- OTP 21
min/2 と max/2 がガードに追加
- OTP 26
gen_fsm が gen_statem に置き換わった
- OTP 19
- https://www.erlang.org/doc/man/gen_statem.html
random が rand に置き換わった
- OTP 18
- https://www.erlang.org/doc/man/rand.html
socket アプリケーションの追加
- OTP 22
- https://www.erlang.org/doc/man/socket.html
gen_[tcp|udp|sctp] が socket アプリケーションベースに変更
- OTP 23 & 24
erlang shell で type や spec や record などが利用可能に
- OTP 26
erlang shell に履歴機能が追加
- OTP 23
ssl アプリケーションの TLS 1.3 と DTLS 1.2 対応
- OTP 22
counter アプリケーションの追加
- OTP 21.2
- https://www.erlang.org/doc/man/counters.html
persistent_term アプリケーションの追加
- OTP 21.2
- https://www.erlang.org/doc/man/persistent_term.html
logger アプリケーションの追加
- OTP 21
- https://www.erlang.org/doc/man/logger.html
AsmJit を利用した Erlang VM の x86_64 と ARM64 JIT 化
- OTP 24 & 25
- https://www.erlang.org/doc/apps/erts/beamasm
NIF 用の Dirty Scheduler の追加と改善
- OTP 17 & 20
- https://medium.com/@jlouis666/erlang-dirty-scheduler-overhead-6e1219dcc7
時間ライブラリの整備
- OTP 18
- https://qiita.com/tatsuya6502/items/6d440218811e3a4f0d2c
Unix Domain Sockets が利用
- OTP 19
erlang:get_stacktrace/0 の廃止
- OTP 24
- https://soranoba.net/programming/why_deprecated_get_stacktrace
HiPE 廃止
- OTP 23
crypto アプリケーション API 変更
- OTP 22
gen_* から format_status/2 の廃止と format_status/1 をオプションで追加
- OTP 25
slave アプリケーションが peer アプリケーションへ変更
- OTP 25
argparse ライブラリが追加
- OTP 26

maybe 構文

maybe 構文が使えるようになりました。ネストが深くなってしまっていたコードが一気に読みやすくなります。

とにかく maybe が使えないかどうかを考えるようにしてください。

OTP 26 で利用する場合は --feature(maybe_expr, enable). をモジュールに指定してするか、 rebar.config 利用します。

{erl_opts, [{feature, maybe_expr, enable}]}.

https://www.erlang.org/eeps/eep-0049

maybe 構文適用前のコード

commit_write(OpaqueData) ->
    B = OpaqueData,
    case disk_log:sync(B#backup.file_desc) of
        ok ->
            case disk_log:close(B#backup.file_desc) of
                ok ->
                    case file:rename(B#backup.tmp_file, B#backup.file) of
                       ok ->
                            {ok, B#backup.file};
                       {error, Reason} ->
                            {error, Reason}
                    end;
                {error, Reason} ->
                    {error, Reason}
            end;
        {error, Reason} ->
            {error, Reason}
    end..

maybe 構文適用後のコード

-feature(maybe_expr, enable).

commit_write(OpaqueData) ->
    maybe
        ok ?= disk_log:sync(OpaqueData#backup.file_desc),
        ok ?= disk_log:close(OpaqueData#backup.file_desc),
        ok ?= file:rename(OpaqueData#backup.tmp_file, OpaqueData#backup.file),
        {ok, OpaqueData#backup.file}
    else
        {error, Reason} -> {error, Reason}
    end.