Are there any languages that get finalizers right? As in, are there any languages that at least make a best effort to run finalizers? To me, it seems like lan

Are there any languages that get finalizers right? As in, are there any languages that at least make a best effort to run finalizers? To me, it seems like languages like Java and C# go "we can't do it in every conceivable situation, so let's punt it always". Not an ideal "solution". You don't see optimizers optimizing functions to "throw OutOfMemoryError", so why do they do the equivalent with finalizers?