资源感知编程中的类型系统：机遇与挑战
摘要：类型系统为软件开发人员提供关于程序正确性的一个子集的即时反馈。集成开发环境经常利用类型系统来呈现错误、建议补全甚至改进导航。然而，了解程序执行的时间和能量消耗需要进行手动测试。 在本文中，我们识别了使用类型系统进行能量感知的现有工作，并定义了一个实用方法的要求，这些现有方法尚未完全解决。 此外，我们还讨论了现有类型系统如何帮助推广能效重构。
作者：Alcides Fonseca and Guilherme Espada
论文ID：2205.15211
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-14