Есть ли полиморфизм в языках с динамической типизацией?

Question

[nonane00234]

Есть ли полиморфизм в языке python?
Если есть то в каком виде он выражается?

На примере с языками со статической типизацией - понятно зачем он нужен.

Comments

[Максим Федоров]

еще раз пройдитесь по полиморфизму

[nonane00234]

Максим Федоров, не понял вас

[Дмитрий Беляев]

Для чего нужен полиморфизм?

Answer 1

[Дмитрий Шицков]

Полиморфи́зм — возможность объектов с одинаковой спецификацией иметь различную реализацию.

Динамическая типизация тут никаким боком. А абстрактные классы и наследование у python в наличии

Comments

[nonane00234]

без абстрактных классов и наслаивания в python можно добиться полиморфизма?

[Дмитрий Шицков]

nonane00234, как вы собираетесь добиться полиморфизма в ООП без наследования вообще?
Или вопрос полиморфизма в ООП вас не интересуют? Увы, но в Питоне всё "классы" и "объекты", так что
https://foxford.ru/wiki/informatika/polimorfizm-fu...

[nonane00234]

Дмитрий Шицков, и кстати без абстракции(или базового класса) не обойтись например в языках C++ или C#

а вот на примере python не понимаю

[Дмитрий Шицков]

nonane00234, это вот не понял. То что есть абстрактные или базовые классы не значит что их строго необходимо использовать.

[nonane00234]

Дмитрий Шицков, да

Answer 2

[Дмитрий]

>>> class SomeClass:
...     def __init__(self, x):
...             self.x = x
...     def __sub__(self, other):
...             return self.x + other.x
... 
>>> sc1 = SomeClass(10)
>>> sc2 = SomeClass(5)
>>> sc1 - sc2
15

Answer 3

[mayton2019]

Полиморфизм - относится к базовым возможностям ООП. Тоесть к способности рассматривать объекты сквозь призму базового интерфейса.

Типизация - это обычно свойство компиллятора (или рантайма) по определению выводу типа каждой переменной.

Это две разных оси измерений вобщем-то. Квадрат по сути ч 4 ячейками. Есть полиморфизм или нет. И статический тип или динамический.

Comments

[Дмитрий Беляев]

типичное заблуждение, что полиморфизм - это про ООП...

[mayton2019]

Беря во внимание что автор - новичок, нет смысла говорить про другие виды полиморфизма. Это не прояснит его вопрос а только больше запутает. Кроме того само понимание ООП в наше время сильно отличается в разных ЯП. Тоесть грубо говоря есть некое сферическое ООП о котором пишут Фаулер и Бек. И есть ООП в языке где вместе с ООП вам продают и шаблонизаторы и рефлекцию. Поэтому рассматривать ООП в теории для новичка вообще нет смысла. Пускай он просто изучает возможности Питона и С++ и после этого сам придет к теоретическому вопросу и к тому какое ООП внутри Хаскеля или Эрланга.