Object 带有未使用值警告的编程语言

Object 带有未使用值警告的编程语言,object,types,initialization,unused-variables,Object,Types,Initialization,Unused Variables,对于未使用的对象(变量/值/等等),可以通过编译错误/警告来防止我们所犯的编程错误 用例如下所示: 我们在循环中调用一个函数,然后将它返回的每个值添加到一个列表中 在代码中,循环完成后,我们只使用列表的大小,而不使用添加到列表中的单个对象 这个错误纯粹是“人为的”,事后看来相当明显。当查看代码时,您会得到这样一种印象,即对象正在处理中,因为它们已添加到列表中等 我正在努力避免将来犯这种错误。这看起来像是可以自动化的东西。 例如:如果您创建了一个对象(或值,甚至),但从未“使用”过它-您将收到一条

对于未使用的对象(变量/值/等等),可以通过编译错误/警告来防止我们所犯的编程错误

用例如下所示:

  • 我们在循环中调用一个函数,然后将它返回的每个值添加到一个列表中
  • 在代码中,循环完成后,我们只使用列表的大小,而不使用添加到列表中的单个对象
  • 这个错误纯粹是“人为的”,事后看来相当明显。当查看代码时,您会得到这样一种印象,即对象正在处理中,因为它们已添加到列表中等

    我正在努力避免将来犯这种错误。这看起来像是可以自动化的东西。 例如:如果您创建了一个对象(或值,甚至),但从未“使用”过它-您将收到一条警告,除非您在特定上下文中故意将其标记为未使用

    我很好奇是否有支持类似功能的编程语言/类型系统