Tutoriel par Examples: discriminés



Parfois, il est utile de créer des types d'union avec un seul cas pour implémenter des types de type enregistrement: type Point = Point of float * float let point1 = Point(0.0, 3.0) let point2 = Point(-2.5, -4.0) Celles-ci deviennent très utiles car elles peuvent être décomposées via un...
Dans le cas d'un type d'enregistrement discriminé, certains composants sont appelés discriminants et les composants restants peuvent en dépendre. Les discriminants peuvent être considérés comme paramétrant le type, et la syntaxe révèle cette analogie. Dans cet exemple, nous créons un type q...

Page 1 de 1