@k2works/claude-code-booster 2.7.1 → 3.1.0

package/lib/assets/docs/article/grokkingfp/csharp/part-6.md

@@ -0,0 +1,739 @@
+# Part VI: 実践的なアプリケーション構築とテスト
+
+本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。また、関数型プログラミングにおけるテスト戦略についても学びます。
+
+---
+
+## 第11章: 実践的なアプリケーション構築
+
+### 11.1 TravelGuide アプリケーション
+
+旅行ガイドアプリケーションを例に、実践的な FP アプリケーションの構築方法を学びます。
+
+```plantuml
+@startuml
+!theme plain
+
+package "TravelGuide Application" {
+  rectangle "Model" {
+    class Location {
+      Id: LocationId
+      Name: string
+      Population: int
+    }
+
+    class Attraction {
+      Name: string
+      Description: Option<string>
+      Location: Location
+    }
+
+    class TravelGuide {
+      Attraction: Attraction
+      Subjects: Seq<string>
+    }
+  }
+
+  rectangle "Data Access" {
+    interface IDataAccess {
+      +FindAttractions(): Task<Seq<Attraction>>
+      +FindArtistsFromLocation(): Task<Seq<MusicArtist>>
+      +FindMoviesAboutLocation(): Task<Seq<Movie>>
+    }
+
+    class TestDataAccess
+    class CachedDataAccess
+  }
+
+  IDataAccess <|.. TestDataAccess
+  IDataAccess <|.. CachedDataAccess
+}
+
+@enduml
+```
+
+### 11.2 ドメインモデルの定義
+
+**ソースファイル**: `app/csharp/src/Ch11/TravelGuide.cs`
+
+```csharp
+/// <summary>
+/// ロケーション ID（値オブジェクト）
+/// </summary>
+public readonly record struct LocationId(string Value)
+{
+    public static LocationId Create(string id) => new(id);
+    public override string ToString() => Value;
+}
+
+/// <summary>
+/// ロケーション
+/// </summary>
+public record Location(LocationId Id, string Name, int Population);
+
+/// <summary>
+/// アトラクション（観光地）
+/// </summary>
+public record Attraction(string Name, Option<string> Description, Location Location);
+
+/// <summary>
+/// ミュージックアーティスト
+/// </summary>
+public record MusicArtist(string Name, Option<string> Genre);
+
+/// <summary>
+/// 映画
+/// </summary>
+public record Movie(string Name, Option<int> BoxOffice);
+
+/// <summary>
+/// 旅行ガイド
+/// </summary>
+public record TravelGuide(Attraction Attraction, Seq<string> Subjects);
+```
+
+### 11.3 データアクセス層の抽象化
+
+外部データソースへのアクセスをインターフェースで抽象化します。
+
+```csharp
+/// <summary>
+/// データアクセスインターフェース
+/// </summary>
+public interface IDataAccess
+{
+    Task<Seq<Attraction>> FindAttractions(string name, AttractionOrdering ordering, int limit);
+    Task<Seq<MusicArtist>> FindArtistsFromLocation(LocationId locationId, int limit);
+    Task<Seq<Movie>> FindMoviesAboutLocation(LocationId locationId, int limit);
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+interface IDataAccess {
+  +FindAttractions(): Task<Seq<Attraction>>
+  +FindArtistsFromLocation(): Task<Seq<MusicArtist>>
+  +FindMoviesAboutLocation(): Task<Seq<Movie>>
+}
+
+note right of IDataAccess
+  純粋な関数型インターフェース
+  すべての操作は Task でラップ
+end note
+
+class TestDataAccess {
+  -testAttractions: Seq<Attraction>
+  +FindAttractions(): Task<Seq<Attraction>>
+  +FindArtistsFromLocation(): Task<Seq<MusicArtist>>
+  +FindMoviesAboutLocation(): Task<Seq<Movie>>
+}
+
+class CachedDataAccess {
+  -cache: Ref<Map<string, T>>
+  +FindAttractions(): Task<Seq<Attraction>>
+  +FindArtistsFromLocation(): Task<Seq<MusicArtist>>
+  +FindMoviesAboutLocation(): Task<Seq<Movie>>
+}
+
+IDataAccess <|.. TestDataAccess
+IDataAccess <|.. CachedDataAccess
+
+@enduml
+```
+
+### 11.4 Resource によるリソース管理
+
+C# では `IDisposable` パターンと `using` ステートメントでリソースを管理できますが、より関数型的な `Resource<T>` 型を実装することもできます。
+
+```csharp
+/// <summary>
+/// リソースを安全に管理するための型
+/// </summary>
+public class Resource<T>
+{
+    private readonly Func<Task<T>> _acquire;
+    private readonly Func<T, Task> _release;
+
+    private Resource(Func<Task<T>> acquire, Func<T, Task> release)
+    {
+        _acquire = acquire;
+        _release = release;
+    }
+
+    /// <summary>
+    /// リソースを作成
+    /// </summary>
+    public static Resource<T> Make(Func<Task<T>> acquire, Func<T, Task> release)
+        => new(acquire, release);
+
+    /// <summary>
+    /// リソースを使用して操作を実行
+    /// </summary>
+    public async Task<TResult> UseAsync<TResult>(Func<T, Task<TResult>> f)
+    {
+        var resource = await _acquire();
+        try
+        {
+            return await f(resource);
+        }
+        finally
+        {
+            await _release(resource);
+        }
+    }
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+participant "Application" as app
+participant "Resource" as res
+participant "External Resource" as ext
+
+app -> res: Resource.Make(acquire, release)
+res -> ext: acquire
+ext --> res: resource
+
+app -> res: UseAsync(operation)
+res -> ext: execute operation
+ext --> res: result
+res --> app: result
+
+app -> res: release (automatic)
+res -> ext: cleanup
+
+note over res
+  Resource は例外が発生しても
+  必ず release を実行する
+end note
+
+@enduml
+```
+
+### 11.5 キャッシュの実装
+
+`Ref<T>` を使用したスレッドセーフなキャッシュの実装:
+
+```csharp
+/// <summary>
+/// キャッシュ付きデータアクセスを作成
+/// </summary>
+public static IDataAccess CachedDataAccess(IDataAccess dataAccess)
+{
+    var attractionCache = ConcurrentProcessing.Ref<Map<string, Seq<Attraction>>>.Of(
+        Map<string, Seq<Attraction>>());
+    var artistCache = ConcurrentProcessing.Ref<Map<string, Seq<MusicArtist>>>.Of(
+        Map<string, Seq<MusicArtist>>());
+    var movieCache = ConcurrentProcessing.Ref<Map<string, Seq<Movie>>>.Of(
+        Map<string, Seq<Movie>>());
+
+    return new CachedDataAccessImpl(dataAccess, attractionCache, artistCache, movieCache);
+}
+
+private class CachedDataAccessImpl : IDataAccess
+{
+    // キャッシュロジック: キーがあればキャッシュから返却、なければ取得して保存
+    public async Task<Seq<Attraction>> FindAttractions(string name, AttractionOrdering ordering, int limit)
+    {
+        var key = $"{name}-{ordering}-{limit}";
+        var cached = _attractionCache.Get().Find(key);
+        if (cached.IsSome)
+        {
+            return cached.IfNone(Seq<Attraction>());
+        }
+
+        var attractions = await _dataAccess.FindAttractions(name, ordering, limit);
+        _attractionCache.Update(cache => cache.Add(key, attractions));
+        return attractions;
+    }
+    // 他のメソッドも同様に実装...
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+skinparam activity {
+  BackgroundColor White
+  BorderColor Black
+}
+
+start
+
+:キャッシュキー生成;
+
+:cache.Get() でキャッシュ確認;
+
+if (キャッシュにデータあり?) then (yes)
+  :キャッシュからデータ返却;
+else (no)
+  :外部 API を呼び出し;
+  :結果をキャッシュに保存;
+  :結果を返却;
+endif
+
+stop
+
+note right
+  Ref を使用した
+  スレッドセーフなキャッシュ
+end note
+
+@enduml
+```
+
+### 11.6 アプリケーションの組み立て
+
+すべてのコンポーネントを組み合わせてアプリケーションを構築します。
+
+```csharp
+/// <summary>
+/// 旅行ガイドを生成
+/// </summary>
+public static async Task<Option<TravelGuide>> GetTravelGuide(IDataAccess data, string attractionName)
+{
+    var attractions = await data.FindAttractions(attractionName, AttractionOrdering.ByLocationPopulation, 1);
+    if (attractions.IsEmpty)
+    {
+        return None;
+    }
+
+    var attraction = attractions.First();
+    var artists = await data.FindArtistsFromLocation(attraction.Location.Id, 2);
+    var movies = await data.FindMoviesAboutLocation(attraction.Location.Id, 2);
+
+    var subjects = artists.Map(a => a.Name).Concat(movies.Map(m => m.Name));
+
+    return Some(new TravelGuide(attraction, subjects));
+}
+
+/// <summary>
+/// 複数のアトラクションから旅行ガイドを生成
+/// </summary>
+public static async Task<Seq<TravelGuide>> GetTravelGuides(IDataAccess data, string attractionName, int limit)
+{
+    var attractions = await data.FindAttractions(attractionName, AttractionOrdering.ByLocationPopulation, limit);
+
+    var guideTasks = attractions.Map(async attraction =>
+    {
+        var artists = await data.FindArtistsFromLocation(attraction.Location.Id, 2);
+        var movies = await data.FindMoviesAboutLocation(attraction.Location.Id, 2);
+        var subjects = artists.Map(a => a.Name).Concat(movies.Map(m => m.Name));
+        return new TravelGuide(attraction, subjects);
+    });
+
+    var guides = await Task.WhenAll(guideTasks);
+    return toSeq(guides);
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "GetTravelGuide 関数" {
+  card "1. アトラクション検索" as step1
+  card "2. アーティスト検索" as step2
+  card "3. 映画検索" as step3
+  card "4. TravelGuide 組み立て" as step4
+
+  step1 --> step2 : attraction
+  step1 --> step3 : location.Id
+  step2 --> step4 : artists
+  step3 --> step4 : movies
+}
+
+note bottom
+  async/await で
+  複数の Task を合成
+end note
+
+@enduml
+```
+
+---
+
+## 第12章: テスト戦略
+
+### 12.1 関数型プログラミングのテスト
+
+関数型プログラミングでは、純粋関数のおかげでテストが非常に簡単になります。
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "テストの種類" {
+  rectangle "単体テスト" as unit {
+    card "純粋関数のテスト"
+    card "高速・独立"
+  }
+
+  rectangle "プロパティベーステスト" as property {
+    card "ランダム入力"
+    card "不変条件の検証"
+  }
+
+  rectangle "統合テスト" as integration {
+    card "コンポーネント連携"
+    card "スタブ/モック使用"
+  }
+}
+
+unit --> property : 補完
+property --> integration : 補完
+
+@enduml
+```
+
+### 12.2 テスト用スタブの実装
+
+**ソースファイル**: `app/csharp/tests/Ch11/TravelGuideTests.cs`
+
+テスト可能性を高めるため、テスト用のスタブ実装を用意します。
+
+```csharp
+/// <summary>
+/// テスト用のデータアクセス実装
+/// </summary>
+public static IDataAccess TestDataAccess(
+    Seq<Attraction> testAttractions,
+    Seq<MusicArtist> testArtists,
+    Seq<Movie> testMovies)
+{
+    return new TestDataAccessImpl(testAttractions, testArtists, testMovies);
+}
+
+private class TestDataAccessImpl : IDataAccess
+{
+    private readonly Seq<Attraction> _attractions;
+    private readonly Seq<MusicArtist> _artists;
+    private readonly Seq<Movie> _movies;
+
+    public TestDataAccessImpl(Seq<Attraction> attractions, Seq<MusicArtist> artists, Seq<Movie> movies)
+    {
+        _attractions = attractions;
+        _artists = artists;
+        _movies = movies;
+    }
+
+    public Task<Seq<Attraction>> FindAttractions(string name, AttractionOrdering ordering, int limit)
+    {
+        var filtered = _attractions
+            .Filter(a => a.Name.Contains(name))
+            .Take(limit);
+        return Task.FromResult(filtered);
+    }
+
+    public Task<Seq<MusicArtist>> FindArtistsFromLocation(LocationId locationId, int limit)
+    {
+        return Task.FromResult(_artists.Take(limit));
+    }
+
+    public Task<Seq<Movie>> FindMoviesAboutLocation(LocationId locationId, int limit)
+    {
+        return Task.FromResult(_movies.Take(limit));
+    }
+}
+```
+
+### 12.3 単体テストの実装
+
+```csharp
+public class GetTravelGuideTests
+{
+    [Fact]
+    public async Task GetTravelGuide_ReturnsGuideForValidAttraction()
+    {
+        var testLocation = new Location(
+            LocationId.Create("Q123"),
+            "Test City",
+            100000
+        );
+        var testAttractions = Seq(
+            new Attraction("Test Tower", Some("A tower"), testLocation)
+        );
+        var testArtists = Seq(
+            new MusicArtist("Artist1", None),
+            new MusicArtist("Artist2", Some("Rock"))
+        );
+        var testMovies = Seq(
+            new Movie("Movie1", None)
+        );
+
+        var dataAccess = TestDataAccess(testAttractions, testArtists, testMovies);
+        var result = await GetTravelGuide(dataAccess, "Test");
+
+        Assert.True(result.IsSome);
+        var guide = result.IfNone(() => throw new Exception("Expected Some"));
+        Assert.Equal("Test Tower", guide.Attraction.Name);
+        Assert.Equal(3, guide.Subjects.Count); // 2 artists + 1 movie
+    }
+
+    [Fact]
+    public async Task GetTravelGuide_ReturnsNoneWhenNotFound()
+    {
+        var dataAccess = TestDataAccess(Seq<Attraction>(), Seq<MusicArtist>(), Seq<Movie>());
+        var result = await GetTravelGuide(dataAccess, "NonExistent");
+
+        Assert.True(result.IsNone);
+    }
+}
+```
+
+### 12.4 キャッシュのテスト
+
+```csharp
+public class CachedDataAccessTests
+{
+    [Fact]
+    public async Task CachedDataAccess_CachesData()
+    {
+        var callCount = 0;
+        var testLocation = new Location(
+            LocationId.Create("Q123"),
+            "Test City",
+            100000
+        );
+        var testAttractions = Seq(
+            new Attraction("Test Tower", None, testLocation)
+        );
+
+        var countingDataAccess = new CountingDataAccess(
+            testAttractions,
+            Seq<MusicArtist>(),
+            Seq<Movie>(),
+            () => callCount++
+        );
+
+        var cached = CachedDataAccess(countingDataAccess);
+
+        // First call
+        _ = await cached.FindAttractions("Test", AttractionOrdering.ByName, 10);
+        Assert.Equal(1, callCount);
+
+        // Second call (should be cached)
+        _ = await cached.FindAttractions("Test", AttractionOrdering.ByName, 10);
+        Assert.Equal(1, callCount); // Call count should not increase
+
+        // Different parameters
+        _ = await cached.FindAttractions("Other", AttractionOrdering.ByName, 10);
+        Assert.Equal(2, callCount);
+    }
+}
+```
+
+### 12.5 Resource のテスト
+
+```csharp
+public class ResourceTests
+{
+    [Fact]
+    public async Task Resource_Make_CreatesResource()
+    {
+        var acquired = false;
+        var released = false;
+
+        var resource = Resource.Make(
+            async () =>
+            {
+                acquired = true;
+                return "resource";
+            },
+            async r => { released = true; }
+        );
+
+        var result = await resource.UseAsync(async r => r + "-used");
+
+        Assert.Equal("resource-used", result);
+        Assert.True(acquired);
+        Assert.True(released);
+    }
+
+    [Fact]
+    public async Task Resource_ReleasesEvenOnException()
+    {
+        var released = false;
+
+        var resource = Resource.Make(
+            async () => "resource",
+            async r => { released = true; }
+        );
+
+        try
+        {
+            await resource.UseAsync<string>(async r => throw new Exception("Test error"));
+        }
+        catch
+        {
+            // Expected
+        }
+
+        Assert.True(released);
+    }
+}
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "テスト構成" {
+  rectangle "本番" as prod {
+    interface "IDataAccess" as da1
+    class "RealDataAccess" as rda
+    da1 <|.. rda
+  }
+
+  rectangle "テスト" as test {
+    interface "IDataAccess" as da2
+    class "TestDataAccess" as tda
+    da2 <|.. tda
+  }
+}
+
+note bottom of prod
+  実際の外部 API に接続
+end note
+
+note bottom of test
+  テストデータを返す
+  Task.FromResult で即座に結果を返す
+end note
+
+@enduml
+```
+
+### 12.6 テストピラミッド
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "テストピラミッド" {
+  rectangle "E2E テスト\n(少数)" as e2e
+  rectangle "統合テスト\n(中程度)" as integration
+  rectangle "単体テスト + プロパティテスト\n(多数)" as unit
+}
+
+e2e -[hidden]down- integration
+integration -[hidden]down- unit
+
+note right of unit
+  FP では純粋関数が多いため
+  単体テストが非常に効果的
+end note
+
+@enduml
+```
+
+---
+
+## まとめ
+
+### Part VI で学んだこと
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Part VI: 実践的なアプリケーション" {
+  rectangle "第11章" as ch11 {
+    card "ドメインモデル設計"
+    card "IDataAccess 抽象化"
+    card "Resource 管理"
+    card "キャッシュ実装"
+  }
+
+  rectangle "第12章" as ch12 {
+    card "テスト用スタブ"
+    card "単体テスト"
+    card "統合テスト"
+  }
+}
+
+ch11 --> ch12
+
+@enduml
+```
+
+### キーポイント
+
+1. **抽象化の重要性**: IDataAccess インターフェースで外部依存を抽象化
+2. **Resource でリソース管理**: 安全なリソースの取得と解放
+3. **Ref でキャッシュ**: スレッドセーフな状態管理
+4. **Option でエラー処理**: 明示的なエラーハンドリング
+5. **スタブ**: 外部依存を差し替えてテスト
+6. **record 型**: イミュータブルなドメインモデル
+
+### 学習の総括
+
+```plantuml
+@startuml
+!theme plain
+left to right direction
+
+rectangle "C# FP の学習パス" {
+  card "Part I\n基礎" as p1
+  card "Part II\n関数型スタイル" as p2
+  card "Part III\nエラーハンドリング" as p3
+  card "Part IV\n非同期/ストリーム" as p4
+  card "Part V\n並行処理" as p5
+  card "Part VI\n実践" as p6
+}
+
+p1 --> p2
+p2 --> p3
+p3 --> p4
+p4 --> p5
+p5 --> p6
+
+@enduml
+```
+
+---
+
+## シリーズ全体の総括
+
+本シリーズでは、「Grokking Functional Programming」の内容に沿って、関数型プログラミングの基礎から実践的なアプリケーション構築までを C# と LanguageExt ライブラリで学びました。
+
+### 学んだ主な概念
+
+| Part | 章 | 主な概念 |
+|------|-----|----------|
+| I | 1-2 | 純粋関数、参照透過性 |
+| II | 3-5 | イミュータブルデータ、高階関数、Bind |
+| III | 6-7 | Option、Either/Fin |
+| IV | 8-9 | Task（非同期）、IAsyncEnumerable（ストリーム） |
+| V | 10 | 並行処理、Ref、Agent |
+| VI | 11 | 実践アプリケーション、テスト |
+
+### 関数型プログラミングの利点
+
+1. **予測可能性**: 純粋関数は同じ入力に対して常に同じ出力
+2. **テスト容易性**: 副作用がないためテストが簡単
+3. **合成可能性**: 小さな関数を組み合わせて複雑な処理を構築
+4. **並行安全性**: イミュータブルデータは競合状態を防ぐ
+5. **型安全性**: Option、Either で null や例外を型で表現
+
+### C# + LanguageExt の特徴
+
+C# は .NET プラットフォーム上で動作するマルチパラダイム言語で、LanguageExt ライブラリと組み合わせることで以下の特徴を持ちます:
+
+- **Option<T>**: null 安全なオプション型
+- **Either<L, R>**: 成功/失敗を型で表現
+- **Seq<T>**: イミュータブルなシーケンス
+- **Map<K, V>**: イミュータブルな辞書
+- **パターンマッチング**: switch 式で関数型スタイルの分岐
+- **record 型**: イミュータブルなデータ型
+
+### 次のステップ
+
+- C# の高度な機能（Source Generators、拡張メソッド）を学ぶ
+- ASP.NET Core で FP スタイルの Web API を構築
+- より高度な LanguageExt 機能（Eff, Aff）を探索
+- 実際のプロジェクトで FP を適用する