私たちが持っていたプログラミングの間違いは、未使用のオブジェクト (変数/値/その他) に対するコンパイル エラー/警告で防ぐことができました。
ユースケースは次のとおりでした。
- ループ内で関数を呼び出し、それが返す各値をリストに追加します
- ループが終了したら、さらにコードで、リストのサイズのみを使用し、リストに追加した個々のオブジェクトは使用しません。
間違いは純粋に「人間」によるものであり、後から考えると明らかです。コードを見ると、オブジェクトがリストなどに追加されているため、オブジェクトに対して何かが行われているような印象を受けます。
今後はこのようなミスがないように努めたいと思います。自動化できるもののようです。例: オブジェクト (または値) を作成しても、それを「使用」しない場合、特定のコンテキストで意図的に未使用としてマークしない限り、警告が表示されます。
同様の機能をサポートするプログラミング言語/型システムがあるかどうか興味があります。