@k2works/claude-code-booster 3.6.1 → 3.7.0

package/lib/assets/docs/article/grokkingfp/python/part-3.md

@@ -1,1004 +1,1004 @@
-# Part III: エラーハンドリングと型による安全性
-
-本章では、関数型プログラミングにおけるエラーハンドリングを学びます。例外を使わず、型を使って安全にエラーを扱う方法を習得します。Python では `returns` ライブラリの `Maybe` と `Result` 型を使用します。
-
----
-
-## 第6章: Maybe 型による安全なエラーハンドリング
-
-### 6.1 なぜ Maybe が必要か
-
-従来の Python コードでは、エラーを例外で処理します。しかし、例外は関数の戻り値の型に現れないため、呼び出し側が例外を処理し忘れる可能性があります。
-
-**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
-
-```python
-# 従来の方法（問題あり）- 例外を使う
-def unsafe_parse_int(s: str) -> int:
-    return int(s)  # ValueError が発生する可能性!
-
-# unsafe_parse_int("abc")  # ValueError: invalid literal for int()
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "従来の例外ベースのエラー処理" as ex {
-  card "parse_int('42')" as ok
-  card "42" as result_ok
-  card "parse_int('abc')" as err
-  card "ValueError!" as result_err
-
-  ok --> result_ok : 成功
-  err --> result_err : 例外発生
-}
-
-note bottom of result_err
-  例外は型に現れない
-  処理し忘れの危険
-end note
-
-@enduml
-```
-
-### 6.2 Maybe 型の基本
-
-`returns` ライブラリの `Maybe` 型を使うと、失敗の可能性を型で表現できます。
-
-```python
-from returns.maybe import Maybe, Nothing, Some
-
-def parse_int(s: str) -> Maybe[int]:
-    """文字列を整数に安全に変換する。"""
-    try:
-        return Some(int(s))
-    except ValueError:
-        return Nothing
-
-# 使用例
-assert parse_int("42") == Some(42)   # 成功
-assert parse_int("abc") == Nothing   # 失敗（エラーではない）
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Maybe 型によるエラー処理" {
-  rectangle "Some(値)" as some {
-    card "parse_int('42')" as s1
-    card "Some(42)" as s2
-    s1 --> s2 : 成功
-  }
-
-  rectangle "Nothing" as nothing {
-    card "parse_int('abc')" as n1
-    card "Nothing" as n2
-    n1 --> n2 : 失敗
-  }
-}
-
-note bottom
-  型を見れば失敗の可能性がわかる
-  コンパイル時に処理を強制
-end note
-
-@enduml
-```
-
-### 6.3 TV番組のパース例
-
-**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
-
-TV番組の文字列（例: `"Breaking Bad (2008-2013)"`）をパースする例で、Maybe の実践的な使い方を見てみましょう。
-
-```python
-from dataclasses import dataclass
-
-@dataclass(frozen=True)
-class TvShow:
-    """TV番組を表すイミュータブルなデータクラス。"""
-    title: str
-    start: int
-    end: int
-```
-
-#### 番組名を抽出
-
-```python
-def extract_name(raw_show: str) -> Maybe[str]:
-    """番組名を抽出する。"""
-    bracket_open = raw_show.find("(")
-    if bracket_open > 0:
-        return Some(raw_show[:bracket_open].strip())
-    return Nothing
-
-assert extract_name("Breaking Bad (2008-2013)") == Some("Breaking Bad")
-assert extract_name("(2008-2013)") == Nothing  # 名前がない
-```
-
-#### 開始年・終了年を抽出
-
-```python
-def extract_year_start(raw_show: str) -> Maybe[int]:
-    """開始年を抽出する。"""
-    bracket_open = raw_show.find("(")
-    dash = raw_show.find("-")
-    if bracket_open != -1 and dash > bracket_open + 1:
-        year_str = raw_show[bracket_open + 1 : dash]
-        return parse_int(year_str)
-    return Nothing
-
-def extract_year_end(raw_show: str) -> Maybe[int]:
-    """終了年を抽出する。"""
-    dash = raw_show.find("-")
-    bracket_close = raw_show.find(")")
-    if dash != -1 and bracket_close > dash + 1:
-        year_str = raw_show[dash + 1 : bracket_close]
-        return parse_int(year_str)
-    return Nothing
-```
-
-#### 単年の番組
-
-`"Chernobyl (2019)"` のような単年の番組もサポートします。
-
-```python
-def extract_single_year(raw_show: str) -> Maybe[int]:
-    """単年の番組から年を抽出する。"""
-    dash = raw_show.find("-")
-    bracket_open = raw_show.find("(")
-    bracket_close = raw_show.find(")")
-    if dash == -1 and bracket_open != -1 and bracket_close > bracket_open + 1:
-        year_str = raw_show[bracket_open + 1 : bracket_close]
-        return parse_int(year_str)
-    return Nothing
-
-assert extract_single_year("Chernobyl (2019)") == Some(2019)
-assert extract_single_year("Breaking Bad (2008-2013)") == Nothing
-```
-
-### 6.4 Maybe の合成
-
-複数の Maybe を組み合わせて処理するには、`bind` と `map` を使います。
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Maybe の操作" {
-  rectangle "map" as mapOp {
-    card "Some(5)" as m1
-    card "map(lambda x: x * 2)" as m2
-    card "Some(10)" as m3
-    m1 --> m2
-    m2 --> m3
-  }
-
-  rectangle "bind (flatMap)" as bindOp {
-    card "Some(10)" as b1
-    card "bind(safe_divide_by_2)" as b2
-    card "Some(5)" as b3
-    b1 --> b2
-    b2 --> b3
-  }
-}
-
-note bottom of mapOp
-  map: 値を変換
-  関数は通常の値を返す
-end note
-
-note bottom of bindOp
-  bind: Maybe を返す関数で変換
-  ネストを防ぐ
-end note
-
-@enduml
-```
-
-#### 文字列の加算
-
-```python
-def add_strings(a: str, b: str) -> Maybe[int]:
-    """2つの数値文字列を加算する。"""
-    return parse_int(a).bind(lambda x: parse_int(b).map(lambda y: x + y))
-
-assert add_strings("10", "20") == Some(30)
-assert add_strings("10", "abc") == Nothing
-assert add_strings("abc", "20") == Nothing
-```
-
-#### parse_show の完成
-
-```python
-def parse_show(raw_show: str) -> Maybe[TvShow]:
-    """TV番組の文字列をパースする。"""
-    name = extract_name(raw_show)
-    # lash: Nothing の場合に代替を試す（orElse に相当）
-    year_start = extract_year_start(raw_show).lash(
-        lambda _: extract_single_year(raw_show)
-    )
-    year_end = extract_year_end(raw_show).lash(
-        lambda _: extract_single_year(raw_show)
-    )
-
-    return name.bind(
-        lambda n: year_start.bind(
-            lambda s: year_end.map(lambda e: TvShow(n, s, e))
-        )
-    )
-
-# 使用例
-assert parse_show("Breaking Bad (2008-2013)") == Some(TvShow("Breaking Bad", 2008, 2013))
-assert parse_show("Chernobyl (2019)") == Some(TvShow("Chernobyl", 2019, 2019))
-assert parse_show("Invalid") == Nothing
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "parse_show のフロー" {
-  card "Breaking Bad (2008-2013)" as input
-
-  rectangle "抽出" {
-    card "extract_name" as en
-    card "extract_year_start" as eys
-    card "extract_year_end" as eye
-  }
-
-  card "TvShow('Breaking Bad', 2008, 2013)" as result
-
-  input --> en
-  input --> eys
-  input --> eye
-  en --> result : bind
-  eys --> result : bind
-  eye --> result : map
-}
-
-@enduml
-```
-
-### 6.5 安全な操作
-
-**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
-
-#### 安全な除算
-
-```python
-def safe_divide(a: int, b: int) -> Maybe[int]:
-    """安全な除算。"""
-    if b == 0:
-        return Nothing
-    return Some(a // b)
-
-assert safe_divide(10, 2) == Some(5)
-assert safe_divide(10, 0) == Nothing
-```
-
-#### 安全なリストアクセス
-
-```python
-def safe_head(lst: list[T]) -> Maybe[T]:
-    """リストの最初の要素を安全に取得する。"""
-    if not lst:
-        return Nothing
-    return Some(lst[0])
-
-def safe_find(lst: list[T], predicate) -> Maybe[T]:
-    """条件を満たす最初の要素を安全に見つける。"""
-    for item in lst:
-        if predicate(item):
-            return Some(item)
-    return Nothing
-
-assert safe_head([1, 2, 3]) == Some(1)
-assert safe_head([]) == Nothing
-assert safe_find([1, 2, 3, 4], lambda x: x > 2) == Some(3)
-```
-
-### 6.6 エラーハンドリング戦略
-
-複数のパース処理を行う場合、2つの戦略があります。
-
-**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
-
-#### Best-effort 戦略
-
-パースできたものだけ返す。
-
-```python
-def parse_shows_best_effort(raw_shows: list[str]) -> list[TvShow]:
-    """パースできたものだけ返す（Best-effort戦略）。"""
-    results = []
-    for raw in raw_shows:
-        parsed = parse_show(raw)
-        if isinstance(parsed, Some):
-            results.append(parsed.unwrap())
-    return results
-
-shows = ["Breaking Bad (2008-2013)", "Invalid", "Mad Men (2007-2015)"]
-result = parse_shows_best_effort(shows)
-assert len(result) == 2  # Invalid は無視される
-```
-
-#### All-or-nothing 戦略
-
-全部成功するか、全部失敗するか。
-
-```python
-def parse_shows_all_or_nothing(raw_shows: list[str]) -> Maybe[list[TvShow]]:
-    """全部成功するか、全部失敗するか（All-or-nothing戦略）。"""
-    results: list[TvShow] = []
-    for raw in raw_shows:
-        parsed = parse_show(raw)
-        if isinstance(parsed, Some):
-            results.append(parsed.unwrap())
-        else:
-            return Nothing
-    return Some(results)
-
-# 全て成功
-shows_ok = ["Breaking Bad (2008-2013)", "Mad Men (2007-2015)"]
-assert isinstance(parse_shows_all_or_nothing(shows_ok), Some)
-
-# 一つでも失敗すると Nothing
-shows_mixed = ["Breaking Bad (2008-2013)", "Invalid"]
-assert parse_shows_all_or_nothing(shows_mixed) == Nothing
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "エラーハンドリング戦略" {
-  rectangle "Best-effort" as be {
-    card "['A', 'Invalid', 'B']" as be_input
-    card "[TvShow('A'), TvShow('B')]" as be_output
-    be_input --> be_output : 成功したものだけ
-  }
-
-  rectangle "All-or-nothing" as aon {
-    card "['A', 'Invalid', 'B']" as aon_input
-    card "Nothing" as aon_output
-    aon_input --> aon_output : 一つでも失敗すると全て失敗
-  }
-}
-
-@enduml
-```
-
-### 6.7 Maybe のユーティリティ
-
-**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
-
-```python
-# デフォルト値を取得
-def get_value_or_default(maybe: Maybe[int], default: int) -> int:
-    return maybe.value_or(default)
-
-assert get_value_or_default(Some(42), 0) == 42
-assert get_value_or_default(Nothing, 0) == 0
-
-# 最初の Some を返す
-def first_some(maybes: list[Maybe[T]]) -> Maybe[T]:
-    for m in maybes:
-        if isinstance(m, Some):
-            return m
-    return Nothing
-
-assert first_some([Nothing, Nothing, Some(3), Some(4)]) == Some(3)
-
-# Some の値だけを抽出
-def filter_some(maybes: list[Maybe[T]]) -> list[T]:
-    return [m.unwrap() for m in maybes if isinstance(m, Some)]
-
-assert filter_some([Some(1), Nothing, Some(3)]) == [1, 3]
-
-# 全ての Maybe が Some なら、値のリストを返す
-def sequence_maybes(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
-    results: list[T] = []
-    for m in maybes:
-        if isinstance(m, Some):
-            results.append(m.unwrap())
-        else:
-            return Nothing
-    return Some(results)
-
-assert sequence_maybes([Some(1), Some(2), Some(3)]) == Some([1, 2, 3])
-assert sequence_maybes([Some(1), Nothing, Some(3)]) == Nothing
-```
-
----
-
-## 第7章: Result 型と複合的なエラー処理
-
-### 7.1 Maybe の限界
-
-`Maybe` は失敗を表現できますが、**なぜ失敗したか**を伝えることができません。
-
-```python
-# Maybe では失敗理由がわからない
-assert parse_int("abc") == Nothing  # なぜ失敗した？文字？空文字？
-```
-
-### 7.2 Result 型の基本
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-`Result` 型を使うと、成功時は値を、失敗時はエラーメッセージを保持できます。
-
-```python
-from returns.result import Result, Success, Failure
-
-def parse_int_result(s: str) -> Result[int, str]:
-    """文字列を整数に変換し、エラーメッセージを返す。"""
-    try:
-        return Success(int(s))
-    except ValueError:
-        return Failure(f"Cannot parse '{s}' as integer")
-
-# 使用例
-assert parse_int_result("42") == Success(42)
-result = parse_int_result("abc")
-assert isinstance(result, Failure)
-assert "Cannot parse" in result.failure()
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Result 型" {
-  rectangle "Success(値)" as success {
-    card "parse_int_result('42')" as s1
-    card "Success(42)" as s2
-    s1 --> s2 : 成功
-  }
-
-  rectangle "Failure(エラー)" as failure {
-    card "parse_int_result('abc')" as f1
-    card "Failure('Cannot parse...')" as f2
-    f1 --> f2 : 失敗
-  }
-}
-
-note bottom of failure
-  エラーの理由を保持
-  デバッグが容易
-end note
-
-@enduml
-```
-
-#### 安全な除算（エラーメッセージ付き）
-
-```python
-def safe_divide_result(a: int, b: int) -> Result[int, str]:
-    """安全な除算（エラーメッセージ付き）。"""
-    if b == 0:
-        return Failure("Division by zero")
-    return Success(a // b)
-
-assert safe_divide_result(10, 2) == Success(5)
-assert safe_divide_result(10, 0) == Failure("Division by zero")
-```
-
-### 7.3 TV番組のパース（Result 版）
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-```python
-def extract_name_result(raw_show: str) -> Result[str, str]:
-    """番組名を抽出する（エラーメッセージ付き）。"""
-    bracket_open = raw_show.find("(")
-    if bracket_open > 0:
-        return Success(raw_show[:bracket_open].strip())
-    return Failure(f"Can't extract name from '{raw_show}'")
-
-def extract_year_start_result(raw_show: str) -> Result[int, str]:
-    """開始年を抽出する（エラーメッセージ付き）。"""
-    bracket_open = raw_show.find("(")
-    dash = raw_show.find("-")
-    if bracket_open != -1 and dash > bracket_open + 1:
-        year_str = raw_show[bracket_open + 1 : dash]
-        return parse_int_result(year_str)
-    return Failure(f"Can't extract start year from '{raw_show}'")
-```
-
-### 7.4 バリデーション
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-Result 型はバリデーションに最適です。
-
-```python
-def validate_age(age: int) -> Result[int, str]:
-    """年齢を検証する。"""
-    if age < 0:
-        return Failure("Age cannot be negative")
-    if age > 150:
-        return Failure("Age cannot be greater than 150")
-    return Success(age)
-
-def validate_email(email: str) -> Result[str, str]:
-    """メールアドレスを検証する。"""
-    if "@" not in email:
-        return Failure("Email must contain '@'")
-    if not email.endswith((".com", ".org", ".net", ".jp")):
-        return Failure("Email must have a valid domain")
-    return Success(email)
-
-def validate_password(password: str) -> Result[str, str]:
-    """パスワードを検証する。"""
-    if len(password) < 8:
-        return Failure("Password must be at least 8 characters")
-    if not any(c.isupper() for c in password):
-        return Failure("Password must contain at least one uppercase letter")
-    if not any(c.isdigit() for c in password):
-        return Failure("Password must contain at least one digit")
-    return Success(password)
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "バリデーションチェーン" {
-  card "validate_age(-5)" as v1
-  card "Failure('Age cannot be negative')" as r1
-
-  card "validate_email('invalid')" as v2
-  card "Failure('Email must contain @')" as r2
-
-  card "validate_password('SecurePass123')" as v3
-  card "Success('SecurePass123')" as r3
-
-  v1 --> r1
-  v2 --> r2
-  v3 --> r3
-}
-
-@enduml
-```
-
-### 7.5 代数的データ型（ADT）
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-Python では `Enum` と `dataclass` を組み合わせて代数的データ型を表現します。
-
-```python
-from enum import Enum, auto
-
-class MusicGenre(Enum):
-    """音楽ジャンルを表す列挙型。"""
-    HEAVY_METAL = auto()
-    POP = auto()
-    HARD_ROCK = auto()
-    JAZZ = auto()
-    CLASSICAL = auto()
-
-class Location(Enum):
-    """場所を表す列挙型。"""
-    US = "U.S."
-    UK = "U.K."
-    JAPAN = "Japan"
-    GERMANY = "Germany"
-
-@dataclass(frozen=True)
-class PeriodInYears:
-    """年の期間を表すデータクラス。"""
-    start: int
-    end: int | None  # None はまだアクティブなことを示す
-
-@dataclass(frozen=True)
-class Artist:
-    """アーティストを表すデータクラス。"""
-    name: str
-    genre: MusicGenre
-    origin: Location
-    years_active: PeriodInYears
-```
-
-#### アーティストの活動判定
-
-```python
-def was_artist_active(artist: Artist, year_start: int, year_end: int) -> bool:
-    """アーティストが指定期間中にアクティブだったかを判定する。"""
-    period = artist.years_active
-    if period.end is None:
-        # まだアクティブ
-        return period.start <= year_end
-    # 活動終了済み
-    return period.start <= year_end and period.end >= year_start
-
-# 使用例
-metallica = Artist("Metallica", MusicGenre.HEAVY_METAL, Location.US, PeriodInYears(1981, None))
-assert was_artist_active(metallica, 2000, 2020) is True
-assert was_artist_active(metallica, 1970, 1975) is False
-```
-
-### 7.6 検索条件のモデリング
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-Python 3.10+ のパターンマッチングを使って、検索条件を表現します。
-
-```python
-@dataclass(frozen=True)
-class SearchByGenre:
-    """ジャンルで検索する条件。"""
-    genres: list[MusicGenre]
-
-@dataclass(frozen=True)
-class SearchByOrigin:
-    """出身地で検索する条件。"""
-    locations: list[Location]
-
-@dataclass(frozen=True)
-class SearchByActiveYears:
-    """活動期間で検索する条件。"""
-    start: int
-    end: int
-
-# Union 型で検索条件を定義
-SearchCondition = SearchByGenre | SearchByOrigin | SearchByActiveYears
-```
-
-#### パターンマッチングによる条件判定
-
-```python
-def matches_condition(artist: Artist, condition: SearchCondition) -> bool:
-    """アーティストが検索条件に一致するかを判定する。"""
-    match condition:
-        case SearchByGenre(genres):
-            return artist.genre in genres
-        case SearchByOrigin(locations):
-            return artist.origin in locations
-        case SearchByActiveYears(start, end):
-            return was_artist_active(artist, start, end)
-```
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "パターンマッチング" {
-  card "condition" as cond
-
-  rectangle "match condition" as match {
-    card "SearchByGenre(genres)" as g
-    card "SearchByOrigin(locations)" as o
-    card "SearchByActiveYears(start, end)" as y
-  }
-
-  cond --> match
-  g --> "artist.genre in genres"
-  o --> "artist.origin in locations"
-  y --> "was_artist_active(...)"
-}
-
-@enduml
-```
-
-#### 検索の実行
-
-```python
-def search_artists(
-    artists: list[Artist],
-    required_conditions: list[SearchCondition],
-) -> list[Artist]:
-    """条件を全て満たすアーティストを検索する。"""
-    return [
-        artist
-        for artist in artists
-        if all(matches_condition(artist, cond) for cond in required_conditions)
-    ]
-
-# 使用例
-metallica = Artist("Metallica", MusicGenre.HEAVY_METAL, Location.US, PeriodInYears(1981, None))
-queen = Artist("Queen", MusicGenre.HARD_ROCK, Location.UK, PeriodInYears(1970, 1995))
-artists = [metallica, queen]
-
-# ジャンルで検索
-result = search_artists(artists, [SearchByGenre([MusicGenre.HEAVY_METAL])])
-assert len(result) == 1
-assert result[0].name == "Metallica"
-
-# 複数条件で検索
-result = search_artists(artists, [
-    SearchByGenre([MusicGenre.HARD_ROCK]),
-    SearchByOrigin([Location.UK])
-])
-assert result[0].name == "Queen"
-```
-
-### 7.7 Result の合成
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-複数のバリデーションを組み合わせてユーザーを作成します。
-
-```python
-@dataclass(frozen=True)
-class User:
-    """ユーザーを表すデータクラス。"""
-    name: str
-    email: str
-    age: int
-
-def create_user(name: str, email: str, age: int) -> Result[User, str]:
-    """ユーザーを作成する（バリデーション付き）。"""
-    return validate_email(email).bind(
-        lambda valid_email: validate_age(age).map(
-            lambda valid_age: User(name, valid_email, valid_age)
-        )
-    )
-
-# 使用例
-assert create_user("Alice", "alice@example.com", 25) == Success(User("Alice", "alice@example.com", 25))
-
-result = create_user("Bob", "invalid", 25)
-assert isinstance(result, Failure)
-assert "Email must contain '@'" in result.failure()
-```
-
-### 7.8 型付きエラー
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-文字列の代わりに Enum を使うと、より型安全なエラー処理ができます。
-
-```python
-class ValidationError(Enum):
-    """バリデーションエラーの種類。"""
-    EMPTY_NAME = "Name cannot be empty"
-    INVALID_EMAIL = "Invalid email format"
-    AGE_TOO_YOUNG = "Age must be at least 18"
-    AGE_TOO_OLD = "Age cannot exceed 120"
-
-def validate_name_typed(name: str) -> Result[str, ValidationError]:
-    """名前を検証する（型付きエラー）。"""
-    if not name.strip():
-        return Failure(ValidationError.EMPTY_NAME)
-    return Success(name)
-
-def validate_age_typed(age: int) -> Result[int, ValidationError]:
-    """年齢を検証する（型付きエラー）。"""
-    if age < 18:
-        return Failure(ValidationError.AGE_TOO_YOUNG)
-    if age > 120:
-        return Failure(ValidationError.AGE_TOO_OLD)
-    return Success(age)
-```
-
-### 7.9 Result のユーティリティ
-
-**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
-
-```python
-from returns.maybe import Maybe, Some, Nothing
-
-def result_to_maybe(result: Result[T, str]) -> Maybe[T]:
-    """Result を Maybe に変換する。"""
-    if isinstance(result, Success):
-        return Some(result.unwrap())
-    return Nothing
-
-def get_or_else(result: Result[T, str], default: T) -> T:
-    """Result から値を取得するか、デフォルト値を返す。"""
-    if isinstance(result, Success):
-        return result.unwrap()
-    return default
-
-def map_error(result: Result[T, str], f) -> Result[T, str]:
-    """エラーを変換する。"""
-    if isinstance(result, Failure):
-        return Failure(f(result.failure()))
-    return result
-
-def sequence_results(results: list[Result[T, str]]) -> Result[list[T], str]:
-    """全ての Result が Success なら、値のリストを返す。"""
-    values: list[T] = []
-    for r in results:
-        if isinstance(r, Success):
-            values.append(r.unwrap())
-        else:
-            return r
-    return Success(values)
-
-# 使用例
-assert get_or_else(Success(42), 0) == 42
-assert get_or_else(Failure("error"), 0) == 0
-
-assert sequence_results([Success(1), Success(2)]) == Success([1, 2])
-assert sequence_results([Success(1), Failure("error")]) == Failure("error")
-```
-
----
-
-## まとめ
-
-### Part III で学んだこと
-
-```plantuml
-@startuml
-!theme plain
-
-rectangle "Part III: エラーハンドリングと型による安全性" {
-  rectangle "第6章" as ch6 {
-    card "Maybe 型"
-    card "Some / Nothing"
-    card "bind / map / lash"
-    card "エラーハンドリング戦略"
-  }
-
-  rectangle "第7章" as ch7 {
-    card "Result 型"
-    card "Success / Failure"
-    card "バリデーション"
-    card "代数的データ型"
-    card "パターンマッチング"
-  }
-}
-
-ch6 --> ch7
-
-@enduml
-```
-
-### Maybe vs Result
-
-| 特徴 | Maybe | Result |
-|------|-------|--------|
-| 成功時 | `Some(値)` | `Success(値)` |
-| 失敗時 | `Nothing` | `Failure(エラー)` |
-| エラー情報 | なし | あり |
-| 用途 | 値がない可能性 | 失敗理由が必要 |
-
-### キーポイント
-
-| 概念 | Python での実現方法 |
-|------|---------------------|
-| Maybe 型 | `returns.maybe.Maybe`, `Some`, `Nothing` |
-| Result 型 | `returns.result.Result`, `Success`, `Failure` |
-| 合成 | `bind`, `map`, `lash` |
-| ADT | `Enum`, `dataclass`, Union 型 |
-| パターンマッチング | `match`/`case` 文 |
-
-### 重要な法則
-
-1. **例外を避ける**: 型で失敗を表現する
-2. **合成可能性**: `bind` と `map` でチェーン
-3. **早期リターン**: 最初の失敗で処理を停止
-4. **型による安全性**: コンパイル時にエラー処理を強制
-
-### Python 特有のポイント
-
-- **`returns` ライブラリ**: `Maybe`, `Result` を提供
-- **`lash` メソッド**: `orElse` に相当（Nothing/Failure 時の代替）
-- **`bind` メソッド**: `flatMap` に相当
-- **パターンマッチング**: Python 3.10+ の `match`/`case`
-- **Union 型**: `|` で直和型を表現
-
----
-
-## 演習問題
-
-### 問題 1: Maybe を使った安全な辞書アクセス
-
-辞書から安全に値を取得する関数を実装してください。
-
-```python
-def safe_get(d: dict[str, T], key: str) -> Maybe[T]:
-    ...
-
-# 期待される動作
-d = {"a": 1, "b": 2}
-assert safe_get(d, "a") == Some(1)
-assert safe_get(d, "c") == Nothing
-```
-
-<details>
-<summary>解答</summary>
-
-```python
-def safe_get(d: dict[str, T], key: str) -> Maybe[T]:
-    if key in d:
-        return Some(d[key])
-    return Nothing
-```
-
-</details>
-
-### 問題 2: Result を使ったバリデーション
-
-ユーザー名のバリデーション関数を実装してください。
-
-```python
-def validate_username(username: str) -> Result[str, str]:
-    """
-    - 空文字列: Failure("Username cannot be empty")
-    - 3文字未満: Failure("Username must be at least 3 characters")
-    - 20文字超: Failure("Username must be at most 20 characters")
-    - それ以外: Success(username)
-    """
-    ...
-```
-
-<details>
-<summary>解答</summary>
-
-```python
-def validate_username(username: str) -> Result[str, str]:
-    if not username:
-        return Failure("Username cannot be empty")
-    if len(username) < 3:
-        return Failure("Username must be at least 3 characters")
-    if len(username) > 20:
-        return Failure("Username must be at most 20 characters")
-    return Success(username)
-```
-
-</details>
-
-### 問題 3: 検索条件の追加
-
-名前の部分一致で検索する条件を追加してください。
-
-```python
-@dataclass(frozen=True)
-class SearchByName:
-    """名前で検索する条件。"""
-    name_contains: str
-
-# SearchCondition に追加
-SearchCondition = SearchByGenre | SearchByOrigin | SearchByActiveYears | SearchByName
-```
-
-<details>
-<summary>解答</summary>
-
-```python
-def matches_condition(artist: Artist, condition: SearchCondition) -> bool:
-    match condition:
-        case SearchByGenre(genres):
-            return artist.genre in genres
-        case SearchByOrigin(locations):
-            return artist.origin in locations
-        case SearchByActiveYears(start, end):
-            return was_artist_active(artist, start, end)
-        case SearchByName(name_contains):
-            return name_contains.lower() in artist.name.lower()
-```
-
-</details>
-
-### 問題 4: sequence の実装
-
-`Maybe` のリストを `Maybe[list]` に変換する関数を、`bind` を使って実装してください。
-
-```python
-def sequence_maybes_v2(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
-    """bind を使って sequence を実装する。"""
-    ...
-```
-
-<details>
-<summary>解答</summary>
-
-```python
-from functools import reduce
-
-def sequence_maybes_v2(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
-    def append_if_some(acc: Maybe[list[T]], m: Maybe[T]) -> Maybe[list[T]]:
-        return acc.bind(lambda lst: m.map(lambda x: lst + [x]))
-
-    return reduce(append_if_some, maybes, Some([]))
-```
-
-</details>
+# Part III: エラーハンドリングと型による安全性
+
+本章では、関数型プログラミングにおけるエラーハンドリングを学びます。例外を使わず、型を使って安全にエラーを扱う方法を習得します。Python では `returns` ライブラリの `Maybe` と `Result` 型を使用します。
+
+---
+
+## 第6章: Maybe 型による安全なエラーハンドリング
+
+### 6.1 なぜ Maybe が必要か
+
+従来の Python コードでは、エラーを例外で処理します。しかし、例外は関数の戻り値の型に現れないため、呼び出し側が例外を処理し忘れる可能性があります。
+
+**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
+
+```python
+# 従来の方法（問題あり）- 例外を使う
+def unsafe_parse_int(s: str) -> int:
+    return int(s)  # ValueError が発生する可能性!
+
+# unsafe_parse_int("abc")  # ValueError: invalid literal for int()
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "従来の例外ベースのエラー処理" as ex {
+  card "parse_int('42')" as ok
+  card "42" as result_ok
+  card "parse_int('abc')" as err
+  card "ValueError!" as result_err
+
+  ok --> result_ok : 成功
+  err --> result_err : 例外発生
+}
+
+note bottom of result_err
+  例外は型に現れない
+  処理し忘れの危険
+end note
+
+@enduml
+```
+
+### 6.2 Maybe 型の基本
+
+`returns` ライブラリの `Maybe` 型を使うと、失敗の可能性を型で表現できます。
+
+```python
+from returns.maybe import Maybe, Nothing, Some
+
+def parse_int(s: str) -> Maybe[int]:
+    """文字列を整数に安全に変換する。"""
+    try:
+        return Some(int(s))
+    except ValueError:
+        return Nothing
+
+# 使用例
+assert parse_int("42") == Some(42)   # 成功
+assert parse_int("abc") == Nothing   # 失敗（エラーではない）
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Maybe 型によるエラー処理" {
+  rectangle "Some(値)" as some {
+    card "parse_int('42')" as s1
+    card "Some(42)" as s2
+    s1 --> s2 : 成功
+  }
+
+  rectangle "Nothing" as nothing {
+    card "parse_int('abc')" as n1
+    card "Nothing" as n2
+    n1 --> n2 : 失敗
+  }
+}
+
+note bottom
+  型を見れば失敗の可能性がわかる
+  コンパイル時に処理を強制
+end note
+
+@enduml
+```
+
+### 6.3 TV番組のパース例
+
+**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
+
+TV番組の文字列（例: `"Breaking Bad (2008-2013)"`）をパースする例で、Maybe の実践的な使い方を見てみましょう。
+
+```python
+from dataclasses import dataclass
+
+@dataclass(frozen=True)
+class TvShow:
+    """TV番組を表すイミュータブルなデータクラス。"""
+    title: str
+    start: int
+    end: int
+```
+
+#### 番組名を抽出
+
+```python
+def extract_name(raw_show: str) -> Maybe[str]:
+    """番組名を抽出する。"""
+    bracket_open = raw_show.find("(")
+    if bracket_open > 0:
+        return Some(raw_show[:bracket_open].strip())
+    return Nothing
+
+assert extract_name("Breaking Bad (2008-2013)") == Some("Breaking Bad")
+assert extract_name("(2008-2013)") == Nothing  # 名前がない
+```
+
+#### 開始年・終了年を抽出
+
+```python
+def extract_year_start(raw_show: str) -> Maybe[int]:
+    """開始年を抽出する。"""
+    bracket_open = raw_show.find("(")
+    dash = raw_show.find("-")
+    if bracket_open != -1 and dash > bracket_open + 1:
+        year_str = raw_show[bracket_open + 1 : dash]
+        return parse_int(year_str)
+    return Nothing
+
+def extract_year_end(raw_show: str) -> Maybe[int]:
+    """終了年を抽出する。"""
+    dash = raw_show.find("-")
+    bracket_close = raw_show.find(")")
+    if dash != -1 and bracket_close > dash + 1:
+        year_str = raw_show[dash + 1 : bracket_close]
+        return parse_int(year_str)
+    return Nothing
+```
+
+#### 単年の番組
+
+`"Chernobyl (2019)"` のような単年の番組もサポートします。
+
+```python
+def extract_single_year(raw_show: str) -> Maybe[int]:
+    """単年の番組から年を抽出する。"""
+    dash = raw_show.find("-")
+    bracket_open = raw_show.find("(")
+    bracket_close = raw_show.find(")")
+    if dash == -1 and bracket_open != -1 and bracket_close > bracket_open + 1:
+        year_str = raw_show[bracket_open + 1 : bracket_close]
+        return parse_int(year_str)
+    return Nothing
+
+assert extract_single_year("Chernobyl (2019)") == Some(2019)
+assert extract_single_year("Breaking Bad (2008-2013)") == Nothing
+```
+
+### 6.4 Maybe の合成
+
+複数の Maybe を組み合わせて処理するには、`bind` と `map` を使います。
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Maybe の操作" {
+  rectangle "map" as mapOp {
+    card "Some(5)" as m1
+    card "map(lambda x: x * 2)" as m2
+    card "Some(10)" as m3
+    m1 --> m2
+    m2 --> m3
+  }
+
+  rectangle "bind (flatMap)" as bindOp {
+    card "Some(10)" as b1
+    card "bind(safe_divide_by_2)" as b2
+    card "Some(5)" as b3
+    b1 --> b2
+    b2 --> b3
+  }
+}
+
+note bottom of mapOp
+  map: 値を変換
+  関数は通常の値を返す
+end note
+
+note bottom of bindOp
+  bind: Maybe を返す関数で変換
+  ネストを防ぐ
+end note
+
+@enduml
+```
+
+#### 文字列の加算
+
+```python
+def add_strings(a: str, b: str) -> Maybe[int]:
+    """2つの数値文字列を加算する。"""
+    return parse_int(a).bind(lambda x: parse_int(b).map(lambda y: x + y))
+
+assert add_strings("10", "20") == Some(30)
+assert add_strings("10", "abc") == Nothing
+assert add_strings("abc", "20") == Nothing
+```
+
+#### parse_show の完成
+
+```python
+def parse_show(raw_show: str) -> Maybe[TvShow]:
+    """TV番組の文字列をパースする。"""
+    name = extract_name(raw_show)
+    # lash: Nothing の場合に代替を試す（orElse に相当）
+    year_start = extract_year_start(raw_show).lash(
+        lambda _: extract_single_year(raw_show)
+    )
+    year_end = extract_year_end(raw_show).lash(
+        lambda _: extract_single_year(raw_show)
+    )
+
+    return name.bind(
+        lambda n: year_start.bind(
+            lambda s: year_end.map(lambda e: TvShow(n, s, e))
+        )
+    )
+
+# 使用例
+assert parse_show("Breaking Bad (2008-2013)") == Some(TvShow("Breaking Bad", 2008, 2013))
+assert parse_show("Chernobyl (2019)") == Some(TvShow("Chernobyl", 2019, 2019))
+assert parse_show("Invalid") == Nothing
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "parse_show のフロー" {
+  card "Breaking Bad (2008-2013)" as input
+
+  rectangle "抽出" {
+    card "extract_name" as en
+    card "extract_year_start" as eys
+    card "extract_year_end" as eye
+  }
+
+  card "TvShow('Breaking Bad', 2008, 2013)" as result
+
+  input --> en
+  input --> eys
+  input --> eye
+  en --> result : bind
+  eys --> result : bind
+  eye --> result : map
+}
+
+@enduml
+```
+
+### 6.5 安全な操作
+
+**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
+
+#### 安全な除算
+
+```python
+def safe_divide(a: int, b: int) -> Maybe[int]:
+    """安全な除算。"""
+    if b == 0:
+        return Nothing
+    return Some(a // b)
+
+assert safe_divide(10, 2) == Some(5)
+assert safe_divide(10, 0) == Nothing
+```
+
+#### 安全なリストアクセス
+
+```python
+def safe_head(lst: list[T]) -> Maybe[T]:
+    """リストの最初の要素を安全に取得する。"""
+    if not lst:
+        return Nothing
+    return Some(lst[0])
+
+def safe_find(lst: list[T], predicate) -> Maybe[T]:
+    """条件を満たす最初の要素を安全に見つける。"""
+    for item in lst:
+        if predicate(item):
+            return Some(item)
+    return Nothing
+
+assert safe_head([1, 2, 3]) == Some(1)
+assert safe_head([]) == Nothing
+assert safe_find([1, 2, 3, 4], lambda x: x > 2) == Some(3)
+```
+
+### 6.6 エラーハンドリング戦略
+
+複数のパース処理を行う場合、2つの戦略があります。
+
+**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
+
+#### Best-effort 戦略
+
+パースできたものだけ返す。
+
+```python
+def parse_shows_best_effort(raw_shows: list[str]) -> list[TvShow]:
+    """パースできたものだけ返す（Best-effort戦略）。"""
+    results = []
+    for raw in raw_shows:
+        parsed = parse_show(raw)
+        if isinstance(parsed, Some):
+            results.append(parsed.unwrap())
+    return results
+
+shows = ["Breaking Bad (2008-2013)", "Invalid", "Mad Men (2007-2015)"]
+result = parse_shows_best_effort(shows)
+assert len(result) == 2  # Invalid は無視される
+```
+
+#### All-or-nothing 戦略
+
+全部成功するか、全部失敗するか。
+
+```python
+def parse_shows_all_or_nothing(raw_shows: list[str]) -> Maybe[list[TvShow]]:
+    """全部成功するか、全部失敗するか（All-or-nothing戦略）。"""
+    results: list[TvShow] = []
+    for raw in raw_shows:
+        parsed = parse_show(raw)
+        if isinstance(parsed, Some):
+            results.append(parsed.unwrap())
+        else:
+            return Nothing
+    return Some(results)
+
+# 全て成功
+shows_ok = ["Breaking Bad (2008-2013)", "Mad Men (2007-2015)"]
+assert isinstance(parse_shows_all_or_nothing(shows_ok), Some)
+
+# 一つでも失敗すると Nothing
+shows_mixed = ["Breaking Bad (2008-2013)", "Invalid"]
+assert parse_shows_all_or_nothing(shows_mixed) == Nothing
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "エラーハンドリング戦略" {
+  rectangle "Best-effort" as be {
+    card "['A', 'Invalid', 'B']" as be_input
+    card "[TvShow('A'), TvShow('B')]" as be_output
+    be_input --> be_output : 成功したものだけ
+  }
+
+  rectangle "All-or-nothing" as aon {
+    card "['A', 'Invalid', 'B']" as aon_input
+    card "Nothing" as aon_output
+    aon_input --> aon_output : 一つでも失敗すると全て失敗
+  }
+}
+
+@enduml
+```
+
+### 6.7 Maybe のユーティリティ
+
+**ソースファイル**: `app/python/src/grokking_fp/ch06_option.py`
+
+```python
+# デフォルト値を取得
+def get_value_or_default(maybe: Maybe[int], default: int) -> int:
+    return maybe.value_or(default)
+
+assert get_value_or_default(Some(42), 0) == 42
+assert get_value_or_default(Nothing, 0) == 0
+
+# 最初の Some を返す
+def first_some(maybes: list[Maybe[T]]) -> Maybe[T]:
+    for m in maybes:
+        if isinstance(m, Some):
+            return m
+    return Nothing
+
+assert first_some([Nothing, Nothing, Some(3), Some(4)]) == Some(3)
+
+# Some の値だけを抽出
+def filter_some(maybes: list[Maybe[T]]) -> list[T]:
+    return [m.unwrap() for m in maybes if isinstance(m, Some)]
+
+assert filter_some([Some(1), Nothing, Some(3)]) == [1, 3]
+
+# 全ての Maybe が Some なら、値のリストを返す
+def sequence_maybes(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
+    results: list[T] = []
+    for m in maybes:
+        if isinstance(m, Some):
+            results.append(m.unwrap())
+        else:
+            return Nothing
+    return Some(results)
+
+assert sequence_maybes([Some(1), Some(2), Some(3)]) == Some([1, 2, 3])
+assert sequence_maybes([Some(1), Nothing, Some(3)]) == Nothing
+```
+
+---
+
+## 第7章: Result 型と複合的なエラー処理
+
+### 7.1 Maybe の限界
+
+`Maybe` は失敗を表現できますが、**なぜ失敗したか**を伝えることができません。
+
+```python
+# Maybe では失敗理由がわからない
+assert parse_int("abc") == Nothing  # なぜ失敗した？文字？空文字？
+```
+
+### 7.2 Result 型の基本
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+`Result` 型を使うと、成功時は値を、失敗時はエラーメッセージを保持できます。
+
+```python
+from returns.result import Result, Success, Failure
+
+def parse_int_result(s: str) -> Result[int, str]:
+    """文字列を整数に変換し、エラーメッセージを返す。"""
+    try:
+        return Success(int(s))
+    except ValueError:
+        return Failure(f"Cannot parse '{s}' as integer")
+
+# 使用例
+assert parse_int_result("42") == Success(42)
+result = parse_int_result("abc")
+assert isinstance(result, Failure)
+assert "Cannot parse" in result.failure()
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Result 型" {
+  rectangle "Success(値)" as success {
+    card "parse_int_result('42')" as s1
+    card "Success(42)" as s2
+    s1 --> s2 : 成功
+  }
+
+  rectangle "Failure(エラー)" as failure {
+    card "parse_int_result('abc')" as f1
+    card "Failure('Cannot parse...')" as f2
+    f1 --> f2 : 失敗
+  }
+}
+
+note bottom of failure
+  エラーの理由を保持
+  デバッグが容易
+end note
+
+@enduml
+```
+
+#### 安全な除算（エラーメッセージ付き）
+
+```python
+def safe_divide_result(a: int, b: int) -> Result[int, str]:
+    """安全な除算（エラーメッセージ付き）。"""
+    if b == 0:
+        return Failure("Division by zero")
+    return Success(a // b)
+
+assert safe_divide_result(10, 2) == Success(5)
+assert safe_divide_result(10, 0) == Failure("Division by zero")
+```
+
+### 7.3 TV番組のパース（Result 版）
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+```python
+def extract_name_result(raw_show: str) -> Result[str, str]:
+    """番組名を抽出する（エラーメッセージ付き）。"""
+    bracket_open = raw_show.find("(")
+    if bracket_open > 0:
+        return Success(raw_show[:bracket_open].strip())
+    return Failure(f"Can't extract name from '{raw_show}'")
+
+def extract_year_start_result(raw_show: str) -> Result[int, str]:
+    """開始年を抽出する（エラーメッセージ付き）。"""
+    bracket_open = raw_show.find("(")
+    dash = raw_show.find("-")
+    if bracket_open != -1 and dash > bracket_open + 1:
+        year_str = raw_show[bracket_open + 1 : dash]
+        return parse_int_result(year_str)
+    return Failure(f"Can't extract start year from '{raw_show}'")
+```
+
+### 7.4 バリデーション
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+Result 型はバリデーションに最適です。
+
+```python
+def validate_age(age: int) -> Result[int, str]:
+    """年齢を検証する。"""
+    if age < 0:
+        return Failure("Age cannot be negative")
+    if age > 150:
+        return Failure("Age cannot be greater than 150")
+    return Success(age)
+
+def validate_email(email: str) -> Result[str, str]:
+    """メールアドレスを検証する。"""
+    if "@" not in email:
+        return Failure("Email must contain '@'")
+    if not email.endswith((".com", ".org", ".net", ".jp")):
+        return Failure("Email must have a valid domain")
+    return Success(email)
+
+def validate_password(password: str) -> Result[str, str]:
+    """パスワードを検証する。"""
+    if len(password) < 8:
+        return Failure("Password must be at least 8 characters")
+    if not any(c.isupper() for c in password):
+        return Failure("Password must contain at least one uppercase letter")
+    if not any(c.isdigit() for c in password):
+        return Failure("Password must contain at least one digit")
+    return Success(password)
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "バリデーションチェーン" {
+  card "validate_age(-5)" as v1
+  card "Failure('Age cannot be negative')" as r1
+
+  card "validate_email('invalid')" as v2
+  card "Failure('Email must contain @')" as r2
+
+  card "validate_password('SecurePass123')" as v3
+  card "Success('SecurePass123')" as r3
+
+  v1 --> r1
+  v2 --> r2
+  v3 --> r3
+}
+
+@enduml
+```
+
+### 7.5 代数的データ型（ADT）
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+Python では `Enum` と `dataclass` を組み合わせて代数的データ型を表現します。
+
+```python
+from enum import Enum, auto
+
+class MusicGenre(Enum):
+    """音楽ジャンルを表す列挙型。"""
+    HEAVY_METAL = auto()
+    POP = auto()
+    HARD_ROCK = auto()
+    JAZZ = auto()
+    CLASSICAL = auto()
+
+class Location(Enum):
+    """場所を表す列挙型。"""
+    US = "U.S."
+    UK = "U.K."
+    JAPAN = "Japan"
+    GERMANY = "Germany"
+
+@dataclass(frozen=True)
+class PeriodInYears:
+    """年の期間を表すデータクラス。"""
+    start: int
+    end: int | None  # None はまだアクティブなことを示す
+
+@dataclass(frozen=True)
+class Artist:
+    """アーティストを表すデータクラス。"""
+    name: str
+    genre: MusicGenre
+    origin: Location
+    years_active: PeriodInYears
+```
+
+#### アーティストの活動判定
+
+```python
+def was_artist_active(artist: Artist, year_start: int, year_end: int) -> bool:
+    """アーティストが指定期間中にアクティブだったかを判定する。"""
+    period = artist.years_active
+    if period.end is None:
+        # まだアクティブ
+        return period.start <= year_end
+    # 活動終了済み
+    return period.start <= year_end and period.end >= year_start
+
+# 使用例
+metallica = Artist("Metallica", MusicGenre.HEAVY_METAL, Location.US, PeriodInYears(1981, None))
+assert was_artist_active(metallica, 2000, 2020) is True
+assert was_artist_active(metallica, 1970, 1975) is False
+```
+
+### 7.6 検索条件のモデリング
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+Python 3.10+ のパターンマッチングを使って、検索条件を表現します。
+
+```python
+@dataclass(frozen=True)
+class SearchByGenre:
+    """ジャンルで検索する条件。"""
+    genres: list[MusicGenre]
+
+@dataclass(frozen=True)
+class SearchByOrigin:
+    """出身地で検索する条件。"""
+    locations: list[Location]
+
+@dataclass(frozen=True)
+class SearchByActiveYears:
+    """活動期間で検索する条件。"""
+    start: int
+    end: int
+
+# Union 型で検索条件を定義
+SearchCondition = SearchByGenre | SearchByOrigin | SearchByActiveYears
+```
+
+#### パターンマッチングによる条件判定
+
+```python
+def matches_condition(artist: Artist, condition: SearchCondition) -> bool:
+    """アーティストが検索条件に一致するかを判定する。"""
+    match condition:
+        case SearchByGenre(genres):
+            return artist.genre in genres
+        case SearchByOrigin(locations):
+            return artist.origin in locations
+        case SearchByActiveYears(start, end):
+            return was_artist_active(artist, start, end)
+```
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "パターンマッチング" {
+  card "condition" as cond
+
+  rectangle "match condition" as match {
+    card "SearchByGenre(genres)" as g
+    card "SearchByOrigin(locations)" as o
+    card "SearchByActiveYears(start, end)" as y
+  }
+
+  cond --> match
+  g --> "artist.genre in genres"
+  o --> "artist.origin in locations"
+  y --> "was_artist_active(...)"
+}
+
+@enduml
+```
+
+#### 検索の実行
+
+```python
+def search_artists(
+    artists: list[Artist],
+    required_conditions: list[SearchCondition],
+) -> list[Artist]:
+    """条件を全て満たすアーティストを検索する。"""
+    return [
+        artist
+        for artist in artists
+        if all(matches_condition(artist, cond) for cond in required_conditions)
+    ]
+
+# 使用例
+metallica = Artist("Metallica", MusicGenre.HEAVY_METAL, Location.US, PeriodInYears(1981, None))
+queen = Artist("Queen", MusicGenre.HARD_ROCK, Location.UK, PeriodInYears(1970, 1995))
+artists = [metallica, queen]
+
+# ジャンルで検索
+result = search_artists(artists, [SearchByGenre([MusicGenre.HEAVY_METAL])])
+assert len(result) == 1
+assert result[0].name == "Metallica"
+
+# 複数条件で検索
+result = search_artists(artists, [
+    SearchByGenre([MusicGenre.HARD_ROCK]),
+    SearchByOrigin([Location.UK])
+])
+assert result[0].name == "Queen"
+```
+
+### 7.7 Result の合成
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+複数のバリデーションを組み合わせてユーザーを作成します。
+
+```python
+@dataclass(frozen=True)
+class User:
+    """ユーザーを表すデータクラス。"""
+    name: str
+    email: str
+    age: int
+
+def create_user(name: str, email: str, age: int) -> Result[User, str]:
+    """ユーザーを作成する（バリデーション付き）。"""
+    return validate_email(email).bind(
+        lambda valid_email: validate_age(age).map(
+            lambda valid_age: User(name, valid_email, valid_age)
+        )
+    )
+
+# 使用例
+assert create_user("Alice", "alice@example.com", 25) == Success(User("Alice", "alice@example.com", 25))
+
+result = create_user("Bob", "invalid", 25)
+assert isinstance(result, Failure)
+assert "Email must contain '@'" in result.failure()
+```
+
+### 7.8 型付きエラー
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+文字列の代わりに Enum を使うと、より型安全なエラー処理ができます。
+
+```python
+class ValidationError(Enum):
+    """バリデーションエラーの種類。"""
+    EMPTY_NAME = "Name cannot be empty"
+    INVALID_EMAIL = "Invalid email format"
+    AGE_TOO_YOUNG = "Age must be at least 18"
+    AGE_TOO_OLD = "Age cannot exceed 120"
+
+def validate_name_typed(name: str) -> Result[str, ValidationError]:
+    """名前を検証する（型付きエラー）。"""
+    if not name.strip():
+        return Failure(ValidationError.EMPTY_NAME)
+    return Success(name)
+
+def validate_age_typed(age: int) -> Result[int, ValidationError]:
+    """年齢を検証する（型付きエラー）。"""
+    if age < 18:
+        return Failure(ValidationError.AGE_TOO_YOUNG)
+    if age > 120:
+        return Failure(ValidationError.AGE_TOO_OLD)
+    return Success(age)
+```
+
+### 7.9 Result のユーティリティ
+
+**ソースファイル**: `app/python/src/grokking_fp/ch07_either.py`
+
+```python
+from returns.maybe import Maybe, Some, Nothing
+
+def result_to_maybe(result: Result[T, str]) -> Maybe[T]:
+    """Result を Maybe に変換する。"""
+    if isinstance(result, Success):
+        return Some(result.unwrap())
+    return Nothing
+
+def get_or_else(result: Result[T, str], default: T) -> T:
+    """Result から値を取得するか、デフォルト値を返す。"""
+    if isinstance(result, Success):
+        return result.unwrap()
+    return default
+
+def map_error(result: Result[T, str], f) -> Result[T, str]:
+    """エラーを変換する。"""
+    if isinstance(result, Failure):
+        return Failure(f(result.failure()))
+    return result
+
+def sequence_results(results: list[Result[T, str]]) -> Result[list[T], str]:
+    """全ての Result が Success なら、値のリストを返す。"""
+    values: list[T] = []
+    for r in results:
+        if isinstance(r, Success):
+            values.append(r.unwrap())
+        else:
+            return r
+    return Success(values)
+
+# 使用例
+assert get_or_else(Success(42), 0) == 42
+assert get_or_else(Failure("error"), 0) == 0
+
+assert sequence_results([Success(1), Success(2)]) == Success([1, 2])
+assert sequence_results([Success(1), Failure("error")]) == Failure("error")
+```
+
+---
+
+## まとめ
+
+### Part III で学んだこと
+
+```plantuml
+@startuml
+!theme plain
+
+rectangle "Part III: エラーハンドリングと型による安全性" {
+  rectangle "第6章" as ch6 {
+    card "Maybe 型"
+    card "Some / Nothing"
+    card "bind / map / lash"
+    card "エラーハンドリング戦略"
+  }
+
+  rectangle "第7章" as ch7 {
+    card "Result 型"
+    card "Success / Failure"
+    card "バリデーション"
+    card "代数的データ型"
+    card "パターンマッチング"
+  }
+}
+
+ch6 --> ch7
+
+@enduml
+```
+
+### Maybe vs Result
+
+| 特徴 | Maybe | Result |
+|------|-------|--------|
+| 成功時 | `Some(値)` | `Success(値)` |
+| 失敗時 | `Nothing` | `Failure(エラー)` |
+| エラー情報 | なし | あり |
+| 用途 | 値がない可能性 | 失敗理由が必要 |
+
+### キーポイント
+
+| 概念 | Python での実現方法 |
+|------|---------------------|
+| Maybe 型 | `returns.maybe.Maybe`, `Some`, `Nothing` |
+| Result 型 | `returns.result.Result`, `Success`, `Failure` |
+| 合成 | `bind`, `map`, `lash` |
+| ADT | `Enum`, `dataclass`, Union 型 |
+| パターンマッチング | `match`/`case` 文 |
+
+### 重要な法則
+
+1. **例外を避ける**: 型で失敗を表現する
+2. **合成可能性**: `bind` と `map` でチェーン
+3. **早期リターン**: 最初の失敗で処理を停止
+4. **型による安全性**: コンパイル時にエラー処理を強制
+
+### Python 特有のポイント
+
+- **`returns` ライブラリ**: `Maybe`, `Result` を提供
+- **`lash` メソッド**: `orElse` に相当（Nothing/Failure 時の代替）
+- **`bind` メソッド**: `flatMap` に相当
+- **パターンマッチング**: Python 3.10+ の `match`/`case`
+- **Union 型**: `|` で直和型を表現
+
+---
+
+## 演習問題
+
+### 問題 1: Maybe を使った安全な辞書アクセス
+
+辞書から安全に値を取得する関数を実装してください。
+
+```python
+def safe_get(d: dict[str, T], key: str) -> Maybe[T]:
+    ...
+
+# 期待される動作
+d = {"a": 1, "b": 2}
+assert safe_get(d, "a") == Some(1)
+assert safe_get(d, "c") == Nothing
+```
+
+<details>
+<summary>解答</summary>
+
+```python
+def safe_get(d: dict[str, T], key: str) -> Maybe[T]:
+    if key in d:
+        return Some(d[key])
+    return Nothing
+```
+
+</details>
+
+### 問題 2: Result を使ったバリデーション
+
+ユーザー名のバリデーション関数を実装してください。
+
+```python
+def validate_username(username: str) -> Result[str, str]:
+    """
+    - 空文字列: Failure("Username cannot be empty")
+    - 3文字未満: Failure("Username must be at least 3 characters")
+    - 20文字超: Failure("Username must be at most 20 characters")
+    - それ以外: Success(username)
+    """
+    ...
+```
+
+<details>
+<summary>解答</summary>
+
+```python
+def validate_username(username: str) -> Result[str, str]:
+    if not username:
+        return Failure("Username cannot be empty")
+    if len(username) < 3:
+        return Failure("Username must be at least 3 characters")
+    if len(username) > 20:
+        return Failure("Username must be at most 20 characters")
+    return Success(username)
+```
+
+</details>
+
+### 問題 3: 検索条件の追加
+
+名前の部分一致で検索する条件を追加してください。
+
+```python
+@dataclass(frozen=True)
+class SearchByName:
+    """名前で検索する条件。"""
+    name_contains: str
+
+# SearchCondition に追加
+SearchCondition = SearchByGenre | SearchByOrigin | SearchByActiveYears | SearchByName
+```
+
+<details>
+<summary>解答</summary>
+
+```python
+def matches_condition(artist: Artist, condition: SearchCondition) -> bool:
+    match condition:
+        case SearchByGenre(genres):
+            return artist.genre in genres
+        case SearchByOrigin(locations):
+            return artist.origin in locations
+        case SearchByActiveYears(start, end):
+            return was_artist_active(artist, start, end)
+        case SearchByName(name_contains):
+            return name_contains.lower() in artist.name.lower()
+```
+
+</details>
+
+### 問題 4: sequence の実装
+
+`Maybe` のリストを `Maybe[list]` に変換する関数を、`bind` を使って実装してください。
+
+```python
+def sequence_maybes_v2(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
+    """bind を使って sequence を実装する。"""
+    ...
+```
+
+<details>
+<summary>解答</summary>
+
+```python
+from functools import reduce
+
+def sequence_maybes_v2(maybes: list[Maybe[T]]) -> Maybe[list[T]]:
+    def append_if_some(acc: Maybe[list[T]], m: Maybe[T]) -> Maybe[list[T]]:
+        return acc.bind(lambda lst: m.map(lambda x: lst + [x]))
+
+    return reduce(append_if_some, maybes, Some([]))
+```
+
+</details>