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.
翻译：类型系统能立即为软件开发者提供关于其程序正确性特性的子集的反馈。 IDE整合常常利用类型系统来显示错误、建议完成甚至改进导航。 另一方面,了解执行程序的时间和能源消耗需要人工测试。 在本文中,我们确定了使用能源意识类型系统的现有工作,并界定了实用方法的要求,而现有方法并未充分解决这些要求。此外,我们还讨论了现有类型系统如何帮助普及能源效率的再要素。
相关内容
微信扫码咨询专知VIP会员