パターンマッチングとガード
表現力豊かで分岐の少ないErlangコードの基礎となる、Erlangのパターンマッチングとガード節を使いこなします。
「パターンマッチングとガード」はCoddyKit上の無料Erlang OTP: Distributed & Fault-Tolerant Systems Programmingレッスンです。 これはレッスン4/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはErlang OTP: Distributed & Fault-Tolerant Systems Programming学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Erlang OTP: Distributed & Fault-Tolerant Systems Programmingコースには全4レッスンが含まれています。
このレッスンの一部はまだ翻訳されておらず、英語で表示されています。
Matching, Not Assigning
In Erlang = is the match operator, not assignment: it binds left-side variables to right-side values, or fails if they cannot match.
X = 42.
% X is now bound to 42Destructuring Tuples
Pattern matching can destructure compound terms like tuples in a single step, pulling values straight out.
{ok, Value} = {ok, 100}.
% Value is bound to 100Matching Lists
The [Head | Tail] pattern splits a list into its first element and the remaining rest.
[First | Rest] = [1, 2, 3].
% First = 1, Rest = [2, 3]The Pin / Bound Match
Once a variable is bound, reusing it in a pattern matches against its value rather than rebinding it.
X = 5.
{X, Y} = {5, 10}. % matches, Y = 10
{X, Y} = {7, 10}. % fails: X is bound to 5The Underscore Wildcard
The underscore wildcard _ matches anything and binds nothing — use it for parts you do not care about.
{_, Important} = {ignore_me, 99}.
% Important = 99Function Clause Matching
Function clauses are tried top to bottom, choosing the first whose arguments match. This replaces many if/else chains.
describe(0) -> zero;
describe(1) -> one;
describe(_) -> many.What Are Guards?
Guards add extra conditions to a clause with when; the clause fires only if both the pattern and the guard succeed.
classify(N) when N > 0 -> positive;
classify(N) when N < 0 -> negative;
classify(_) -> zero.Allowed Guard Expressions
Guards must be side-effect-free — only comparisons, arithmetic, and type tests like is_integer or is_list are allowed.
kind(X) when is_integer(X) -> int;
kind(X) when is_list(X) -> list;
kind(_) -> other.Combining Guards
Combine guard tests with , for AND and ; for OR.
in_range(X) when X >= 1, X =< 10 -> yes;
in_range(_) -> no.Matching in case
The case expression matches a value against patterns (with optional guards) and returns the branch that fits.
case lists:keyfind(id, 1, List) of
{id, V} -> V;
false -> not_found
end.Why It Matters
Pattern matching and guards make Erlang declarative — you describe data shapes instead of branching, the same skill you will use for messages.
Quick Check
Test your matching knowledge.
Recap
Recap: = matches and binds, you destructure tuples and lists, and function clauses with guards replace manual branching.
よくある質問
「パターンマッチングとガード」レッスンは無料ですか？
はい。「パターンマッチングとガード」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Erlang OTP: Distributed & Fault-Tolerant Systems Programmingコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Erlang OTP: Distributed & Fault-Tolerant Systems Programmingコースには全4レッスンが含まれています。
「パターンマッチングとガード」で何を学びますか？
表現力豊かで分岐の少ないErlangコードの基礎となる、Erlangのパターンマッチングとガード節を使いこなします。 ブラウザで直接実行するハンズオンコードでErlang OTP: Distributed & Fault-Tolerant Systems Programmingを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
Erlang OTP: Distributed & Fault-Tolerant Systems Programmingを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのErlang OTP: Distributed & Fault-Tolerant Systems Programmingは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン4/4です。
「パターンマッチングとガード」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このErlang OTP: Distributed & Fault-Tolerant Systems Programmingレッスンでコードを書いて実行できますか？
はい。すべてのErlang OTP: Distributed & Fault-Tolerant Systems Programmingレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。
このコースのすべてのレッスン
- ErlangとVM入門
- Erlangのプロセスとメッセージング
- 基本的な並行処理パターン
- パターンマッチングとガード