npm - @k2works/claude-code-booster - Versions diffs - 4.5.0 → 4.6.0 - Mend

@k2works/claude-code-booster 4.5.0 → 4.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (743) hide show

package/lib/assets/docs/article/grokkingfp/typescript/part-6.md CHANGED Viewed

@@ -1,982 +1,982 @@
-# Part VI: 実践的なアプリケーション構築とテスト
-本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。また、関数型プログラミングにおけるテスト戦略についても学びます。
----
-## 第11章: 実践的なアプリケーション構築
-### 11.1 TravelGuide アプリケーション
-旅行ガイドアプリケーションを例に、実践的な FP アプリケーションの構築方法を学びます。
-```plantuml
-@startuml
-!theme plain
-package "TravelGuide Application" {
-  rectangle "Model" {
-    class Location {
-      id: LocationId
-      name: string
-      population: number
-    }
-    class Attraction {
-      name: string
-      description: Option<string>
-      location: Location
-    }
-    class TravelGuide {
-      attraction: Attraction
-      subjects: readonly string[]
-      searchReport: SearchReport
-    }
-  }
-  rectangle "Data Access" {
-    interface DataAccess {
-      +findAttractions(): Task<Attraction[]>
-      +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
-      +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
-    }
-    class TestDataAccess
-    class CachedDataAccess
-  }
-  DataAccess <|.. TestDataAccess
-  DataAccess <|.. CachedDataAccess
-}
-@enduml
-```
-### 11.2 ドメインモデルの定義
-**ソースファイル**: `app/typescript/src/ch11_application.ts`
-#### ブランド型による型安全性
-```typescript
-// LocationId - ブランド型で型安全な識別子
-type LocationId = string & { readonly _brand: unique symbol }
-const LocationId = {
-  of: (value: string): LocationId => value as LocationId,
-  value: (id: LocationId): string => id,
-}
-```
-```typescript
-// ロケーション
-interface Location {
-  readonly id: LocationId
-  readonly name: string
-  readonly population: number
-}
-// アトラクション（観光地）
-interface Attraction {
-  readonly name: string
-  readonly description: Option<string>
-  readonly location: Location
-}
-// 旅行ガイド
-interface TravelGuide {
-  readonly attraction: Attraction
-  readonly subjects: readonly string[]
-  readonly searchReport: SearchReport
-}
-```
-```typescript
-import { createLocation, createAttraction, LocationId } from './ch11_application'
-import * as O from 'fp-ts/Option'
-// ロケーションの作成
-const paris = createLocation('Q90', 'Paris', 2161000)
-// アトラクションの作成
-const eiffelTower = createAttraction(
-  'Eiffel Tower',
-  O.some('Iconic iron lattice tower on the Champ de Mars'),
-  paris
-)
-```
-### 11.3 SearchReport - 可観測性のための構造
-テスト可能性と可観測性を高めるため、`SearchReport` を導入します。
-```typescript
-interface SearchReport {
-  readonly attractionsSearched: number
-  readonly artistsFound: number
-  readonly moviesFound: number
-  readonly errors: readonly string[]
-}
-```
-```plantuml
-@startuml
-!theme plain
-class TravelGuide {
-  attraction: Attraction
-  subjects: readonly string[]
-  searchReport: SearchReport
-}
-class SearchReport {
-  attractionsSearched: number
-  artistsFound: number
-  moviesFound: number
-  errors: readonly string[]
-}
-TravelGuide --> SearchReport
-note right of SearchReport
-  検索の統計情報と
-  エラー情報を保持
-end note
-@enduml
-```
-```typescript
-import { createSearchReport, combineSearchReports, emptySearchReport } from './ch11_application'
-// 空のレポート
-const empty = emptySearchReport
-// { attractionsSearched: 0, artistsFound: 0, moviesFound: 0, errors: [] }
-// レポートの作成
-const report1 = createSearchReport(3, 2, 1, ['Error A'])
-const report2 = createSearchReport(2, 1, 1, ['Error B'])
-// レポートの合成
-const combined = combineSearchReports(report1, report2)
-// { attractionsSearched: 5, artistsFound: 3, moviesFound: 2, errors: ['Error A', 'Error B'] }
-```
-### 11.4 DataAccess インターフェース
-外部データソースへのアクセスをインターフェースで抽象化します。
-```typescript
-interface DataAccess {
-  readonly findAttractions: (
-    name: string,
-    ordering: AttractionOrdering,
-    limit: number
-  ) => Task<readonly Attraction[]>
-  readonly findArtistsFromLocation: (
-    locationId: LocationId,
-    limit: number
-  ) => Task<Either<string, readonly MusicArtist[]>>
-  readonly findMoviesAboutLocation: (
-    locationId: LocationId,
-    limit: number
-  ) => Task<Either<string, readonly Movie[]>>
-  readonly findHotelsNearLocation: (
-    locationId: LocationId,
-    limit: number
-  ) => Task<Either<string, readonly Hotel[]>>
-}
-```
-```plantuml
-@startuml
-!theme plain
-interface DataAccess {
-  +findAttractions(): Task<Attraction[]>
-  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
-  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
-}
-note right of DataAccess
-  純粋な関数型インターフェース
-  すべての操作は Task でラップ
-end note
-class TestDataAccess {
-  -testData: TestDataConfig
-  +findAttractions(): Task<Attraction[]>
-  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
-  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
-}
-class CachedDataAccess {
-  -cache: CacheRef
-  +findAttractions(): Task<Attraction[]>
-  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
-  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
-}
-DataAccess <|.. TestDataAccess
-DataAccess <|.. CachedDataAccess
-@enduml
-```
-### 11.5 Resource パターン
-リソースの安全な取得と解放を保証する Resource パターン:
-```typescript
-interface Resource<A> {
-  readonly use: <B>(f: (a: A) => Task<B>) => Task<B>
-}
-const makeResource = <A>(
-  acquire: Task<A>,
-  release: (a: A) => Task<void>
-): Resource<A>
-```
-```typescript
-import { makeResource, bracket } from './ch11_application'
-// ファイルリソースの例
-const fileResource = makeResource(
-  () => Promise.resolve({ content: 'file data' }),
-  (file) => () => {
-    console.log('File released')
-    return Promise.resolve()
-  }
-)
-// use 内で例外が発生しても release は必ず呼ばれる
-const result = await fileResource.use((file) => () =>
-  Promise.resolve(file.content.toUpperCase())
-)()
-// bracket パターン
-const bracketResult = await bracket(
-  () => Promise.resolve('resource'),
-  (r) => () => Promise.resolve(r + '-used'),
-  () => () => Promise.resolve()
-)()
-```
-```plantuml
-@startuml
-!theme plain
-participant "Application" as app
-participant "Resource" as res
-participant "External" as ext
-app -> res: makeResource(acquire)(release)
-res -> ext: acquire: Task<A>
-ext --> res: resource
-res --> app: Resource<A>
-app -> res: use(f)
-res -> app: f(resource)
-app --> res: result
-res -> ext: release(resource)
-ext --> res: ()
-res --> app: result
-note over res
-  Resource は例外が発生しても
-  必ず release を実行する
-end note
-@enduml
-```
-### 11.6 CacheRef - Ref を使ったキャッシュ
-`CacheRef` は Ref を使用したスレッドセーフなキャッシュの実装です:
-```typescript
-interface CacheRef<K, V> {
-  readonly get: (key: K) => Task<Option<V>>
-  readonly set: (key: K, value: V) => Task<void>
-  readonly getOrCompute: (key: K, compute: Task<V>) => Task<V>
-  readonly clear: () => Task<void>
-  readonly size: () => Task<number>
-}
-```
-```typescript
-import { createCacheRef } from './ch11_application'
-// キャッシュの作成
-const cache = createCacheRef<string, number>()
-// 値の設定と取得
-await cache.set('key1', 100)()
-const value = await cache.get('key1')()  // some(100)
-// getOrCompute: キャッシュにあれば返し、なければ計算してキャッシュ
-const computed = await cache.getOrCompute(
-  'key2',
-  async () => {
-    console.log('Computing...')
-    return 42
-  }
-)()
-// 2回目の呼び出しでは 'Computing...' は出力されない
-const cached = await cache.getOrCompute('key2', async () => 999)()
-// cached === 42 (キャッシュから取得)
-```
-#### cachedDataAccess - DataAccess のキャッシュ化
-```typescript
-import { cachedDataAccess, createTestDataAccess } from './ch11_application'
-const dataAccess = createTestDataAccess({ attractions: [...] })
-// キャッシュ付き DataAccess を作成
-const cached = await cachedDataAccess(dataAccess)()
-// 同じクエリは1回だけ実行される
-await cached.findAttractions('Eiffel', ByLocationPopulation, 1)()
-await cached.findAttractions('Eiffel', ByLocationPopulation, 1)()  // キャッシュから
-```
-```plantuml
-@startuml
-!theme plain
-skinparam activity {
-  BackgroundColor White
-  BorderColor Black
-}
-start
-:キャッシュキー生成;
-:cache.getOrCompute でキャッシュ確認;
-if (キャッシュにデータあり?) then (yes)
-  :キャッシュからデータ返却;
-else (no)
-  :外部 API を呼び出し;
-  :結果をキャッシュに保存;
-  :結果を返却;
-endif
-stop
-note right
-  CacheRef を使用した
-  スレッドセーフなキャッシュ
-end note
-@enduml
-```
-### 11.7 アプリケーションの組み立て
-すべてのコンポーネントを組み合わせてアプリケーションを構築します。
-```typescript
-import { travelGuide, travelGuides, sampleDataAccess } from './ch11_application'
-import * as O from 'fp-ts/Option'
-// 単一のガイドを取得
-const guide = await travelGuide(sampleDataAccess, 'Eiffel')()
-if (O.isSome(guide)) {
-  console.log(guide.value.attraction.name)  // 'Eiffel Tower'
-  console.log(guide.value.subjects)          // ['Édith Piaf', 'Midnight in Paris', ...]
-  console.log(guide.value.searchReport)      // { attractionsSearched: 1, ... }
-}
-// 複数のガイドを取得
-const guides = await travelGuides(sampleDataAccess, '', 3)()
-console.log(guides.length)  // 3
-```
-```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
-  並列でアーティストと映画を検索
-  エラーは SearchReport に記録
-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/typescript/src/ch11_application.ts`
-```typescript
-import { createTestDataAccess, travelGuide, sampleAttraction1, sampleArtist1, sampleMovie1 } from './ch11_application'
-import * as O from 'fp-ts/Option'
-// テスト用のスタブ実装
-const testDataAccess = createTestDataAccess({
-  attractions: [sampleAttraction1],
-  artists: [sampleArtist1],
-  movies: [sampleMovie1],
-})
-// テスト実行
-const result = await travelGuide(testDataAccess, 'Eiffel')()
-expect(O.isSome(result)).toBe(true)
-if (O.isSome(result)) {
-  expect(result.value.attraction.name).toBe('Eiffel Tower')
-  expect(result.value.subjects.length).toBe(2)
-  expect(result.value.searchReport.errors.length).toBe(0)
-}
-```
-#### エラーケースのテスト
-```typescript
-// エラーを返すスタブ
-const failingDataAccess = createTestDataAccess({
-  attractions: [sampleAttraction1],
-  artistsError: 'Network error',
-  moviesError: 'Timeout',
-})
-const result = await travelGuide(failingDataAccess, 'Eiffel')()
-expect(O.isSome(result)).toBe(true)
-if (O.isSome(result)) {
-  expect(result.value.searchReport.errors.length).toBe(2)
-  expect(result.value.subjects.length).toBe(0)  // エラーでもクラッシュしない
-}
-```
-```plantuml
-@startuml
-!theme plain
-rectangle "テスト構成" {
-  rectangle "本番" as prod {
-    interface "DataAccess" as da1
-    class "WikidataDataAccess" as wda
-    da1 <|.. wda
-  }
-  rectangle "テスト" as test {
-    interface "DataAccess" as da2
-    class "TestDataAccess" as tda
-    da2 <|.. tda
-  }
-}
-note bottom of prod
-  実際の API に接続
-end note
-note bottom of test
-  テストデータを返す
-  エラーケースも設定可能
-end note
-@enduml
-```
-### 12.3 プロパティベーステスト
-プロパティベーステストでは、ランダムな入力で不変条件を検証します。
-```typescript
-import { Gen, forAll, forAll2, filterPopularLocations } from './ch11_application'
-// ジェネレータの使用
-const locationGen = Gen.location()
-const location = locationGen()  // ランダムな Location を生成
-// プロパティテスト: 結果のサイズは入力以下
-const property1 = forAll2(
-  Gen.list(Gen.location(), 20),
-  Gen.posInt(10000000),
-  (locations, minPop) =>
-    filterPopularLocations(locations, minPop).length <= locations.length
-)
-expect(property1).toBe(true)
-// プロパティテスト: 結果はすべて条件を満たす
-const property2 = forAll2(
-  Gen.list(Gen.location(), 20),
-  Gen.posInt(10000000),
-  (locations, minPop) =>
-    filterPopularLocations(locations, minPop).every(
-      l => l.population >= minPop
-    )
-)
-expect(property2).toBe(true)
-```
-```plantuml
-@startuml
-!theme plain
-rectangle "プロパティベーステスト" {
-  card "Gen<A>" as gen
-  card "ランダムデータ生成" as random
-  card "プロパティ検証" as verify
-  card "100回以上テスト" as repeat
-  gen --> random
-  random --> verify
-  verify --> repeat
-  repeat --> random : 繰り返し
-}
-note bottom
-  ランダムな入力で
-  不変条件を検証
-end note
-@enduml
-```
-#### 提供されているジェネレータ
-| ジェネレータ | 説明 | 例 |
-|--------------|------|-----|
-| `Gen.int(min, max)` | 範囲内の整数 | `Gen.int(1, 10)` |
-| `Gen.posInt(max)` | 正の整数 | `Gen.posInt(1000)` |
-| `Gen.alphaNumStr(maxLen)` | 英数字文字列 | `Gen.alphaNumStr(10)` |
-| `Gen.option(gen)` | Option でラップ | `Gen.option(Gen.int(1, 10))` |
-| `Gen.list(gen, maxSize)` | 配列を生成 | `Gen.list(Gen.int(1, 10), 5)` |
-| `Gen.location()` | Location を生成 | `Gen.location()` |
-| `Gen.attraction()` | Attraction を生成 | `Gen.attraction()` |
-### 12.4 バリデーション
-関数型プログラミングでは、バリデーションも Either を使って表現します。
-```typescript
-import { validateAttractionName, validateLimit, validatePopulation, validateRating } from './ch11_application'
-import * as E from 'fp-ts/Either'
-// 成功ケース
-expect(validateAttractionName('Eiffel Tower')).toEqual(E.right('Eiffel Tower'))
-expect(validateLimit(10)).toEqual(E.right(10))
-expect(validatePopulation(1000000)).toEqual(E.right(1000000))
-expect(validateRating(4.5)).toEqual(E.right(4.5))
-// 失敗ケース
-expect(E.isLeft(validateAttractionName(''))).toBe(true)
-expect(E.isLeft(validateLimit(0))).toBe(true)
-expect(E.isLeft(validatePopulation(-1))).toBe(true)
-expect(E.isLeft(validateRating(6))).toBe(true)
-```
-### 12.5 Location フィルタリング
-純粋関数で Location をフィルタリング・ソート:
-```typescript
-import {
-  filterPopularLocations,
-  sortLocationsByPopulation,
-  topPopularLocations,
-  sampleLocation1,
-  sampleLocation2,
-  sampleLocation3,
-} from './ch11_application'
-const locations = [sampleLocation1, sampleLocation2, sampleLocation3]
-// 人口でフィルタリング
-const popular = filterPopularLocations(locations, 5000000)
-// London, New York City (Paris は人口が少ないため除外)
-// 人口でソート
-const sorted = sortLocationsByPopulation(locations)
-// [London, New York City, Paris]
-// トップ N を取得
-const top2 = topPopularLocations(locations, 2)
-// [London, New York City]
-```
-### 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 "DataAccess 抽象化"
-    card "Resource 管理"
-    card "キャッシュ実装"
-  }
-  rectangle "第12章" as ch12 {
-    card "SearchReport"
-    card "スタブ/モック"
-    card "プロパティベーステスト"
-    card "バリデーション"
-  }
-}
-ch11 --> ch12
-@enduml
-```
-### 主要コンポーネント
-| コンポーネント | 用途 |
-|----------------|------|
-| `LocationId` | ブランド型による型安全な識別子 |
-| `DataAccess` | 外部データソースへの抽象化インターフェース |
-| `Resource<A>` | リソースの安全な取得と解放 |
-| `CacheRef<K, V>` | スレッドセーフなキャッシュ |
-| `SearchReport` | 検索統計とエラー追跡 |
-| `Gen` | プロパティベーステスト用ジェネレータ |
-### キーポイント
-1. **抽象化の重要性**: DataAccess インターフェースで外部依存を抽象化
-2. **Resource でリソース管理**: 安全なリソースの取得と解放
-3. **CacheRef でキャッシュ**: スレッドセーフな状態管理
-4. **Either でエラー処理**: 明示的なエラーハンドリング
-5. **SearchReport**: テスト可能性と可観測性の向上
-6. **スタブ**: 外部依存を差し替えてテスト
-7. **プロパティベーステスト**: ランダム入力で不変条件を検証
-### 学習の総括
-```plantuml
-@startuml
-!theme plain
-left to right direction
-rectangle "FP の学習パス" {
-  card "Part I\n基礎" as p1
-  card "Part II\nイミュータブル操作" as p2
-  card "Part III\n型による安全性" as p3
-  card "Part IV\nIO/Stream" 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 の拡張
-以下の要件で `DataAccess` を拡張してください:
-- 新しいメソッド `findRestaurantsNearLocation` を追加
-- 戻り値は `Task<Either<string, readonly Restaurant[]>>`
-<details>
-<summary>解答</summary>
-```typescript
-interface Restaurant {
-  readonly name: string
-  readonly cuisine: string
-  readonly rating: number
-}
-interface ExtendedDataAccess extends DataAccess {
-  readonly findRestaurantsNearLocation: (
-    locationId: LocationId,
-    limit: number
-  ) => Task<Either<string, readonly Restaurant[]>>
-}
-// テスト用スタブ
-const createExtendedTestDataAccess = (
-  config: TestDataConfig & { restaurants?: readonly Restaurant[] }
-): ExtendedDataAccess => {
-  const base = createTestDataAccess(config)
-  return {
-    ...base,
-    findRestaurantsNearLocation: (_locationId, limit) => async () =>
-      E.right((config.restaurants ?? []).slice(0, limit)),
-  }
-}
-```
-</details>
-### 問題 2: プロパティベーステスト
-以下の関数に対するプロパティベーステストを書いてください:
-```typescript
-const sortByRating = (hotels: readonly Hotel[]): readonly Hotel[] =>
-  [...hotels].sort((a, b) => b.rating - a.rating)
-```
-<details>
-<summary>解答</summary>
-```typescript
-import { Gen, forAll } from './ch11_application'
-const hotelGen: Generator<Hotel> = () => ({
-  name: Gen.alphaNumStr(20)(),
-  rating: Math.random() * 5,
-  location: Gen.location()(),
-})
-// プロパティ1: 結果のサイズは入力と同じ
-const property1 = forAll(Gen.list(hotelGen, 20), (hotels) =>
-  sortByRating(hotels).length === hotels.length
-)
-// プロパティ2: 結果は降順にソートされている
-const property2 = forAll(Gen.list(hotelGen, 20), (hotels) => {
-  const sorted = sortByRating(hotels)
-  for (let i = 0; i < sorted.length - 1; i++) {
-    if (sorted[i].rating < sorted[i + 1].rating) return false
-  }
-  return true
-})
-// プロパティ3: 入力の要素がすべて結果に含まれる
-const property3 = forAll(Gen.list(hotelGen, 20), (hotels) => {
-  const sorted = sortByRating(hotels)
-  return hotels.every((h) =>
-    sorted.some((s) => s.name === h.name && s.rating === h.rating)
-  )
-})
-```
-</details>
-### 問題 3: Resource の実装
-HTTP クライアントを安全に管理する `Resource` を実装してください。
-<details>
-<summary>解答</summary>
-```typescript
-interface HttpClient {
-  readonly get: (url: string) => Promise<string>
-  readonly close: () => Promise<void>
-}
-const createHttpClient = (): Promise<HttpClient> =>
-  Promise.resolve({
-    get: async (url: string) => `Response from ${url}`,
-    close: async () => console.log('Client closed'),
-  })
-const httpClientResource: Resource<HttpClient> = makeResource(
-  () => createHttpClient(),
-  (client) => () => client.close()
-)
-// 使用例
-const fetchData = async (url: string): Promise<string> => {
-  return httpClientResource.use((client) => () => client.get(url))()
-}
-// テスト
-const result = await fetchData('https://api.example.com/data')
-// 結果取得後、client.close() が自動的に呼ばれる
-```
-</details>
-### 問題 4: 複合バリデーション
-複数のバリデーションを組み合わせて、Attraction を検証する関数を実装してください。
-<details>
-<summary>解答</summary>
-```typescript
-import * as E from 'fp-ts/Either'
-import { pipe } from 'fp-ts/function'
-import * as A from 'fp-ts/Apply'
-interface AttractionInput {
-  readonly name: string
-  readonly locationName: string
-  readonly population: number
-}
-const validateAttractionInput = (
-  input: AttractionInput
-): E.Either<readonly string[], Attraction> =>
-  pipe(
-    E.Do,
-    E.bind('name', () =>
-      pipe(
-        validateAttractionName(input.name),
-        E.mapLeft((e) => [e])
-      )
-    ),
-    E.bind('location', () =>
-      pipe(
-        validatePopulation(input.population),
-        E.map((pop) =>
-          createLocation(
-            LocationId.of(`Q${Math.random()}`),
-            input.locationName,
-            pop
-          )
-        ),
-        E.mapLeft((e) => [e])
-      )
-    ),
-    E.map(({ name, location }) =>
-      createAttraction(name, O.none, location)
-    )
-  )
-// 使用例
-const validInput: AttractionInput = {
-  name: 'Eiffel Tower',
-  locationName: 'Paris',
-  population: 2161000,
-}
-const result = validateAttractionInput(validInput)
-// => Right(Attraction)
-const invalidInput: AttractionInput = {
-  name: '',
-  locationName: 'Paris',
-  population: -1,
-}
-const errorResult = validateAttractionInput(invalidInput)
-// => Left(['Attraction name cannot be empty'])
-```
-</details>
----
-## シリーズ全体の総括
-本シリーズでは、「Grokking Functional Programming」の内容に沿って、関数型プログラミングの基礎から実践的なアプリケーション構築までを学びました。
-### 学んだ主な概念
-| Part | 章 | 主な概念 |
-|------|-----|----------|
-| I | 1-2 | 純粋関数、参照透過性 |
-| II | 3-5 | イミュータブルデータ、高階関数、flatMap |
-| III | 6-7 | Option、Either、ADT |
-| IV | 8-9 | IO モナド、Stream |
-| V | 10 | 並行処理、Ref、Fiber |
-| VI | 11-12 | 実践アプリケーション、テスト |
-### 関数型プログラミングの利点
-1. **予測可能性**: 純粋関数は同じ入力に対して常に同じ出力
-2. **テスト容易性**: 副作用がないためテストが簡単
-3. **合成可能性**: 小さな関数を組み合わせて複雑な処理を構築
-4. **並行安全性**: イミュータブルデータは競合状態を防ぐ
-5. **型安全性**: Option、Either で null や例外を型で表現
-### 次のステップ
-- Effect などの FP ライブラリを探索
-- 実際のプロジェクトで FP を適用する
-- 型レベルプログラミングを学ぶ
+# Part VI: 実践的なアプリケーション構築とテスト
+本章では、これまで学んだ関数型プログラミングの概念を統合し、実践的なアプリケーションを構築します。また、関数型プログラミングにおけるテスト戦略についても学びます。
+---
+## 第11章: 実践的なアプリケーション構築
+### 11.1 TravelGuide アプリケーション
+旅行ガイドアプリケーションを例に、実践的な FP アプリケーションの構築方法を学びます。
+```plantuml
+@startuml
+!theme plain
+package "TravelGuide Application" {
+  rectangle "Model" {
+    class Location {
+      id: LocationId
+      name: string
+      population: number
+    }
+    class Attraction {
+      name: string
+      description: Option<string>
+      location: Location
+    }
+    class TravelGuide {
+      attraction: Attraction
+      subjects: readonly string[]
+      searchReport: SearchReport
+    }
+  }
+  rectangle "Data Access" {
+    interface DataAccess {
+      +findAttractions(): Task<Attraction[]>
+      +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
+      +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
+    }
+    class TestDataAccess
+    class CachedDataAccess
+  }
+  DataAccess <|.. TestDataAccess
+  DataAccess <|.. CachedDataAccess
+}
+@enduml
+```
+### 11.2 ドメインモデルの定義
+**ソースファイル**: `app/typescript/src/ch11_application.ts`
+#### ブランド型による型安全性
+```typescript
+// LocationId - ブランド型で型安全な識別子
+type LocationId = string & { readonly _brand: unique symbol }
+const LocationId = {
+  of: (value: string): LocationId => value as LocationId,
+  value: (id: LocationId): string => id,
+}
+```
+```typescript
+// ロケーション
+interface Location {
+  readonly id: LocationId
+  readonly name: string
+  readonly population: number
+}
+// アトラクション（観光地）
+interface Attraction {
+  readonly name: string
+  readonly description: Option<string>
+  readonly location: Location
+}
+// 旅行ガイド
+interface TravelGuide {
+  readonly attraction: Attraction
+  readonly subjects: readonly string[]
+  readonly searchReport: SearchReport
+}
+```
+```typescript
+import { createLocation, createAttraction, LocationId } from './ch11_application'
+import * as O from 'fp-ts/Option'
+// ロケーションの作成
+const paris = createLocation('Q90', 'Paris', 2161000)
+// アトラクションの作成
+const eiffelTower = createAttraction(
+  'Eiffel Tower',
+  O.some('Iconic iron lattice tower on the Champ de Mars'),
+  paris
+)
+```
+### 11.3 SearchReport - 可観測性のための構造
+テスト可能性と可観測性を高めるため、`SearchReport` を導入します。
+```typescript
+interface SearchReport {
+  readonly attractionsSearched: number
+  readonly artistsFound: number
+  readonly moviesFound: number
+  readonly errors: readonly string[]
+}
+```
+```plantuml
+@startuml
+!theme plain
+class TravelGuide {
+  attraction: Attraction
+  subjects: readonly string[]
+  searchReport: SearchReport
+}
+class SearchReport {
+  attractionsSearched: number
+  artistsFound: number
+  moviesFound: number
+  errors: readonly string[]
+}
+TravelGuide --> SearchReport
+note right of SearchReport
+  検索の統計情報と
+  エラー情報を保持
+end note
+@enduml
+```
+```typescript
+import { createSearchReport, combineSearchReports, emptySearchReport } from './ch11_application'
+// 空のレポート
+const empty = emptySearchReport
+// { attractionsSearched: 0, artistsFound: 0, moviesFound: 0, errors: [] }
+// レポートの作成
+const report1 = createSearchReport(3, 2, 1, ['Error A'])
+const report2 = createSearchReport(2, 1, 1, ['Error B'])
+// レポートの合成
+const combined = combineSearchReports(report1, report2)
+// { attractionsSearched: 5, artistsFound: 3, moviesFound: 2, errors: ['Error A', 'Error B'] }
+```
+### 11.4 DataAccess インターフェース
+外部データソースへのアクセスをインターフェースで抽象化します。
+```typescript
+interface DataAccess {
+  readonly findAttractions: (
+    name: string,
+    ordering: AttractionOrdering,
+    limit: number
+  ) => Task<readonly Attraction[]>
+  readonly findArtistsFromLocation: (
+    locationId: LocationId,
+    limit: number
+  ) => Task<Either<string, readonly MusicArtist[]>>
+  readonly findMoviesAboutLocation: (
+    locationId: LocationId,
+    limit: number
+  ) => Task<Either<string, readonly Movie[]>>
+  readonly findHotelsNearLocation: (
+    locationId: LocationId,
+    limit: number
+  ) => Task<Either<string, readonly Hotel[]>>
+}
+```
+```plantuml
+@startuml
+!theme plain
+interface DataAccess {
+  +findAttractions(): Task<Attraction[]>
+  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
+  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
+}
+note right of DataAccess
+  純粋な関数型インターフェース
+  すべての操作は Task でラップ
+end note
+class TestDataAccess {
+  -testData: TestDataConfig
+  +findAttractions(): Task<Attraction[]>
+  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
+  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
+}
+class CachedDataAccess {
+  -cache: CacheRef
+  +findAttractions(): Task<Attraction[]>
+  +findArtistsFromLocation(): Task<Either<string, MusicArtist[]>>
+  +findMoviesAboutLocation(): Task<Either<string, Movie[]>>
+}
+DataAccess <|.. TestDataAccess
+DataAccess <|.. CachedDataAccess
+@enduml
+```
+### 11.5 Resource パターン
+リソースの安全な取得と解放を保証する Resource パターン:
+```typescript
+interface Resource<A> {
+  readonly use: <B>(f: (a: A) => Task<B>) => Task<B>
+}
+const makeResource = <A>(
+  acquire: Task<A>,
+  release: (a: A) => Task<void>
+): Resource<A>
+```
+```typescript
+import { makeResource, bracket } from './ch11_application'
+// ファイルリソースの例
+const fileResource = makeResource(
+  () => Promise.resolve({ content: 'file data' }),
+  (file) => () => {
+    console.log('File released')
+    return Promise.resolve()
+  }
+)
+// use 内で例外が発生しても release は必ず呼ばれる
+const result = await fileResource.use((file) => () =>
+  Promise.resolve(file.content.toUpperCase())
+)()
+// bracket パターン
+const bracketResult = await bracket(
+  () => Promise.resolve('resource'),
+  (r) => () => Promise.resolve(r + '-used'),
+  () => () => Promise.resolve()
+)()
+```
+```plantuml
+@startuml
+!theme plain
+participant "Application" as app
+participant "Resource" as res
+participant "External" as ext
+app -> res: makeResource(acquire)(release)
+res -> ext: acquire: Task<A>
+ext --> res: resource
+res --> app: Resource<A>
+app -> res: use(f)
+res -> app: f(resource)
+app --> res: result
+res -> ext: release(resource)
+ext --> res: ()
+res --> app: result
+note over res
+  Resource は例外が発生しても
+  必ず release を実行する
+end note
+@enduml
+```
+### 11.6 CacheRef - Ref を使ったキャッシュ
+`CacheRef` は Ref を使用したスレッドセーフなキャッシュの実装です:
+```typescript
+interface CacheRef<K, V> {
+  readonly get: (key: K) => Task<Option<V>>
+  readonly set: (key: K, value: V) => Task<void>
+  readonly getOrCompute: (key: K, compute: Task<V>) => Task<V>
+  readonly clear: () => Task<void>
+  readonly size: () => Task<number>
+}
+```
+```typescript
+import { createCacheRef } from './ch11_application'
+// キャッシュの作成
+const cache = createCacheRef<string, number>()
+// 値の設定と取得
+await cache.set('key1', 100)()
+const value = await cache.get('key1')()  // some(100)
+// getOrCompute: キャッシュにあれば返し、なければ計算してキャッシュ
+const computed = await cache.getOrCompute(
+  'key2',
+  async () => {
+    console.log('Computing...')
+    return 42
+  }
+)()
+// 2回目の呼び出しでは 'Computing...' は出力されない
+const cached = await cache.getOrCompute('key2', async () => 999)()
+// cached === 42 (キャッシュから取得)
+```
+#### cachedDataAccess - DataAccess のキャッシュ化
+```typescript
+import { cachedDataAccess, createTestDataAccess } from './ch11_application'
+const dataAccess = createTestDataAccess({ attractions: [...] })
+// キャッシュ付き DataAccess を作成
+const cached = await cachedDataAccess(dataAccess)()
+// 同じクエリは1回だけ実行される
+await cached.findAttractions('Eiffel', ByLocationPopulation, 1)()
+await cached.findAttractions('Eiffel', ByLocationPopulation, 1)()  // キャッシュから
+```
+```plantuml
+@startuml
+!theme plain
+skinparam activity {
+  BackgroundColor White
+  BorderColor Black
+}
+start
+:キャッシュキー生成;
+:cache.getOrCompute でキャッシュ確認;
+if (キャッシュにデータあり?) then (yes)
+  :キャッシュからデータ返却;
+else (no)
+  :外部 API を呼び出し;
+  :結果をキャッシュに保存;
+  :結果を返却;
+endif
+stop
+note right
+  CacheRef を使用した
+  スレッドセーフなキャッシュ
+end note
+@enduml
+```
+### 11.7 アプリケーションの組み立て
+すべてのコンポーネントを組み合わせてアプリケーションを構築します。
+```typescript
+import { travelGuide, travelGuides, sampleDataAccess } from './ch11_application'
+import * as O from 'fp-ts/Option'
+// 単一のガイドを取得
+const guide = await travelGuide(sampleDataAccess, 'Eiffel')()
+if (O.isSome(guide)) {
+  console.log(guide.value.attraction.name)  // 'Eiffel Tower'
+  console.log(guide.value.subjects)          // ['Édith Piaf', 'Midnight in Paris', ...]
+  console.log(guide.value.searchReport)      // { attractionsSearched: 1, ... }
+}
+// 複数のガイドを取得
+const guides = await travelGuides(sampleDataAccess, '', 3)()
+console.log(guides.length)  // 3
+```
+```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
+  並列でアーティストと映画を検索
+  エラーは SearchReport に記録
+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/typescript/src/ch11_application.ts`
+```typescript
+import { createTestDataAccess, travelGuide, sampleAttraction1, sampleArtist1, sampleMovie1 } from './ch11_application'
+import * as O from 'fp-ts/Option'
+// テスト用のスタブ実装
+const testDataAccess = createTestDataAccess({
+  attractions: [sampleAttraction1],
+  artists: [sampleArtist1],
+  movies: [sampleMovie1],
+})
+// テスト実行
+const result = await travelGuide(testDataAccess, 'Eiffel')()
+expect(O.isSome(result)).toBe(true)
+if (O.isSome(result)) {
+  expect(result.value.attraction.name).toBe('Eiffel Tower')
+  expect(result.value.subjects.length).toBe(2)
+  expect(result.value.searchReport.errors.length).toBe(0)
+}
+```
+#### エラーケースのテスト
+```typescript
+// エラーを返すスタブ
+const failingDataAccess = createTestDataAccess({
+  attractions: [sampleAttraction1],
+  artistsError: 'Network error',
+  moviesError: 'Timeout',
+})
+const result = await travelGuide(failingDataAccess, 'Eiffel')()
+expect(O.isSome(result)).toBe(true)
+if (O.isSome(result)) {
+  expect(result.value.searchReport.errors.length).toBe(2)
+  expect(result.value.subjects.length).toBe(0)  // エラーでもクラッシュしない
+}
+```
+```plantuml
+@startuml
+!theme plain
+rectangle "テスト構成" {
+  rectangle "本番" as prod {
+    interface "DataAccess" as da1
+    class "WikidataDataAccess" as wda
+    da1 <|.. wda
+  }
+  rectangle "テスト" as test {
+    interface "DataAccess" as da2
+    class "TestDataAccess" as tda
+    da2 <|.. tda
+  }
+}
+note bottom of prod
+  実際の API に接続
+end note
+note bottom of test
+  テストデータを返す
+  エラーケースも設定可能
+end note
+@enduml
+```
+### 12.3 プロパティベーステスト
+プロパティベーステストでは、ランダムな入力で不変条件を検証します。
+```typescript
+import { Gen, forAll, forAll2, filterPopularLocations } from './ch11_application'
+// ジェネレータの使用
+const locationGen = Gen.location()
+const location = locationGen()  // ランダムな Location を生成
+// プロパティテスト: 結果のサイズは入力以下
+const property1 = forAll2(
+  Gen.list(Gen.location(), 20),
+  Gen.posInt(10000000),
+  (locations, minPop) =>
+    filterPopularLocations(locations, minPop).length <= locations.length
+)
+expect(property1).toBe(true)
+// プロパティテスト: 結果はすべて条件を満たす
+const property2 = forAll2(
+  Gen.list(Gen.location(), 20),
+  Gen.posInt(10000000),
+  (locations, minPop) =>
+    filterPopularLocations(locations, minPop).every(
+      l => l.population >= minPop
+    )
+)
+expect(property2).toBe(true)
+```
+```plantuml
+@startuml
+!theme plain
+rectangle "プロパティベーステスト" {
+  card "Gen<A>" as gen
+  card "ランダムデータ生成" as random
+  card "プロパティ検証" as verify
+  card "100回以上テスト" as repeat
+  gen --> random
+  random --> verify
+  verify --> repeat
+  repeat --> random : 繰り返し
+}
+note bottom
+  ランダムな入力で
+  不変条件を検証
+end note
+@enduml
+```
+#### 提供されているジェネレータ
+| ジェネレータ | 説明 | 例 |
+|--------------|------|-----|
+| `Gen.int(min, max)` | 範囲内の整数 | `Gen.int(1, 10)` |
+| `Gen.posInt(max)` | 正の整数 | `Gen.posInt(1000)` |
+| `Gen.alphaNumStr(maxLen)` | 英数字文字列 | `Gen.alphaNumStr(10)` |
+| `Gen.option(gen)` | Option でラップ | `Gen.option(Gen.int(1, 10))` |
+| `Gen.list(gen, maxSize)` | 配列を生成 | `Gen.list(Gen.int(1, 10), 5)` |
+| `Gen.location()` | Location を生成 | `Gen.location()` |
+| `Gen.attraction()` | Attraction を生成 | `Gen.attraction()` |
+### 12.4 バリデーション
+関数型プログラミングでは、バリデーションも Either を使って表現します。
+```typescript
+import { validateAttractionName, validateLimit, validatePopulation, validateRating } from './ch11_application'
+import * as E from 'fp-ts/Either'
+// 成功ケース
+expect(validateAttractionName('Eiffel Tower')).toEqual(E.right('Eiffel Tower'))
+expect(validateLimit(10)).toEqual(E.right(10))
+expect(validatePopulation(1000000)).toEqual(E.right(1000000))
+expect(validateRating(4.5)).toEqual(E.right(4.5))
+// 失敗ケース
+expect(E.isLeft(validateAttractionName(''))).toBe(true)
+expect(E.isLeft(validateLimit(0))).toBe(true)
+expect(E.isLeft(validatePopulation(-1))).toBe(true)
+expect(E.isLeft(validateRating(6))).toBe(true)
+```
+### 12.5 Location フィルタリング
+純粋関数で Location をフィルタリング・ソート:
+```typescript
+import {
+  filterPopularLocations,
+  sortLocationsByPopulation,
+  topPopularLocations,
+  sampleLocation1,
+  sampleLocation2,
+  sampleLocation3,
+} from './ch11_application'
+const locations = [sampleLocation1, sampleLocation2, sampleLocation3]
+// 人口でフィルタリング
+const popular = filterPopularLocations(locations, 5000000)
+// London, New York City (Paris は人口が少ないため除外)
+// 人口でソート
+const sorted = sortLocationsByPopulation(locations)
+// [London, New York City, Paris]
+// トップ N を取得
+const top2 = topPopularLocations(locations, 2)
+// [London, New York City]
+```
+### 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 "DataAccess 抽象化"
+    card "Resource 管理"
+    card "キャッシュ実装"
+  }
+  rectangle "第12章" as ch12 {
+    card "SearchReport"
+    card "スタブ/モック"
+    card "プロパティベーステスト"
+    card "バリデーション"
+  }
+}
+ch11 --> ch12
+@enduml
+```
+### 主要コンポーネント
+| コンポーネント | 用途 |
+|----------------|------|
+| `LocationId` | ブランド型による型安全な識別子 |
+| `DataAccess` | 外部データソースへの抽象化インターフェース |
+| `Resource<A>` | リソースの安全な取得と解放 |
+| `CacheRef<K, V>` | スレッドセーフなキャッシュ |
+| `SearchReport` | 検索統計とエラー追跡 |
+| `Gen` | プロパティベーステスト用ジェネレータ |
+### キーポイント
+1. **抽象化の重要性**: DataAccess インターフェースで外部依存を抽象化
+2. **Resource でリソース管理**: 安全なリソースの取得と解放
+3. **CacheRef でキャッシュ**: スレッドセーフな状態管理
+4. **Either でエラー処理**: 明示的なエラーハンドリング
+5. **SearchReport**: テスト可能性と可観測性の向上
+6. **スタブ**: 外部依存を差し替えてテスト
+7. **プロパティベーステスト**: ランダム入力で不変条件を検証
+### 学習の総括
+```plantuml
+@startuml
+!theme plain
+left to right direction
+rectangle "FP の学習パス" {
+  card "Part I\n基礎" as p1
+  card "Part II\nイミュータブル操作" as p2
+  card "Part III\n型による安全性" as p3
+  card "Part IV\nIO/Stream" 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 の拡張
+以下の要件で `DataAccess` を拡張してください:
+- 新しいメソッド `findRestaurantsNearLocation` を追加
+- 戻り値は `Task<Either<string, readonly Restaurant[]>>`
+<details>
+<summary>解答</summary>
+```typescript
+interface Restaurant {
+  readonly name: string
+  readonly cuisine: string
+  readonly rating: number
+}
+interface ExtendedDataAccess extends DataAccess {
+  readonly findRestaurantsNearLocation: (
+    locationId: LocationId,
+    limit: number
+  ) => Task<Either<string, readonly Restaurant[]>>
+}
+// テスト用スタブ
+const createExtendedTestDataAccess = (
+  config: TestDataConfig & { restaurants?: readonly Restaurant[] }
+): ExtendedDataAccess => {
+  const base = createTestDataAccess(config)
+  return {
+    ...base,
+    findRestaurantsNearLocation: (_locationId, limit) => async () =>
+      E.right((config.restaurants ?? []).slice(0, limit)),
+  }
+}
+```
+</details>
+### 問題 2: プロパティベーステスト
+以下の関数に対するプロパティベーステストを書いてください:
+```typescript
+const sortByRating = (hotels: readonly Hotel[]): readonly Hotel[] =>
+  [...hotels].sort((a, b) => b.rating - a.rating)
+```
+<details>
+<summary>解答</summary>
+```typescript
+import { Gen, forAll } from './ch11_application'
+const hotelGen: Generator<Hotel> = () => ({
+  name: Gen.alphaNumStr(20)(),
+  rating: Math.random() * 5,
+  location: Gen.location()(),
+})
+// プロパティ1: 結果のサイズは入力と同じ
+const property1 = forAll(Gen.list(hotelGen, 20), (hotels) =>
+  sortByRating(hotels).length === hotels.length
+)
+// プロパティ2: 結果は降順にソートされている
+const property2 = forAll(Gen.list(hotelGen, 20), (hotels) => {
+  const sorted = sortByRating(hotels)
+  for (let i = 0; i < sorted.length - 1; i++) {
+    if (sorted[i].rating < sorted[i + 1].rating) return false
+  }
+  return true
+})
+// プロパティ3: 入力の要素がすべて結果に含まれる
+const property3 = forAll(Gen.list(hotelGen, 20), (hotels) => {
+  const sorted = sortByRating(hotels)
+  return hotels.every((h) =>
+    sorted.some((s) => s.name === h.name && s.rating === h.rating)
+  )
+})
+```
+</details>
+### 問題 3: Resource の実装
+HTTP クライアントを安全に管理する `Resource` を実装してください。
+<details>
+<summary>解答</summary>
+```typescript
+interface HttpClient {
+  readonly get: (url: string) => Promise<string>
+  readonly close: () => Promise<void>
+}
+const createHttpClient = (): Promise<HttpClient> =>
+  Promise.resolve({
+    get: async (url: string) => `Response from ${url}`,
+    close: async () => console.log('Client closed'),
+  })
+const httpClientResource: Resource<HttpClient> = makeResource(
+  () => createHttpClient(),
+  (client) => () => client.close()
+)
+// 使用例
+const fetchData = async (url: string): Promise<string> => {
+  return httpClientResource.use((client) => () => client.get(url))()
+}
+// テスト
+const result = await fetchData('https://api.example.com/data')
+// 結果取得後、client.close() が自動的に呼ばれる
+```
+</details>
+### 問題 4: 複合バリデーション
+複数のバリデーションを組み合わせて、Attraction を検証する関数を実装してください。
+<details>
+<summary>解答</summary>
+```typescript
+import * as E from 'fp-ts/Either'
+import { pipe } from 'fp-ts/function'
+import * as A from 'fp-ts/Apply'
+interface AttractionInput {
+  readonly name: string
+  readonly locationName: string
+  readonly population: number
+}
+const validateAttractionInput = (
+  input: AttractionInput
+): E.Either<readonly string[], Attraction> =>
+  pipe(
+    E.Do,
+    E.bind('name', () =>
+      pipe(
+        validateAttractionName(input.name),
+        E.mapLeft((e) => [e])
+      )
+    ),
+    E.bind('location', () =>
+      pipe(
+        validatePopulation(input.population),
+        E.map((pop) =>
+          createLocation(
+            LocationId.of(`Q${Math.random()}`),
+            input.locationName,
+            pop
+          )
+        ),
+        E.mapLeft((e) => [e])
+      )
+    ),
+    E.map(({ name, location }) =>
+      createAttraction(name, O.none, location)
+    )
+  )
+// 使用例
+const validInput: AttractionInput = {
+  name: 'Eiffel Tower',
+  locationName: 'Paris',
+  population: 2161000,
+}
+const result = validateAttractionInput(validInput)
+// => Right(Attraction)
+const invalidInput: AttractionInput = {
+  name: '',
+  locationName: 'Paris',
+  population: -1,
+}
+const errorResult = validateAttractionInput(invalidInput)
+// => Left(['Attraction name cannot be empty'])
+```
+</details>
+---
+## シリーズ全体の総括
+本シリーズでは、「Grokking Functional Programming」の内容に沿って、関数型プログラミングの基礎から実践的なアプリケーション構築までを学びました。
+### 学んだ主な概念
+| Part | 章 | 主な概念 |
+|------|-----|----------|
+| I | 1-2 | 純粋関数、参照透過性 |
+| II | 3-5 | イミュータブルデータ、高階関数、flatMap |
+| III | 6-7 | Option、Either、ADT |
+| IV | 8-9 | IO モナド、Stream |
+| V | 10 | 並行処理、Ref、Fiber |
+| VI | 11-12 | 実践アプリケーション、テスト |
+### 関数型プログラミングの利点
+1. **予測可能性**: 純粋関数は同じ入力に対して常に同じ出力
+2. **テスト容易性**: 副作用がないためテストが簡単
+3. **合成可能性**: 小さな関数を組み合わせて複雑な処理を構築
+4. **並行安全性**: イミュータブルデータは競合状態を防ぐ
+5. **型安全性**: Option、Either で null や例外を型で表現
+### 次のステップ
+- Effect などの FP ライブラリを探索
+- 実際のプロジェクトで FP を適用する
+- 型レベルプログラミングを学ぶ