169 похожих чатов

А как реализовать интерфейс без сабтайпинга?

9 ответов

25 просмотров

интерфейс это вроде просто контракт и не считается сабтайпингом

Denis-Kalinochkin Автор вопроса
Aλex Sokol
интерфейс это вроде просто контракт и не считается...

Но реализация интерфейса это его подтип на уровне системы типов. Ты же можешь передать ее туда, где ожидается интерфейс

Denis Kalinochkin
Но реализация интерфейса это его подтип на уровне ...

наследование это отношения между двумя объектами, сам по себе интерфейс - не объект

Denis-Kalinochkin Автор вопроса
Aλex Sokol
наследование это отношения между двумя объектами, ...

Наследование и сабтайпинг это разные вещи

Denis Kalinochkin
Наследование и сабтайпинг это разные вещи

Так, можно фундаментальную ссылку на "сабтайпинг без наследования"? То ли это самое, чем котлин круче HM?

Denis-Kalinochkin Автор вопроса
-=LevT=-
Так, можно фундаментальную ссылку на "сабтайпинг б...

В вики вроде нормально написано https://en.wikipedia.org/wiki/Subtyping Если интересно в больших подробностях - Benjamin C. Pierce, Types and programming languages

Denis Kalinochkin
В вики вроде нормально написано https://en.wikiped...

Спасибо, но всё-таки прошу конкретнее-приземлённее о "крутизне котлина над HM"

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта