Conor McBride, Georgi Nakov, Fredrik Nordvall Forsberg
{"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}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
