Programming Elixir

📚 コンテンツ概要

エリクサーを用いた関数型および並行プログラミングの包括的なガイド。オブジェクト指向から関数型思考への移行、パターンマッチング、不変性、並行処理のためのアクターモデル、そしてOTPを活用した堅牢な分散システムの構築について扱います。

関数型プログラミングの美しさを通じて、耐障害性があり並行処理可能なシステムの構築の芸術を習得する。

著者: デイブ・トーマス

謝辞: ジョゼ・ヴァリム、コリー・ヘインズ、ブルース・テイト、ジェシカ・ケア、アントニー・イーデン、チャド・ファウラー、キン・シャイアー、キャナス・カニングハム、ポトマック・インデキシング

🎯 学習目標

1. エリクサーのデータ変換モデルと従来の状態ベースのプログラミングとの違いを比較できる。
2. インタラクティブなエリクサーシェル（IEx）を設定し、スクリプトやコンパイル経由でエリクサーコードを実行できる。
3. マッチ演算子（=）、ピン演算子（^）、ワイルドカード（_）を用いてデータを分解・検証できる。
4. 不変性がパフォーマンスとメモリ管理に与える理論的・実践的な影響を説明できる。
5. エリクサーの組み込み型（値型、システム型、コレクション型など）を識別し、活用できる。
6. 変数スコープのルールとwith式を活用して、複雑なデータ変換を管理できる。
7. 標準表記とキャプチャ表記（&）の両方を使って無名関数を作成・呼び出しできる。
8. パターンマッチングと再帰を使用して、モジュール内で名前付き関数を実装し、複雑なロジックを処理できる。
9. ガード節とデフォルト引数を用いて関数の実行フローを制御できる。
10. リストの分解と構築: ヘッド/テイルパターンマッチングを活用して、再帰的なリスト構造を走査・構築できる。

🔹 1レッスン：エリクサーとパターンマッチングの紹介

概要: このレッスンでは、状態の変更ではなくデータの変換に焦点を当てる関数型言語としてのエリクサーの基本を紹介します。学生はエリクサー環境（IEx）の操作方法、スクリプトのコンパイルと実行、そして変数の束縛と制御フローの基本メカニズムである「パターンマッチング」を習得します。

学習成果:

• エリクサーのデータ変換モデルと従来の状態ベースのプログラミングとの違いを比較できる。
• インタラクティブなエリクサーシェル（IEx）を設定し、スクリプトやコンパイル経由でエリクサーコードを実行できる。
• マッチ演算子（=）、ピン演算子（^）、ワイルドカード（_）を用いてデータを分解・検証できる。

🔹 2レッスン：不変性とエリクサーの基礎

概要: このレッスンでは、エリクサーの基盤となる哲学である「不変性」に焦点を当てます。学生はエリクサーがデータを変更不可能なエンティティとして扱う方法、このアプローチによるパフォーマンス上の利点、および原子（atoms）や範囲（ranges）といったシンプルな値型からマップやバイナリといった複雑なコレクションまで、さまざまな組み込み型について学びます。最後には変数スコープと強力なwith式について深く掘り下げます。

学習成果:

• 不変性がパフォーマンスとメモリ管理に与える理論的・実践的な影響を説明できる。
• エリクサーの組み込み型（値型、システム型、コレクション型など）を識別し、活用できる。
• 変数スコープのルールとwith式を活用して、複雑なデータ変換を管理できる。

🔹 3レッスン：関数、モジュール、パイプ演算子

概要: このレッスンでは、エリクサープログラミングの核となる「関数型変換」に焦点を当てます。無名関数とクロージャーから構造化されたモジュールと名前付き関数への移行について扱います。学生はパターンマッチング、再帰、パイプ演算子を活用して、簡潔で読みやすく保守しやすいコードを書く方法を学び、下位のエラングVMとも連携します。

学習成果:

• 標準表記とキャプチャ表記（&）の両方を使って無名関数を作成・呼び出しできる。
• パターンマッチングと再帰を使用して、モジュール内で名前付き関数を実装し、複雑なロジックを処理できる。
• ガード節とデフォルト引数を用いて関数の実行フローを制御できる。

🔹 4レッスン：再帰的なリストとデータ構造

概要: このレッスンでは、再帰を用いたエリクサーのリストの基本メカニズムに焦点を当てます。特に「ヘッドとテイル」パターンを活用してデータを処理・構築する方法を学びます。その後、マップ、構造体、キーワードリストといった複雑なデータ構造へと進み、適切な構造を選択するための判断基準と、アクセスマップモジュールおよびエリクサーの型システム理論を活用したネストされたデータの高度な操作技術を紹介します。

学習成果:

• リストの分解と構築: ヘッド/テイルパターンマッチングを活用して、再帰的なリスト構造を走査・構築できる。
• 高階関数パターンの実装: リストデータを変換または集約するために、カスタムのmapおよびreduce関数を作成できる。
• 適切なデータ構造の選択: パフォーマンス、順序、データ整合性のニーズに基づいて、マップ、構造体、キーワードリストの違いを区別できる。

🔹 5レッスン：列挙型、ストリーム、文字列処理

