Le pattern matching sur les types sum c'est pour faire du raisonnement disjonctif, ou raisonnement par cas.
Tout à fait, et ce n'est pas du tout ce que permet de faire le given de Perl6, les fonctionnalités offertes sont très différentes, il ne s'agit pas de filtrer sur des types algébriques.
Pour avoir quelque chose de similaire au filtrage sur les regexp en OCaml, il faudrait déjà intégrer les regexp au langage (pour que la compilation des regexp se fasse à la compilation, et pas à l'exécution, et du coup avoir de meilleurs messages d'erreurs et moins tardifs, entre autres), ce qui demanderait d'utiliser camlp4/5 ou les ppx, et probablement s'amuser avec les GADTS comme ça a été fait avec printf (mais je dois dire que je sais pas les utiliser très bien, donc je dis peut-être une bêtise sur ce point).
[^] # Re: Ca sert à quoi Perl6 ?
Posté par anaseto . En réponse au journal Bientôt Noël pour Perl6. Évalué à 2.
Tout à fait, et ce n'est pas du tout ce que permet de faire le given de Perl6, les fonctionnalités offertes sont très différentes, il ne s'agit pas de filtrer sur des types algébriques.
Pour avoir quelque chose de similaire au filtrage sur les regexp en OCaml, il faudrait déjà intégrer les regexp au langage (pour que la compilation des regexp se fasse à la compilation, et pas à l'exécution, et du coup avoir de meilleurs messages d'erreurs et moins tardifs, entre autres), ce qui demanderait d'utiliser camlp4/5 ou les ppx, et probablement s'amuser avec les GADTS comme ça a été fait avec printf (mais je dois dire que je sais pas les utiliser très bien, donc je dis peut-être une bêtise sur ce point).