Oℕ
В С++ было несколько попыток сделать именно тайпклассы. Предыдущие были отклонены. Ниблеровские концепты, как и библиотека ranges, отличаются в некотором смысле от тайп классов, но вполне их имитируют. Я скоро буду готовить доклад для их конфы, именно по концептам. Как разберусь получше, вам тоже расскажу.
понимаешь, если бы перечисляли языки, в которых есть вещи, которые вполне их имитируют, туда бы попали скала, идрис, кок, раст, аренд и будущая версия сишарпа