7
การใช้พีชคณิตประเภทข้อมูลเชิงพีชคณิตในทางที่ผิด - ทำไมจึงใช้งานได้?
นิพจน์ 'พีชคณิต' สำหรับชนิดข้อมูลเชิงพีชคณิตนั้นมีความหมายมากสำหรับคนที่มีพื้นฐานด้านคณิตศาสตร์ ให้ฉันพยายามอธิบายสิ่งที่ฉันหมายถึง มีการกำหนดประเภทพื้นฐาน สินค้า • สหภาพ + ซิงเกิล X หน่วย 1 และการใช้ชวเลขX²สำหรับX•Xและ2XสำหรับX+Xฯลฯ เราก็สามารถกำหนดนิพจน์พีชคณิตสำหรับเช่นรายการเชื่อมโยง data List a = Nil | Cons a (List a) ↔ L = 1 + X • L และต้นไม้ไบนารี: data Tree a = Nil | Branch a (Tree a) (Tree a) ↔ T = 1 …