Utiliser Option et Future
Chaînage monadique
Utiliser Option et Future est une leçon Scala for Backend Engineering & Functional Programming 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 Scala for Backend Engineering & Functional Programming, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Scala for Backend Engineering & Functional Programming comprend 4 leçons au total.
Au-delà des collections
Les for-comprehensions ne se limitent pas aux listes. Tout type qui fournit map et flatMap peut être utilisé, notamment Option, Either, Try et Future. On appelle cela l'enchaînement monadique.
object Main {
def main(args: Array[String]): Unit = {
val sum = for {
a <- Some(10)
b <- Some(20)
} yield a + b
println(sum)
}
}Option s'arrête dès None
Avec Option, la compréhension produit un résultat uniquement si tous les générateurs sont Some. Si l'un d'eux est None, le résultat entier est None et les étapes suivantes sont ignorées.
object Main {
def main(args: Array[String]): Unit = {
val ok = for {
a <- Some(2)
b <- Some(3)
} yield a * b
val missing = for {
a <- Some(2)
b <- None: Option[Int]
} yield a * b
println(ok)
println(missing)
}
}Enchaîner des recherches facultatives
Un schéma courant consiste à rechercher des clés dans une Map, chaque recherche renvoyant un Option. La for-comprehension produit une valeur uniquement si toutes les recherches réussissent.
object Main {
def main(args: Array[String]): Unit = {
val prices = Map("apple" -> 3, "bread" -> 5)
val total = for {
a <- prices.get("apple")
b <- prices.get("bread")
} yield a + b
println(total)
val missing = for {
a <- prices.get("apple")
c <- prices.get("milk")
} yield a + c
println(missing)
}
}Pourquoi cette approche est préférable aux if-else imbriqués
Sans les for-comprehensions, il faudrait imbriquer des correspondances de motifs ou des vérifications de valeurs nulles. La forme monadique transforme cette pyramide en une séquence linéaire claire.
object Main {
def parse(s: String): Option[Int] = s.toIntOption
def main(args: Array[String]): Unit = {
val result = for {
x <- parse("40")
y <- parse("2")
} yield x + y
println(result)
}
}Les gardes fonctionnent aussi avec Option
Une garde dans une compréhension utilisant Option transforme une valeur en None lorsque la condition échoue, ce qui agit comme une validation intégrée.
object Main {
def main(args: Array[String]): Unit = {
def validate(age: Int): Option[Int] =
for {
a <- Some(age)
if a >= 18
} yield a
println(validate(25))
println(validate(15))
}
}Présentation de Future
Un Future représente une valeur qui sera disponible ultérieurement. Comme Option, il possède map et flatMap ; les for-comprehensions permettent donc d'enchaîner des étapes asynchrones.
import scala.concurrent.Future
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.Await
import scala.concurrent.duration._
object Main {
def main(args: Array[String]): Unit = {
val f = for {
a <- Future(10)
b <- Future(20)
} yield a + b
println(Await.result(f, 2.seconds))
}
}Les Future s'exécutent séquentiellement ici
Lorsqu'un générateur dépend d'un autre dans une for-comprehension, les Future s'exécutent séquentiellement, car chaque flatMap attend le résultat précédent.
import scala.concurrent.Future
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.Await
import scala.concurrent.duration._
object Main {
def main(args: Array[String]): Unit = {
val f = for {
a <- Future(5)
b <- Future(a * 2)
} yield a + b
println(Await.result(f, 2.seconds))
}
}Exécuter des Future en parallèle
Pour exécuter des Future en parallèle, démarrez-les avant la for-comprehension, puis combinez-les. Les opérations indépendantes se chevauchent au lieu d'attendre.
import scala.concurrent.Future
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.Await
import scala.concurrent.duration._
object Main {
def main(args: Array[String]): Unit = {
val fa = Future(100)
val fb = Future(200)
val combined = for {
a <- fa
b <- fb
} yield a + b
println(Await.result(combined, 2.seconds))
}
}Either pour des erreurs plus détaillées
Either[E, A] contient une valeur d'erreur en cas d'échec. Dans une for-comprehension, le premier Left interrompt l'exécution et est renvoyé.
object Main {
def parse(s: String): Either[String, Int] =
s.toIntOption.toRight(s"not a number: $s")
def main(args: Array[String]): Unit = {
val good = for { a <- parse("3"); b <- parse("4") } yield a + b
val bad = for { a <- parse("3"); b <- parse("x") } yield a + b
println(good)
println(bad)
}
}La même structure pour de nombreux types
Remarquez que la compréhension semble identique avec Option, Either, Try ou Future. Seule la sémantique des échecs diffère. Cette uniformité fait la force de l'enchaînement monadique.
import scala.util.Try
object Main {
def main(args: Array[String]): Unit = {
val result = for {
a <- Try("21".toInt)
b <- Try("2".toInt)
} yield a * b
println(result)
}
}Le mélange de types est interdit
Tous les générateurs d'une même compréhension doivent appartenir à la même monade. Vous ne pouvez pas mélanger directement un générateur Option avec un générateur Future ; convertissez d'abord l'un des deux, par exemple avec Future.fromTry, ou encapsulez l'Option.
object Main {
def main(args: Array[String]): Unit = {
// Convert the Option to keep types consistent
val maybe: Option[Int] = Some(7)
val result = for {
a <- maybe
b <- maybe.map(_ + 1)
} yield a + b
println(result)
}
}Vérification rapide
Dans une for-comprehension utilisant Option, que se passe-t-il si un générateur produit None ?
Récapitulatif
Vous avez appris l'enchaînement monadique avec les for-comprehensions :
- Il fonctionne avec tout type possédant
mapetflatMap Options'arrête dèsNoneEitheretTrys'arrêtent en cas d'échec tout en transportant les informations d'erreurFutureenchaîne les étapes asynchrones ; démarrez-les tôt pour les exécuter en parallèle- Tous les générateurs doivent partager le même type de monade
Questions Fréquemment Posées
La leçon « Utiliser Option et Future » est-elle gratuite ?
Oui — le texte complet de « Utiliser Option et Future » 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 Scala for Backend Engineering & Functional Programming, passe à CoddyKit PRO. Le cours Scala for Backend Engineering & Functional Programming comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Utiliser Option et Future » ?
Chaînage monadique Tu pratiques Scala for Backend Engineering & Functional Programming 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 Scala for Backend Engineering & Functional Programming ?
Aucune expérience préalable n'est requise. Scala for Backend Engineering & Functional Programming 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 « Utiliser Option et Future » ?
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 Scala for Backend Engineering & Functional Programming ?
Oui. Chaque leçon Scala for Backend Engineering & Functional Programming 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
- Désucrage de for
- Filtrer avec if
- Générateurs multiples
- Utiliser Option et Future