Что такое «вид» в контексте систем типов?

Я уже прочитал статью в Википедии и искал очевидные места, но яЯ застрял. Может кто-нибудь просто сказать мне, что именно является Добрым? Для чего его используют ?

Примеры Scala наиболее ценны

Ответы на вопрос(2)

Ваш ответ на вопрос