Автор Eiffel как минимум.

никто не использовал elixir-ls на wsl?

даже если брать стандартное наркоманское "ооп это посылка сообщений", что в мире, данном в ощущениях, конечно же, уже давно не так, понятие контракта формулируется и применительно к посылке сообщений

А что мешает самому реализовать контракты, пусть и на сортирной дырке? Вау, вот это да, ведь так, оказывается, можно было, и никто не пострадал. Контракты работают потому, что есть проверки во время компиляции, но никто не мешает сделать себе такую абстракцию и работать с ней.

ну например потому что контракты это к системе типов относится, а не к ООП — вообще вещи пинпирдикулярные

Те вместо того, чтобы погуглить "design by contract",
изобретем собственное мнение.

идея контрактов в ооп приходит достаточно быстро, потому что без них ооп - вообще тухляк

Контракты - относится к процессам в голове программиста. Отсутствие системы типов никак не мешает контракт придумать, выполнять в коде и даже иногда проверять. Этим успешно занимались в языках с крайне простыми системами типов, без классов, без объектов и без исключений.

Очевидно же вроде, что "полиморфизм через наследование" ну или просто "наследование" предполагает наличие контракта. У родителя есть сигнатура, потомки должны её соблюсти - вот тебе контракт.

В объектно-ориентированном программировании контракт метода обычно включает следующую информацию:
- возможные типы входных данных и их значение;
- типы возвращаемых данных и их значение (диапазон?);
- условия возникновения исключений, их типы и значения;

я ж говорю — ООП и контракты вещи ортогональные

ооп и исключения это тоже вещи ортогональные

даже если на формализьмы посмотреть:
- ФП лябмда-исчисление
- ООП пи-исчисление
- DbC логика Хоара, в т.ч. и некоторые системы типов (HTT)

о чём спор вообще и какая его цель?

Проснуться

даже такие на эликсире пишут

все, кто пишут на эликсире - секси

Ты опять не прав, это в статически типизированных языках так. В динамически типизированных языках дай бог укажут арность функции. И то, что ты написал, называется сигнатурой. И да, при описании контрактов указывают сигнатуры (как и практически во всех языках) и не все сигнатуры содержат информацию о типах

И всё-таки, в java-style ООП присутствует свой собственных подход к контрактам. Например, через интерфейсы или даже абстрактные классы

Так что в ООП есть контракты