Так, можно фундаментальную ссылку на "сабтайпинг без наследования"? То ли это самое, чем котлин круче 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