ฉันต้องการความช่วยเหลือในการหาข้อผิดพลาดของคอมไพเลอร์ซึ่งทำให้ฉันแทบบ้า... ฉันมีคลาสประเภทต่อไปนี้: infixl 7 --> class Selectable a s b where type Res a s b :: * (-->) :: (CNum n) => (Reference s a) ->...

ฉันสามารถสร้างเลนส์สำหรับฟิลด์สุดท้าย ( c ) ในประเภทข้อมูลของฉันได้โดยทำดังนี้: {-# LANGUAGE DuplicateRecordFields #-} data X1 a c = X1 { a' :: a, b' :: Int, c' :: c } data X2 a b c = X2 { a' :: a, b' :: b, c' :: c } class HavingFieldC x cs ct...

ฉันต้องการแสดงแนวคิดเกี่ยวกับขอบเขตบนในโค้ดของฉัน ดังนั้นฉันจึงสร้างสหภาพที่เลือกปฏิบัติ: data UpperBound a = UpperBound a | DoNotCare deriving (Eq, Read, Show) จากนั้นฉันได้รับอินสแตนซ์คลาสคลาสที่มีประโยชน์หลายอย่างด้วยตนเอง...