EXPRESSIVE TYPE SYSTEMS FOR METROLOGY

Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg

Abstract

Modern programming language type systems help programmers write correct software, and the software they intended to write. We show how expressive types can be used to encode dimension and units of measure information, which can be used to avoid dimensional mistakes and guide software construction, and how types can even help to generate code automatically, which eliminates a whole class of bugs.

Keywords

type systems, correctness, programming languages

Download

IMEKO-TC6-2022-036.pdf

DOI

10.21014/tc6-2022.036

IMEKO TC

TC6 - Digitalization

Back to the proceedings