คำถามติดแท็ก types

มาจากพื้นหลัง C ++ ฉันไม่เข้าใจว่าทำไมคนเราต้องการนิพจน์ประเภท / ประเภทในฐานะพลเมืองชั้นหนึ่ง? ภาษาเดียวที่ฉันรู้ว่ารองรับคุณสมบัตินี้คือ Aldor มีใครบ้างที่มีวรรณกรรมเกี่ยวกับประเภทเป็นพลเมืองชั้นหนึ่งหรือรู้เหตุผลว่าทำไมจึงมีประโยชน์

10 programming-languages  language-design  types