Kotlin Academy · Leçon

Modélisation fonctionnelle du domaine avec les types de base d’Arrow

Modélisez des domaines complexes avec Either, NonEmptyList et l’accumulation d’erreurs validées.

Modélisation fonctionnelle du domaine avec les types de base d’Arrow est une leçon Kotlin Academy gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Kotlin Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Kotlin Academy comprend 4 leçons au total.

Qu’est-ce que la modélisation fonctionnelle du domaine ?

La modélisation fonctionnelle du domaine utilise des types algébriques (Either, Option, classes scellées) pour encoder les règles métier dans les types. Les états invalides deviennent impossibles à représenter lors de la compilation, et les erreurs sont explicites dans les signatures de fonctions : aucune exception dissimulée.

Objets valeur avec des classes inline/de valeur

Utilisez les classes de valeur de Kotlin pour encapsuler les types primitifs et éviter l’obsession des primitifs. Le système de types refuse de transmettre un UserId lorsqu’un PostId est attendu :

@JvmInline value class UserId(val value: Long)
@JvmInline value class PostId(val value: Long)

fun findUser(id: UserId): Either<UserError, User> = TODO()
// findUser(PostId(1L))  // Compile error!

Classes scellées pour les erreurs du domaine

Modélisez les erreurs sous forme de hiérarchies de classes scellées. Chaque sous-classe ne contient que les données pertinentes pour le cas d’erreur correspondant :

sealed class UserError {
    data class NotFound(val id: UserId) : UserError()
    data class EmailTaken(val email: String) : UserError()
    data class ValidationFailed(val field: String, val reason: String) : UserError()
}

Validated : accumuler plusieurs erreurs

Lorsque vous souhaitez signaler toutes les erreurs de validation en une seule fois, et pas seulement la première, utilisez Validated d’Arrow (ou zipOrAccumulate dans la DSL Raise). Les erreurs sont accumulées dans une NonEmptyList :

import arrow.core.Validated
import arrow.core.valid
import arrow.core.invalid

fun validateName(name: String): Validated<String, String> =
    if (name.isNotBlank()) name.valid() else "Name is blank".invalid()

Composer les validations

Utilisez zip() pour combiner plusieurs résultats Validated. Si l’un d’eux est Invalid, toutes les erreurs sont accumulées :

val result: Validated<NonEmptyList<String>, User> =
    validateName(name).zip(validateEmail(email)) { n, e -> User(n, e) }
        .mapLeft { it }

Rendre les états illégaux impossibles à représenter

Au lieu d’utiliser un User avec un email nullable et un indicateur isVerified, utilisez des sous-classes scellées afin que le système de types empêche l’accès à l’adresse e-mail d’un utilisateur non vérifié :

sealed class User {
    data class Unverified(val id: UserId, val pendingEmail: String) : User()
    data class Verified(val id: UserId, val email: String) : User()
}

Constructeurs intelligents

Utilisez des fonctions d’usine de l’objet compagnon qui renvoient Either ou Option, plutôt que des constructeurs publics. Vous garantissez ainsi que les instances sont toujours dans un état valide :

class Email private constructor(val value: String) {
    companion object {
        fun of(raw: String): Either<String, Email> =
            if (raw.contains("@") && raw.length <= 255) Email(raw).right()
            else "Invalid email format".left()
    }
}

Combiner Either et Option dans une chaîne de traitement

Une véritable opération du domaine enchaîne généralement des recherches dans les référentiels (Option) et des validations (Either). Utilisez le bloc either { } d’Arrow avec .bind() pour les composer naturellement :

fun createPost(authorId: UserId, title: String, body: String): Either<PostError, Post> = either {
    val author = userRepo.findById(authorId).toEither { PostError.AuthorNotFound }.bind()
    val validTitle = validateTitle(title).bind()
    postRepo.save(Post(author, validTitle, body))
}

Immuabilité et copie

Les entités du domaine doivent être immuables. Utilisez des classes de données et copy() pour dériver de nouveaux états. Le Lens d’Arrow (fourni par arrow-optics) permet d’effectuer facilement des mises à jour imbriquées sans mutation :

val updated = user.copy(email = "new@example.com")
// Arrow Optics:
val emailLens = User.email
val updatedWithLens = emailLens.set(user, "new@example.com")

Configuration sûre par typage avec des classes scellées

Modélisez les variantes de la configuration de l’application avec des classes scellées afin que le compilateur vous oblige à gérer chaque cas :

sealed class DbConfig {
    data class Postgres(val url: String, val user: String, val pass: String) : DbConfig()
    data class InMemory(val dbName: String = "test") : DbConfig()
}

Avantages en un coup d’œil

La modélisation fonctionnelle du domaine avec les types fondamentaux d’Arrow offre :

Aucune exception de pointeur nul dans le code du domaine
Des erreurs visibles dans les signatures de fonctions
Des vérifications exhaustives avec when sur les hiérarchies scellées
Des fonctions pures faciles à tester
Du code qui se documente lui-même

Vérification rapide

Quel est le principal avantage d’utiliser une hiérarchie de sealed class pour les erreurs du domaine plutôt que de lever des exceptions ?

Récapitulatif : modélisation fonctionnelle du domaine avec les types fondamentaux d’Arrow

Points clés :

Les classes de valeur évitent l’obsession des primitifs
Les hiérarchies d’erreurs scellées rendent les cas d’échec exhaustifs et sûrs du point de vue du typage
Les constructeurs intelligents garantissent des instances valides
either { }.bind() compose proprement les opérations susceptibles d’échouer
Les données immuables et copy() / Arrow Optics assurent des transitions d’état sûres

Questions Fréquemment Posées

La leçon « Modélisation fonctionnelle du domaine avec les types de base d’Arrow » est-elle gratuite ?

Oui — le texte complet de « Modélisation fonctionnelle du domaine avec les types de base d’Arrow » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Kotlin Academy, passe à CoddyKit PRO. Le cours Kotlin Academy comprend 4 leçons au total.

Qu'est-ce que j'apprendrai dans « Modélisation fonctionnelle du domaine avec les types de base d’Arrow » ?

Modélisez des domaines complexes avec Either, NonEmptyList et l’accumulation d’erreurs validées. Tu pratiques Kotlin Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.

Dois-je avoir de l'expérience pour commencer Kotlin Academy ?

Aucune expérience préalable n'est requise. Kotlin Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.

Combien de temps prend la leçon « Modélisation fonctionnelle du domaine avec les types de base d’Arrow » ?

La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.

Peux-tu écrire et exécuter du code dans cette leçon Kotlin Academy ?

Oui. Chaque leçon Kotlin Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.

Toutes les leçons de ce cours

Either : gestion typée des erreurs sans exceptions
DSL Raise d’Arrow : composer des erreurs typées
Option et nullable : quand utiliser chacun
Modélisation fonctionnelle du domaine avec les types de base d’Arrow

← Retour à Kotlin Academy