Я чувствую, что это глупый вопрос, но мне трудно найти авторитетный ответ.Есть ли название для любого типа, который не зависит?
Понятие simple пришло на ум, но с технической точки зрения это имеет немного большее значение, чем просто "не"зависимый ", поскольку это также подразумевает отсутствие полиморфизма или конструкторов типов.