интерфейс это вроде просто контракт и не считается сабтайпингом
Но реализация интерфейса это его подтип на уровне системы типов. Ты же можешь передать ее туда, где ожидается интерфейс
наследование это отношения между двумя объектами, сам по себе интерфейс - не объект
Наследование и сабтайпинг это разные вещи
Так, можно фундаментальную ссылку на "сабтайпинг без наследования"? То ли это самое, чем котлин круче HM?
В вики вроде нормально написано https://en.wikipedia.org/wiki/Subtyping Если интересно в больших подробностях - Benjamin C. Pierce, Types and programming languages
Спасибо, но всё-таки прошу конкретнее-приземлённее о "крутизне котлина над HM"
тут не о крутизне речь
Крутизну вы сами сочинили.
Обсуждают сегодня