npm - @k2works/claude-code-booster - Versions diffs - 4.12.0 → 4.14.0 - Mend

@k2works/claude-code-booster 4.12.0 → 4.14.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 (751) hide show

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

@@ -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>