Kotlin Academy · レッスン

Arrow Raise DSL：型付きエラーの合成

Q: 「Arrow Raise DSL：型付きエラーの合成」で何を学びますか？

ArrowのRaiseコンテキストとraise()を使用して、複数のエラーを含むフローをすっきり合成します。 ブラウザで直接実行するハンズオンコードでKotlin Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

ArrowのRaiseコンテキストとraise()を使用して、複数のエラーを含むフローをすっきり合成します。

「Arrow Raise DSL：型付きエラーの合成」はCoddyKit上の無料Kotlin Academyレッスンです。これはレッスン2/4です。下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。これはKotlin Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 Kotlin Academyコースには全4レッスンが含まれています。

Eitherの連結が抱える制限

複数の処理を順番に実行する場合、flatMapでEitherを連結すると、ラムダが深くネストされます。Arrow 1.2で導入されたRaise DSLでは、Kotlinのコンテキストレシーバーまたは拡張関数を使い、コルーチン風のより簡潔な構文を利用できます。

Raise<E>とは

Raiseは、型Eのエラーをraise（短絡して通知）できるコンテキストです。失敗する可能性のある関数はraise(error)を呼び出して処理を中断し、エラーを伝播させます。これは例外をスローする場合と似ていますが、例外は使用しません。

either { }ビルダー

either { }ビルダーは、Raiseがスコープ内にあるブロックからEitherを作成します。ブロック内では、失敗時にraise(error)を呼び出し、成功時には値をそのまま返します。

import arrow.core.raise.either
import arrow.core.raise.Raise

fun validateAge(age: Int): Either<String, Int> = either {
    if (age < 0) raise("Age cannot be negative")
    if (age > 150) raise("Age too large")
    age
}

bind() — either{}内でEitherをアンラップする

either { }ブロック内では、任意のEitherの値に対して.bind()を呼び出し、値をアンラップできます。値がLeftの場合、bind()が自動的にraiseを実行し、ブロックを短絡します。

fun createUser(name: String, age: Int): Either<String, User> = either {
    val validName = validateName(name).bind()  // raises if Left
    val validAge  = validateAge(age).bind()    // raises if Left
    User(validName, validAge)                  // only reached if both succeed
}

ensure() — インラインで条件をチェックする

ensure(condition) { error }は、if (!condition) raise(error)を簡潔に書くための構文です。バリデーションロジックを簡潔に保てます。

fun validateEmail(email: String): Either<String, String> = either {
    ensure(email.contains("@")) { "Email must contain @" }
    ensure(email.length <= 255) { "Email too long" }
    email
}

ensureNotNull() — Raiseによるnullチェック

ensureNotNull(value) { error }は、null許容の値をアンラップします。値がnullの場合はraiseを実行します。

fun findUser(id: Long, repo: UserRepo): Either<UserError, User> = either {
    ensureNotNull(repo.findById(id)) { UserError.NotFound(id) }
}

コンテキストレシーバーでRaiseする（Arrow 1.2以降）

either { }でラップせずに、Raiseコンテキストを直接必要とする関数を宣言できます。

context(Raise<String>)
fun requirePositive(n: Int): Int {
    ensure(n > 0) { "Must be positive" }
    return n
}

// Called inside either { }
val result = either { requirePositive(-1) }  // Left("Must be positive")

zipOrAccumulateでエラーを蓄積する

デフォルトでは、Raiseは最初のエラーで処理を短絡します。zipOrAccumulate()を使用すると、複数のバリデーションを実行し、すべてのエラーをNonEmptyListに収集できます。

val result: Either<NonEmptyList<String>, User> = either {
    zipOrAccumulate(
        { validateName(name).bind() },
        { validateAge(age).bind() }
    ) { validName, validAge -> User(validName, validAge) }
}

recover { } — 特定のエラーを処理する

either { }内でrecover { error -> ... }を使用すると、raiseされた特定のエラーを処理してフォールバック値を提供し、計算を再開できます。

val name: String = either {
    findUser(0L).bind().name
}.recover { error ->
    if (error == UserError.NotFound) "Guest" else raise(error)
}.getOrNull() ?: "Guest"

RaiseとEitherの連結：使い分け

複数の手順を順番に実行する処理にはeither { }.bind()を使用します。命令型コードのように読めますが、純粋性は保たれます。短い2段階の合成や、ほかの関数型ライブラリとの組み合わせにはflatMapによる連結を使用します。

Raiseベースの関数をテストする

either { }内で関数を呼び出し、結果をアサートしてテストします。ArrowのshouldBeLeft()およびshouldBeRight()というKotestマッチャーを使うと、アサーションを簡潔に記述できます。

import arrow.core.shouldBeLeft
import arrow.core.shouldBeRight

@Test
fun `negative age returns Left`() {
    validateAge(-1).shouldBeLeft()
}

@Test
fun `valid age returns Right`() {
    validateAge(25).shouldBeRight(25)
}

理解度チェック

either { }ブロック内で、Either.Leftの値に対して.bind()を呼び出すとどうなりますか。

振り返り：Arrow Raise DSL

主なポイント：

either { }は、Raiseがスコープ内にあるブロックからEitherを作成します
.bind()はEitherをアンラップします。Leftで処理を短絡します
インラインのチェックにはensure(condition) { error }とensureNotNull(value) { error }を使用します
短絡せずに複数のエラーを収集するにはzipOrAccumulate()を使用します
純粋な関数型のまま、命令型コードのように記述できます

よくある質問

「Arrow Raise DSL：型付きエラーの合成」レッスンは無料ですか？

はい。「Arrow Raise DSL：型付きエラーの合成」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、Kotlin Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 Kotlin Academyコースには全4レッスンが含まれています。

「Arrow Raise DSL：型付きエラーの合成」で何を学びますか？

ArrowのRaiseコンテキストとraise()を使用して、複数のエラーを含むフローをすっきり合成します。ブラウザで直接実行するハンズオンコードでKotlin Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

Kotlin Academyを始めるのに経験は必要ですか？

事前経験は必要ありません。CoddyKitのKotlin Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。これはレッスン2/4です。

「Arrow Raise DSL：型付きエラーの合成」レッスンにはどのくらい時間がかかりますか？

ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このKotlin Academyレッスンでコードを書いて実行できますか？

はい。すべてのKotlin Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

← Kotlin Academyに戻る