Типы и классы
Мне кажется, что если мы введем следующие ограничения для классов:
1 иммутабельность
2 запрет суперклассов
, то мы получим типы. Иными словами, типы, с точки зрения семантики, являются частным случаем классов. Разумеется, я тут не рассматриваю вопросов статической проверки, только семантика. Так ли это?