@k2works/claude-code-booster 6.1.0 → 6.3.0

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

@@ -1,748 +0,0 @@
----
-type: Article
-title: "Part VI: 実践的なアプリケーション構築とテスト"
-description: "本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。"
-tags: [article, grokkingfp, csharp]
-status: stable
-generated: { by: human:kakimomokuri, at: 2026-03-24T05:22:28Z }
----
-
-# 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 を適用する