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