Des unités dans le typeur
Résumé
Nous présentons dans cet article une extension du typeur d'OCaml permettant de représenter les unités de mesure. L'introduction de tels types permet un typage plus n des valeurs numériques dans des applications telles que le calcul scientique. Notre implémentation utilise l'algorithme de Kennedy pour l'unication des unités, mais la comparaison nécessite quant à elle un nouvel algorithme, que nous présentons en détail.
Domaines
Langage de programmation [cs.PL]
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...