概要: このレッスンでは、エリクサーにおけるコレクション処理の二つのアプローチ——貪欲なEnumモジュールと遅延評価・結合可能なStreamモジュール——について探求します。また、コンプレヒェンションによるデータ変換や、エリクサーの文字列の内部仕組みについても深く掘り下げます。文字列リテラル（単一引用符）とバイナリ（二重引用符）の違いを理解し、適切なモジュール（List vs String）を適用して操作できます。さらに、複雑なデータ構造の処理、無限データの扱い、低レベルなビット抽出も学びます。

学習成果:

• コレクション処理において貪欲評価と遅延評価の違いを区別できる。
• 複数のジェネレータとフィルターを用いたリストコンプレヒェンションを活用して、データ変換やビットレベル情報の抽出ができる。
• 単一引用符で囲まれた文字列（文字列リスト）と二重引用符で囲まれた文字列（バイナリ）の違いを理解し、適切なモジュール（List vs String）を適用して操作できる。

🔹 6レッスン：制御フロー、Mixプロジェクト、プロフェッショナルツール

概要: このレッスンでは、孤立したエリクサー関数の書き方から、本格的なアプリケーションの構築、テスト、監視へと開発者の移行をガイドします。高度な制御構造（case、cond）、Mixプロジェクトのライフサイクル（ディレクトリ構造からCLI実行ファイルまで）、デバッグ、性質ベースのテスト、サーバー監視に使われるプロフェッショナルツールのセットについて学びます。

学習成果:

• case、cond、例外処理を用いて複雑な分岐ロジックを実装できる。
• Mixを用いてエリクサープロジェクトを構造化し、外部依存（例：HTTPoisonやPoison）を管理し、アプリケーション環境を設定できる。
• ExUnit、DocTest、StreamDataを用いた性質ベースのテストを活用して、堅牢なテストスイートを開発できる。

🔹 7レッスン：並行処理と分散ノード

概要: このレッスンでは、単一プロセスのエリクサーアプリケーションから分散システムへの移行について探求します。メッセージ処理のメカニズム、テール再帰ループによるプロセスの永続化、リンクとモニタによるプロセスライフサイクルの堅牢な管理について学びます。最後に、エラングVMの分散モデルを紹介し、ノードの接続、セキュリティ用のクッキーによる保護、ネットワーク上での入出力処理の方法を習得します。

学習成果:

• テール再帰とメッセージタイムアウトを用いて、状態を持ち、永続的なプロセスを実装できる。
• リンク（spawn_link）とモニタ（spawn_monitor）を活用して、障害耐性のあるプロセスツリーを構築できる。
• 名前付け規則、セキュリティクッキー、グローバルプロセス登録を用いて、分散ノードを設定・接続できる。

🔹 8レッスン：OTPの基礎：サーバーとスーパーバイザー

概要: このレッスンでは、エリクサー生態系内のオープンテレコムプラットフォーム（OTP）フレームワークを紹介し、特にGenServer振る舞いとSupervisorパターンに焦点を当てます。学生は堅牢で状態を持つサーバープロセスの構築方法、同期通信と非同期通信の違い、自動的にプロセスライフサイクルを管理する障害耐性のある監視ツリーの実装方法を学びます。

学習成果:

• OTPの主要な構成要素を定義し、標準的なGenServerコールバックライフサイクルを実装できる。
• 同期（call）と非同期（cast）メッセージパターンの違いを理解し、それぞれを実装できる。
• サーバーを監視し、失敗に対してもシステムの信頼性を維持するためのスーパーバイザーを設定・デプロイできる。

🔹 9レッスン：複雑なOTPアーキテクチャと状態管理

概要: このレッスンでは、個別のGenServerから複雑なマルチコンポーネントのOTPアプリケーションの設計・デプロイへと移行します。「ダプラー（Duper）」という重複ファイル検出ツールのアーキテクチャ設計、OTPアプリケーション仕様のメカニズム、およびホットアップグレードを可能にするDistilleryを用いた高度なデプロイ技術について学びます。また、タスクやエージェントといった簡略化された状態管理の代替手段も紹介し、特定の並行処理ニーズに応じた適切なツール選びのフレームワークを提供します。

学習成果:

• 5つの質問フレームワークを用いてアプリケーション要件を分析し、焦点ポイントと実行時特性を特定できる。
• 専用サーバー（結果、パスファインダー、収集器）とダイナミックスーパーバイザーを活用して、マルチサーバーのOTPアプリケーション（ダプラー）を構築できる。
• Distilleryを用いてコードリリースとホットアップグレードを実施でき、code_changeコールバックを用いた状態移行も可能になる。

🔹 10レッスン：メタプログラミング、プロトコル、型安全性

概要: このレッスンでは、エリクサーの高度な拡張性に焦点を当てます。マクロを通じてコードをデータとして操作するメタプログラミング、プロトコルと行動（Behaviours）を用いた多態性の実現、ユンブラプロジェクトによる大規模システムの構造化、堅牢なエラー処理の実装について学びます。最終的に、エリクサーの型システムとDialyzerを用いた静的解析の層を追加し、コードの正確性を保証する方法を紹介します。

学習成果:

• quoteとunquoteを活用して、マクロ内にコードブロックを挿入・操作できる。
• カスタムプロトコルと行動（Behaviours）を実装し、多態性があり再利用可能なコード構造を作成できる。
• マルチアプリのユンブラプロジェクトを構築し、動的エリクサーコードに正式な型指定（Type Specifications）を適用できる。