Мне кажется, что если мы введем следующие ограничения для классов:

1 иммутабельность

2 запрет суперклассов

, то мы получим типы. Иными словами, типы, с точки зрения семантики, являются частным случаем классов. Разумеется, я тут не рассматриваю вопросов статической проверки, только семантика. Так ли это?

Посоветуйте хорошие книги, можно на английском, для повышения скилла и расширения кругозора