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

3
การได้มาทำงานอย่างไรใน Haskell?
พีชคณิตประเภทข้อมูล (ADTs) ใน Haskell จะกลายเป็นกรณีของบางอย่างโดยอัตโนมัติ typeclasse s (เช่นShow,Eq) โดยสืบมาจากพวกเขา data Maybe a = Nothing | Just a deriving (Eq, Ord) คำถามของฉันคือวิธีการderivingทำงานเช่น Haskell รู้วิธีใช้ฟังก์ชันของคลาสประเภทที่ได้รับสำหรับ ADT ที่ได้รับมาได้อย่างไร นอกจากนี้เหตุใดจึงderivingจำกัด เฉพาะแว่นตาบางประเภทเท่านั้น เหตุใดฉันจึงไม่สามารถเขียนคลาสประเภทของตัวเองที่สามารถรับมาได้
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.