@k2works/claude-code-booster 6.2.0 → 6.3.0

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

@@ -1,931 +0,0 @@
----
-type: Article
-title: "Part VI: 実践的なアプリケーション構築とテスト"
-description: "本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。"
-tags: [article, grokkingfp, fsharp]
-status: stable
-generated: { by: human:kakimomokuri, at: 2026-03-27T04:43:33Z }
----
-
-# 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: string option
-      Location: Location
-    }
-
-    class TravelGuide {
-      Attraction: Attraction
-      Subjects: string list
-    }
-  }
-
-  rectangle "Data Access" {
-    interface IDataAccess {
-      +FindAttractions(): Async<Attraction list>
-      +FindArtistsFromLocation(): Async<MusicArtist list>
-      +FindMoviesAboutLocation(): Async<Movie list>
-    }
-
-    class TestDataAccess
-    class CachedDataAccess
-  }
-
-  IDataAccess <|.. TestDataAccess
-  IDataAccess <|.. CachedDataAccess
-}
-
-@enduml
-```
-
-### 11.2 ドメインモデルの定義
-
-**ソースファイル**: `app/fsharp/src/Ch11/TravelGuide.fs`
-
-```fsharp
-/// ロケーション ID（値オブジェクト）
-type LocationId = LocationId of string
-
-module LocationId =
-    let value (LocationId id) = id
-    let create id = LocationId id
-
-/// ロケーション
-type Location = {
-    Id: LocationId
-    Name: string
-    Population: int
-}
-
-/// アトラクション（観光地）
-type Attraction = {
-    Name: string
-    Description: string option
-    Location: Location
-}
-
-/// ミュージックアーティスト
-type MusicArtist = {
-    Name: string
-    Genre: string option
-}
-
-/// 映画
-type Movie = {
-    Name: string
-    BoxOffice: int option
-}
-
-/// 旅行ガイド
-type TravelGuide = {
-    Attraction: Attraction
-    Subjects: string list
-}
-```
-
-### 11.3 データアクセス層の抽象化
-
-外部データソースへのアクセスをインターフェースで抽象化します。
-
-```fsharp
-/// データアクセスインターフェース
-type IDataAccess =
-    abstract member FindAttractions:
-        name: string * ordering: AttractionOrdering * limit: int
-        -> Async<Attraction list>
-    abstract member FindArtistsFromLocation:
-        locationId: LocationId * limit: int
-        -> Async<MusicArtist list>
-    abstract member FindMoviesAboutLocation:
-        locationId: LocationId * limit: int
-        -> Async<Movie list>
-```
-
-```plantuml
-@startuml
-!theme plain
-
-interface IDataAccess {
-  +FindAttractions(): Async<Attraction list>
-  +FindArtistsFromLocation(): Async<MusicArtist list>
-  +FindMoviesAboutLocation(): Async<Movie list>
-}
-
-note right of IDataAccess
-  純粋な関数型インターフェース
-  すべての操作は Async でラップ
-end note
-
-class TestDataAccess {
-  -testAttractions: Attraction list
-  +FindAttractions(): Async<Attraction list>
-  +FindArtistsFromLocation(): Async<MusicArtist list>
-  +FindMoviesAboutLocation(): Async<Movie list>
-}
-
-class CachedDataAccess {
-  -cache: Ref<Map<string, 'a>>
-  +FindAttractions(): Async<Attraction list>
-  +FindArtistsFromLocation(): Async<MusicArtist list>
-  +FindMoviesAboutLocation(): Async<Movie list>
-}
-
-IDataAccess <|.. TestDataAccess
-IDataAccess <|.. CachedDataAccess
-
-@enduml
-```
-
-### 11.4 Resource によるリソース管理
-
-F# では `IDisposable` パターンと `use` キーワードでリソースを管理できますが、より関数型的な `Resource` 型を実装することもできます。
-
-```fsharp
-/// リソースを安全に管理するための型
-type Resource<'a> = {
-    Acquire: unit -> Async<'a>
-    Release: 'a -> Async<unit>
-}
-
-module Resource =
-    /// リソースを作成
-    let make (acquire: unit -> Async<'a>) (release: 'a -> Async<unit>) : Resource<'a> =
-        { Acquire = acquire; Release = release }
-
-    /// リソースを使用して操作を実行
-    let useAsync (f: 'a -> Async<'b>) (resource: Resource<'a>) : Async<'b> =
-        async {
-            let! r = resource.Acquire()
-            try
-                return! f r
-            finally
-                resource.Release r |> Async.RunSynchronously
-        }
-```
-
-```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` を使用したスレッドセーフなキャッシュの実装:
-
-```fsharp
-/// キャッシュ付きデータアクセス
-let cachedDataAccess (dataAccess: IDataAccess) : Async<IDataAccess> =
-    async {
-        let attractionCache = Ref.Of(Map.empty<string, Attraction list>)
-        let artistCache = Ref.Of(Map.empty<string, MusicArtist list>)
-        let movieCache = Ref.Of(Map.empty<string, Movie list>)
-
-        return
-            { new IDataAccess with
-                member _.FindAttractions(name, ordering, limit) =
-                    async {
-                        let key = sprintf "%s-%A-%d" name ordering limit
-                        let cached = attractionCache.Get() |> Map.tryFind key
-                        match cached with
-                        | Some attractions -> return attractions
-                        | None ->
-                            let! attractions = dataAccess.FindAttractions(name, ordering, limit)
-                            attractionCache.Update(Map.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 アプリケーションの組み立て
-
-すべてのコンポーネントを組み合わせてアプリケーションを構築します。
-
-```fsharp
-/// 旅行ガイドを生成
-let travelGuide (data: IDataAccess) (attractionName: string) : Async<TravelGuide option> =
-    async {
-        let! attractions = data.FindAttractions(attractionName, ByLocationPopulation, 1)
-        match attractions with
-        | [] -> return None
-        | attraction :: _ ->
-            let! artists = data.FindArtistsFromLocation(attraction.Location.Id, 2)
-            let! movies = data.FindMoviesAboutLocation(attraction.Location.Id, 2)
-            let subjects =
-                (artists |> List.map (fun a -> a.Name))
-                @ (movies |> List.map (fun m -> m.Name))
-            return Some {
-                Attraction = attraction
-                Subjects = subjects
-            }
-    }
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "travelGuide 関数" {
-  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 計算式で
-  複数の Async を合成
-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 SearchReport の導入
-
-**ソースファイル**: `app/fsharp/src/Ch12/TravelGuideWithReport.fs`
-
-テスト可能性を高めるため、`SearchReport` を導入します。
-
-```fsharp
-/// 検索の統計情報とエラー情報
-type SearchReport = {
-    AttractionsSearched: int
-    ArtistsFound: int
-    MoviesFound: int
-    Errors: string list
-}
-
-module SearchReport =
-    let empty = {
-        AttractionsSearched = 0
-        ArtistsFound = 0
-        MoviesFound = 0
-        Errors = []
-    }
-
-    let addError error report =
-        { report with Errors = error :: report.Errors }
-
-/// SearchReport 付きの旅行ガイド
-type TravelGuideWithReport = {
-    Attraction: Attraction
-    Subjects: string list
-    SearchReport: SearchReport
-}
-```
-
-```plantuml
-@startuml
-!theme plain
-
-class TravelGuideWithReport {
-  Attraction: Attraction
-  Subjects: string list
-  SearchReport: SearchReport
-}
-
-class SearchReport {
-  AttractionsSearched: int
-  ArtistsFound: int
-  MoviesFound: int
-  Errors: string list
-}
-
-TravelGuideWithReport --> SearchReport
-
-note right of SearchReport
-  検索の統計情報と
-  エラー情報を保持
-end note
-
-@enduml
-```
-
-### 12.3 エラーハンドリングの改善
-
-```fsharp
-/// Either を使用したデータアクセスインターフェース
-type IDataAccessWithErrors =
-    abstract member FindAttractions:
-        name: string * ordering: AttractionOrdering * limit: int
-        -> Async<Attraction list>
-    abstract member FindArtistsFromLocation:
-        locationId: LocationId * limit: int
-        -> Async<Result<MusicArtist list, string>>
-    abstract member FindMoviesAboutLocation:
-        locationId: LocationId * limit: int
-        -> Async<Result<Movie list, string>>
-```
-
-Result を使用してエラーを明示的に扱います:
-
-```fsharp
-/// エラーハンドリング付き旅行ガイド生成
-let travelGuideWithReport (data: IDataAccessWithErrors) (attractionName: string)
-    : Async<TravelGuideWithReport option> =
-    async {
-        let! attractions = data.FindAttractions(attractionName, ByLocationPopulation, 1)
-        match attractions with
-        | [] -> return None
-        | attraction :: _ ->
-            let! artistsResult = data.FindArtistsFromLocation(attraction.Location.Id, 2)
-            let! moviesResult = data.FindMoviesAboutLocation(attraction.Location.Id, 2)
-
-            let artistError = match artistsResult with Error e -> Some e | Ok _ -> None
-            let movieError = match moviesResult with Error e -> Some e | Ok _ -> None
-            let errors = [artistError; movieError] |> List.choose id
-
-            let artists = artistsResult |> Result.defaultValue []
-            let movies = moviesResult |> Result.defaultValue []
-
-            let subjects =
-                (artists |> List.map (fun a -> a.Name))
-                @ (movies |> List.map (fun m -> m.Name))
-
-            let report = {
-                AttractionsSearched = 1
-                ArtistsFound = List.length artists
-                MoviesFound = List.length movies
-                Errors = errors
-            }
-
-            return Some {
-                Attraction = attraction
-                Subjects = subjects
-                SearchReport = report
-            }
-    }
-```
-
-### 12.4 スタブを使用したテスト
-
-**ソースファイル**: `app/fsharp/tests/Ch12/TravelGuideWithReportTests.fs`
-
-```fsharp
-/// 成功するテスト用データアクセス
-let successfulDataAccess
-    (testAttractions: Attraction list)
-    (testArtists: MusicArtist list)
-    (testMovies: Movie list)
-    : IDataAccessWithErrors =
-    { new IDataAccessWithErrors with
-        member _.FindAttractions(name, _, limit) =
-            async {
-                return
-                    testAttractions
-                    |> List.filter (fun a -> a.Name.Contains(name))
-                    |> List.truncate limit
-            }
-
-        member _.FindArtistsFromLocation(_, limit) =
-            async { return Ok (testArtists |> List.truncate limit) }
-
-        member _.FindMoviesAboutLocation(_, limit) =
-            async { return Ok (testMovies |> List.truncate limit) }
-    }
-
-/// 部分的に失敗するテスト用データアクセス
-let partiallyFailingDataAccess
-    (testAttractions: Attraction list)
-    (artistError: string)
-    (movieError: string)
-    : IDataAccessWithErrors =
-    { new IDataAccessWithErrors with
-        member _.FindAttractions(name, _, limit) =
-            async {
-                return
-                    testAttractions
-                    |> List.filter (fun a -> a.Name.Contains(name))
-                    |> List.truncate limit
-            }
-
-        member _.FindArtistsFromLocation(_, _) =
-            async { return Error artistError }
-
-        member _.FindMoviesAboutLocation(_, _) =
-            async { return Error movieError }
-    }
-```
-
-```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
-  テストデータを返す
-  async { return ... } で即座に結果を返す
-end note
-
-@enduml
-```
-
-### 12.5 プロパティベーステスト用ジェネレーター
-
-ランダムなテストデータを生成するジェネレーターを実装:
-
-```fsharp
-module Generators =
-    open System
-
-    let private random = Random()
-
-    /// ランダムな LocationId を生成
-    let locationId () =
-        LocationId (sprintf "Q%d" (random.Next(1, 10000)))
-
-    /// ランダムな Location を生成
-    let location () = {
-        Id = locationId ()
-        Name = sprintf "City%d" (random.Next(1, 1000))
-        Population = random.Next(1000, 10000000)
-    }
-
-    /// ランダムな Attraction を生成
-    let attraction () = {
-        Name = sprintf "Attraction%d" (random.Next(1, 1000))
-        Description = if random.Next(2) = 0 then Some "Description" else None
-        Location = location ()
-    }
-
-    /// ランダムな Attraction リストを生成
-    let attractions (count: int) =
-        [ for _ in 1..count -> attraction () ]
-```
-
-### 12.6 不変条件のテスト
-
-```fsharp
-module Invariants =
-    /// 結果のサイズは limit 以下
-    let resultSizeIsLimited (results: 'a list) (limit: int) : bool =
-        List.length results <= limit
-
-    /// SearchReport のエラー数は検索数以下
-    let errorsAreBounded (report: SearchReport) : bool =
-        List.length report.Errors <= 2 // artists + movies の最大
-
-/// ユーティリティ関数
-let filterPopularLocations (locations: Location list) (minPopulation: int) : Location list =
-    locations |> List.filter (fun loc -> loc.Population >= minPopulation)
-```
-
-### 12.7 プロパティベーステスト（簡易版）
-
-```fsharp
-[<Fact>]
-let ``filterPopularLocations の結果サイズは入力以下`` () =
-    for _ in 1..10 do
-        let locations = Generators.attractions 10 |> List.map (fun a -> a.Location)
-        let minPop = System.Random().Next(1, 10000000)
-        let result = filterPopularLocations locations minPop
-        Assert.True(List.length result <= List.length locations)
-
-[<Fact>]
-let ``filterPopularLocations の結果はすべて条件を満たす`` () =
-    for _ in 1..10 do
-        let locations = Generators.attractions 10 |> List.map (fun a -> a.Location)
-        let minPop = System.Random().Next(1, 100000)
-        let result = filterPopularLocations locations minPop
-        Assert.True(result |> List.forall (fun loc -> loc.Population >= minPop))
-```
-
-### 12.8 統合テスト
-
-```fsharp
-[<Fact>]
-let ``完全なフローのテスト - 成功ケース`` () =
-    let testLocation = {
-        Id = LocationId "Q123"
-        Name = "Tokyo"
-        Population = 14000000
-    }
-    let testAttractions = [
-        { Name = "Tokyo Tower"; Description = Some "Famous landmark"; Location = testLocation }
-    ]
-    let testArtists = [
-        { Name = "Hikaru Utada"; Genre = Some "Pop" }
-        { Name = "Ayumi Hamasaki"; Genre = Some "Pop" }
-    ]
-    let testMovies = [
-        { Name = "Lost in Translation"; BoxOffice = Some 44000000 }
-    ]
-
-    let dataAccess = successfulDataAccess testAttractions testArtists testMovies
-    let result = travelGuideWithReport dataAccess "Tokyo" |> Async.RunSynchronously
-
-    Assert.True(result.IsSome)
-    let guide = result.Value
-    Assert.Equal("Tokyo Tower", guide.Attraction.Name)
-    Assert.Equal(3, List.length guide.Subjects)
-    Assert.Empty(guide.SearchReport.Errors)
-
-[<Fact>]
-let ``完全なフローのテスト - 部分的失敗ケース`` () =
-    let testLocation = { Id = LocationId "Q123"; Name = "Tokyo"; Population = 14000000 }
-    let testAttractions = [
-        { Name = "Tokyo Tower"; Description = Some "Famous landmark"; Location = testLocation }
-    ]
-
-    let dataAccess = partiallyFailingDataAccess testAttractions "Network error" "Timeout"
-    let result = travelGuideWithReport dataAccess "Tokyo" |> Async.RunSynchronously
-
-    Assert.True(result.IsSome)
-    let guide = result.Value
-    Assert.Equal(2, List.length guide.SearchReport.Errors)
-```
-
-### 12.9 テストピラミッド
-
-```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 "SearchReport"
-    card "スタブ/モック"
-    card "プロパティベーステスト"
-    card "統合テスト"
-  }
-}
-
-ch11 --> ch12
-
-@enduml
-```
-
-### キーポイント
-
-1. **抽象化の重要性**: IDataAccess インターフェースで外部依存を抽象化
-2. **Resource でリソース管理**: 安全なリソースの取得と解放
-3. **Ref でキャッシュ**: スレッドセーフな状態管理
-4. **Result でエラー処理**: 明示的なエラーハンドリング
-5. **SearchReport**: テスト可能性と可観測性の向上
-6. **スタブ**: 外部依存を差し替えてテスト
-7. **プロパティベーステスト**: ランダム入力で不変条件を検証
-
-### 学習の総括
-
-```plantuml
-@startuml
-!theme plain
-left to right direction
-
-rectangle "F# 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
-```
-
----
-
-## 演習問題
-
-### 問題 1: DataAccess の拡張
-
-以下の要件で `IDataAccess` を拡張してください:
-
-
-- 新しいメソッド `FindHotelsNearLocation` を追加
-- 戻り値は `Async<Result<Hotel list, string>>`
-
-<details>
-<summary>解答</summary>
-
-```fsharp
-type Hotel = {
-    Name: string
-    Rating: float
-    Location: Location
-}
-
-type IDataAccessExtended =
-    inherit IDataAccess
-    abstract member FindHotelsNearLocation:
-        locationId: LocationId * limit: int
-        -> Async<Result<Hotel list, string>>
-
-// テスト用スタブ
-let testDataAccessExtended
-    (testAttractions: Attraction list)
-    (testArtists: MusicArtist list)
-    (testMovies: Movie list)
-    (testHotels: Hotel list)
-    : IDataAccessExtended =
-    { new IDataAccessExtended with
-        member _.FindAttractions(name, _, limit) =
-            async { return testAttractions |> List.filter (fun a -> a.Name.Contains(name)) |> List.truncate limit }
-        member _.FindArtistsFromLocation(_, limit) =
-            async { return testArtists |> List.truncate limit }
-        member _.FindMoviesAboutLocation(_, limit) =
-            async { return testMovies |> List.truncate limit }
-        member _.FindHotelsNearLocation(_, limit) =
-            async { return Ok (testHotels |> List.truncate limit) }
-    }
-```
-
-</details>
-
-### 問題 2: プロパティベーステスト
-
-以下の関数に対するプロパティベーステストを書いてください:
-
-```fsharp
-let sortAttractionsByPopulation (attractions: Attraction list) : Attraction list =
-    attractions |> List.sortByDescending (fun a -> a.Location.Population)
-```
-
-<details>
-<summary>解答</summary>
-
-```fsharp
-[<Fact>]
-let ``sortAttractionsByPopulation は降順になる`` () =
-    for _ in 1..10 do
-        let attractions = Generators.attractions 5
-        let result = sortAttractionsByPopulation attractions
-        let populations = result |> List.map (fun a -> a.Location.Population)
-        let sorted = populations |> List.sortDescending
-        Assert.Equal<int list>(sorted, populations)
-
-[<Fact>]
-let ``sortAttractionsByPopulation は要素数を変えない`` () =
-    for _ in 1..10 do
-        let attractions = Generators.attractions 5
-        let result = sortAttractionsByPopulation attractions
-        Assert.Equal(List.length attractions, List.length result)
-
-[<Fact>]
-let ``sortAttractionsByPopulation は全要素を保持する`` () =
-    for _ in 1..10 do
-        let attractions = Generators.attractions 3
-        let result = sortAttractionsByPopulation attractions
-        let inputNames = attractions |> List.map (fun a -> a.Name) |> Set.ofList
-        let outputNames = result |> List.map (fun a -> a.Name) |> Set.ofList
-        Assert.Equal<Set<string>>(inputNames, outputNames)
-```
-
-</details>
-
-### 問題 3: Resource の実装
-
-ファイルを安全に読み取る `Resource` を実装してください。
-
-<details>
-<summary>解答</summary>
-
-```fsharp
-open System.IO
-
-let fileResource (path: string) : Resource<StreamReader> =
-    Resource.make
-        (fun () -> async { return new StreamReader(path) })
-        (fun reader -> async { reader.Dispose() })
-
-let readAllLines (path: string) : Async<string list> =
-    fileResource path
-    |> Resource.useAsync (fun reader ->
-        async {
-            let lines = ResizeArray<string>()
-            let mutable line = reader.ReadLine()
-            while line <> null do
-                lines.Add(line)
-                line <- reader.ReadLine()
-            return lines |> Seq.toList
-        })
-
-// 使用例
-let program : Async<unit> =
-    async {
-        let! lines = readAllLines "data.txt"
-        printfn "Read %d lines" (List.length lines)
-    }
-```
-
-</details>
-
----
-
-## シリーズ全体の総括
-
-本シリーズでは、「Grokking Functional Programming」の内容に沿って、関数型プログラミングの基礎から実践的なアプリケーション構築までを F# で学びました。
-
-### 学んだ主な概念
-
-| Part | 章 | 主な概念 |
-|------|-----|----------|
-| I | 1-2 | 純粋関数、参照透過性 |
-| II | 3-5 | イミュータブルデータ、高階関数、flatMap |
-| III | 6-7 | Option、Result、判別共用体 |
-| IV | 8-9 | Async、Seq（ストリーム） |
-| V | 10 | 並行処理、Ref、MailboxProcessor |
-| VI | 11-12 | 実践アプリケーション、テスト |
-
-### 関数型プログラミングの利点
-
-1. **予測可能性**: 純粋関数は同じ入力に対して常に同じ出力
-2. **テスト容易性**: 副作用がないためテストが簡単
-3. **合成可能性**: 小さな関数を組み合わせて複雑な処理を構築
-4. **並行安全性**: イミュータブルデータは競合状態を防ぐ
-5. **型安全性**: Option、Result で null や例外を型で表現
-
-### F# の特徴
-
-F# は .NET プラットフォーム上で動作する関数型優先言語で、以下の特徴があります:
-
-- **型推論**: 明示的な型注釈なしでも型安全
-- **パイプライン演算子**: `|>` でデータの流れを直感的に表現
-- **パターンマッチング**: 強力なパターンマッチングで分岐処理
-- **計算式**: `async { }` などで非同期処理を宣言的に記述
-- **相互運用性**: C# や .NET ライブラリとシームレスに連携
-
-### 次のステップ
-
-- F# の高度な機能（型プロバイダー、アクティブパターン）を学ぶ
-- Elmish/Bolero などの F# Web フレームワークを探索
-- Fable で F# を JavaScript にコンパイル
-- 実際のプロジェクトで FP を適用する
-