计量的表达型系统

Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022 Pub Date : 1900-01-01 DOI:10.21014/tc6-2022.036

Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg

{"title":"计量的表达型系统","authors":"Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg","doi":"10.21014/tc6-2022.036","DOIUrl":null,"url":null,"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.","PeriodicalId":441252,"journal":{"name":"Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022","volume":"125 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"EXPRESSIVE TYPE SYSTEMS FOR METROLOGY\",\"authors\":\"Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg\",\"doi\":\"10.21014/tc6-2022.036\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":441252,\"journal\":{\"name\":\"Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022\",\"volume\":\"125 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.21014/tc6-2022.036\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21014/tc6-2022.036","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

现代编程语言类型系统帮助程序员编写正确的软件，以及他们想要编写的软件。我们展示了如何使用表达型来编码维度和度量信息的单位，这些信息可以用来避免维度错误并指导软件构造，以及类型如何帮助自动生成代码，从而消除一整类错误。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

EXPRESSIVE TYPE SYSTEMS FOR METROLOGY

– 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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022

自引率

0.00%

发文量