论文标题
在资源感知编程中类型系统：机遇和挑战
Type Systems in Resource-Aware Programming: Opportunities and Challenges
论文作者
论文摘要
类型系统为软件开发人员提供有关其程序的正确性属性子集的立即反馈。 IDE集成通常会利用类型系统来提出错误，建议完成甚至改善导航。另一方面，了解程序执行的时间和能耗需要手动测试。 在本文中，我们确定了有关使用类型系统以提高能源意识的现有工作，并确定了实用方法的要求，现有方法无法完全解决。 此外，我们还讨论了现有类型系统如何帮助推广重构以提高能源效率。
Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to present errors, suggest completions and even improve navigation. On the other hand, understanding the time and energy consumption of the execution of a program requires manual testing. In this paper, we identify existing work on using type systems for energy awareness, and define the requirements for a practical approach, which the existing approaches do not address fully. Furthermore, we also discuss how existing type systems can help generalize refactors for energy-efficiency.
