Videla, A; Lines, K (2025) Functional Programming (with some Type Theory) for Metrology. NPL Report. MS 60

Preview

Text (NPL Report MS60) MS60.pdf - Published Version Download (838kB) | Preview

Abstract

Results are presented of an investigation by the NPL Data Science department [1] and the Mathematically Structured Programming Group of the University of Strathclyde [2] into how functional programming and type theory could increase trustworthiness of software for metrology. Examples of software that help provide NPL measurement services are explored. Functional languages, such as Haskell and Idris2 (which provides dependent types), can be used to develop code that is more concise, and more self-evidently correctly implement underlying mathematical models, than more traditional imperative languages such as Python or Visual Basic. This report is not a detailed introduction to functional programming or type theory. Sufficient background information is provided to ensure readers unfamiliar with these subject can follow the case studies and the authors’ conclusions. References giving further details are provided.

Item Type:	Report/Guide (NPL Report)
NPL Report No.:	MS 60
Keywords:	functional programming type theory
Subjects:	Mathematics and Scientific Computing > Software Engineering
Divisions:	Data Science
Identification number/DOI:	10.47120/npl.MS60
Last Modified:	26 Jun 2025 12:57
URI:	https://eprintspublications.npl.co.uk/id/eprint/10181