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