Windu said:
well the debate basically is whether or not his numbers are good enough when you compare him to with the rest of the pitchers out there (aka starters). That is where the debate is, no reliever is going to have numbers like a hall of fame starter and whether they should be in is debatable. But, he is the best reliever of his generation so that is probably good enough.
If you want to talk strictly sabermetrically, Mariano has a career ~55 bWAR and ~38 fWAR. The quick and lazy cutoff for Hall of Fame consideration is around 50 or so.
To add additional context, fWAR relies solely on FIP, which means it operates under the assumption that Mariano's career BABIP is all defense-dependent, when one can easily make the argument that his ability to suppress his BABIP is in fact a skill. bWAR uses runs allowed which is why his WAR is higher there.
Then there's his career 0.71 ERA in almost 140 postseason innings. I'm pretty sure that will be taken into account too.
Even if you completely ignore the FIP thing, WAR does not take leverage into account at all. The fact that Mariano has historically on-average pitched in far more high-leverage situations then your typical starting pitcher absolutely should be taken into account. Hardball Times did exactly this in
this article. By applying Mariano's leverage index to his innings pitched and taking his postseason into account, the writer determined that, given the data he had at the time, Mariano was sabermetrically a borderline Hall of Famer, and only because he had pitched so few innings at the time.
Oh by the way, I should mention that that article I just linked was written
seven and a half years ago.
So no, there is no real debate about this at all whether looking at him from a traditional viewpoint or a sabermetric one.