В современном CS хуй пойми: кто-то скажет, что компилтайм коллекция должна быть типом, а-ля какой-нибудь HList. А приверженцы более прагматичного подхода, пожалуй, скажут, что это значение.
гм, посмотрел на современные и не очень языки. Те, которые пытаются быть доступными, у них есть книжечки, хорошая документация, туры. Если посмотреть на C++ то у него https://isocpp.org/ но тур там платный, фак размазан по версиям... всё разбросано
C++ спасает то, что в некоторых универах его преподают как первый\второй язык и ещё на нём уже много написано, поэтому люди сами ищут материалы по нему. Покупают книжки итд.