Ինչու՞ արժեքի տիպը չի կարող պահել իրեն: բացատրեք, թե ինչու է այս հայտարարությունը ճիշտ բոլոր արժեքի տիպի ներկայացուցիչների համար։

Արժեքի տեսակն ուղիղ պահում է տվյալները: Եթե նա կարողանար ինքն իրեն պահել, նրա չափը կլիներ անսահման, քանի որ յուրաքանչյուր օրինակ կպահեր նույն տեսակի այլ օրինակ, և այդպես շարունակ: Այդպիսի ռեկուրսիվ կառուցվածքը անհնար է այն տեսակների համար, որոնց չափը պետք է լինի կայուն և հայտնի ժամանակի ընթացքում: Այս հայտարարությունը ճիշտ է բոլոր արժեքի տեսակների ներկայացուցիչների համար (օրինակ, Struct, Enum, Tuple), քանի որ նրանք բոլորը պահում են տվյալները արժեքով և պետք է ունենան որոշակի չափս։