‏Either<L, R>: معالجة الأخطاء ذات الأنواع من دون استثناءات

مشكلة استخدام الاستثناءات في منطق الأعمال

ما هو Either<L, R>؟

Either في Arrow

// build.gradle.kts
implementation("io.arrow-kt:arrow-core:1.2.4")

// Usage
import arrow.core.Either
import arrow.core.left
import arrow.core.right

إرجاع Either من دالة

sealed class UserError { object NotFound : UserError(); data class InvalidEmail(val msg: String) : UserError() }

fun findUser(id: Long): Either<UserError, User> =
    if (id <= 0) UserError.NotFound.left()
    else User(id, "Alice").right()

استهلاك Either باستخدام fold

val result = findUser(1L)
val message = result.fold(
    ifLeft  = { error -> "Error: $error" },
    ifRight = { user  -> "Found: ${user.name}" }
)
println(message)

تحويل قيمة Right باستخدام map

val nameResult: Either<UserError, String> = findUser(1L).map { it.name }

التسلسل باستخدام flatMap

fun validateEmail(email: String): Either<UserError, String> =
    if (email.contains("@")) email.right()
    else UserError.InvalidEmail("bad format").left()

fun createUser(email: String): Either<UserError, User> =
    validateEmail(email).flatMap { validEmail ->
        User(1L, validEmail).right()
    }

‏Either.catch لتغليف الاستثناءات

val result: Either<Throwable, User> = Either.catch {
    userRepository.findOrThrow(id)
}

التعافي باستخدام getOrElse وorElse

val user: User = findUser(0L).getOrElse { User(-1L, "Guest") }
val user2: Either<UserError, User> = findUser(0L).orElse { User(99L, "Default").right() }

مطابقة الأنماط باستخدام when

when (val r = findUser(1L)) {
    is Either.Left  -> println("Error: ${r.value}")
    is Either.Right -> println("User: ${r.value.name}")
}

Either في طبقات الخدمات

get("/users/{id}") {
    val id = call.parameters["id"]?.toLongOrNull() ?: return@get call.respond(HttpStatusCode.BadRequest)
    userService.findById(id).fold(
        ifLeft  = { call.respond(HttpStatusCode.NotFound) },
        ifRight = { call.respond(it) }
    )
}

تحقق سريع

مراجعة: Either<L, R>