Xavier Van de Woestyne

Effets Algébriques pour écrire de "vrais logiciels"

La programmation fonctionnelle est encore souvent perçue comme difficilement utilisable pour écrire de "vrais logiciels" : si tout doit être mathématiquement pur, comment effectuer un effet sur le monde exterieur ? Comment écrire dans une base de données, modifier un fichier ? On veut pouvoir "effectuer des effets". C'est en partie pour la gestion de ces effets que l'on pense que la programmation fonctionnelle n'est pas adaptée au monde réel.
Dans cette présentation, je vous propose de découvrir les effets algébriques, une fonctionnalité rare dans les langages mainstream comme OCaml et Haskell et ensuite, après avoir salivé... comment s'en passer en attendant que le futur devienne le présent.