тот пример, что вот выше товарищ привел - никто не отрицал полезность варнинга в том случае, но не статики, потому что контекст вообще может быть какой угодно. и при чем там вообще статика, если eql реально ниче проверять даже и не должен
допустим у тебя крутится образ, использующий какую-то функцию версии 1, ты в репле ввел определение версии 2 - и вуаля, везде теперь оно и будет использоваться, горячая замена кода все дела