Я видел, как оба используются взаимозаменяемо, но действительно ли они означают одно и то же? Насколько я понимаю, полиморфизм расширяет тот факт, что вы можете обмениваться экземпляром класса экземпляром подкласса, а позднее связывание означает, что когда вы вызываете метод экземпляра, тип решает, какой метод (подкласс / суперкласс) будет вызван.