6
มีอะไรใหม่ในโครงสร้างข้อมูลที่ใช้งานได้จริงตั้งแต่ Okasaki?
ตั้งแต่ปี 1998 หนังสือของ Chris Okasaki "โครงสร้างข้อมูลที่ใช้งานได้อย่างแท้จริง" ฉันไม่ได้เห็นโครงสร้างข้อมูลที่ทำงานได้อย่างน่าตื่นเต้นจนเกินไปปรากฏขึ้นใหม่ ฉันชื่อไม่กี่: IntMap (คิดค้นโดย Okasaki ในปี 1998 แต่ไม่มีในหนังสือเล่มนั้น) ต้นไม้นิ้ว (และลักษณะทั่วไปของพวกเขามากกว่า monoids) นอกจากนี้ยังมีวิธีที่น่าสนใจในการใช้งาน datastructures ที่รู้จักกันแล้วเช่นการใช้ "nested types" หรือ "datatypes พีชคณิตทั่วไป" เพื่อรับรองค่าคงที่ของต้นไม้ มีแนวคิดใหม่อื่นใดอีกบ้างที่ปรากฏในปี 1998 ในด้านนี้